/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /
| 演題番号 | 2F3-05 |
|---|---|
| 題目 | MGTPを用いた故障診断手法の効率化 |
| 著者 | 尾崎 知伸 (慶應義塾大学SFC研究所) 江口 律子 (慶應義塾大学 大学院 政策・メディア研究科) 古川 康一 (慶應義塾大学大学院政策・メディア研究科) 筒井 良夫 (宇宙開発事業団) 五十嵐 創 (慶應義塾大学SFC研究所) 玉川 直世 (慶應義塾大学大学院政策・メディア研究科) |
| 時間 | 6月26日(木) 14:20〜14:40 |
| セッション | 基礎・アーキテクチャ （13:00〜15:20 F 小会議室1+2） |
| 概要 | これまでに，モデル生成型定理証明器(MGTP)を用いた，仮説推論手法が提案されている．本稿では，特にMGTPを故障診断に応用する際の，効率化手法について述べる． |
| 論文 | PDFファイル, PDFファイル(会場ローカル) |
/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /