サーカムスクリプションを用いたモデルに基づく診断の定式化
書誌事項
- タイトル別名
-
- Circumscriptive Approach to Model-based Diagnosis
この論文をさがす
抄録
非単調推論の定式化としてデフォルト論理、サーカムスクリプション、非単調論理等が提案されている。これら相互の関係、特にデフォルト論理とサーカムスクリプションの関係を明らかにすることが重要な課題として研究が行われ、あるクラスのデフォルトはサーカムスクリプションを用いて表現できることが知られている。一方、診断対象の構造・動作記述をもとに診断対象における観測から診断を行うモデルに基づく診断(Model-based diagnosis)が非単調な性質を持つことから、Reiterはその定式化を行い、デフォルト論理との関係について述べている。これは、診断対象の構成要素が正常に動作していることをデフォルトとするものである。本稿では、Reiterの定式化におけるデフォルトがサーカムスクリプションで表現できるクラスであることから、サーカムスクリプションを用いて、モデルに基づく診断の再定式化を試みる。その結果、診断対象の構造・動作記述および診断対象での観測を表現した論理式において故障を表す述語(の組)を極小化することにより診断が得られることを示し、この再定式化により得られるいくつかの結果について述べる。
収録刊行物
-
- 全国大会講演論文集
-
全国大会講演論文集 第37回 (知識情報処理), 1451-1452, 1988-09-12
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050011097124523136
-
- NII論文ID
- 110002871508
-
- NII書誌ID
- AN00349328
-
- Web Site
- http://id.nii.ac.jp/1001/00115856/
-
- 本文言語コード
- ja
-
- 資料種別
- conference paper
-
- データソース種別
-
- IRDB
- CiNii Articles