抄録
This paper presents an approach to model-based diagnosis that first compiles a first-order system description to a propositional representation, and then solves the diagnostic problem as a linear programming instance. Relevance reasoning is employed to isolate parts of the system that are related to certain observation types and to economically instantiate the theory, while methods from operations research offer promising results to generate near-optimal diagnoses efficiently.
本文言語 | English |
---|---|
ホスト出版物のタイトル | Proceedings of the National Conference on Artificial Intelligence |
Place of Publication | Menlo Park, CA, United States |
出版社 | AAAI |
ページ | 416-421 |
ページ数 | 6 |
ISBN(印刷版) | 0262511061 |
出版ステータス | Published - 1999 |
外部発表 | はい |
イベント | Proceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99) - Orlando, FL, USA 継続期間: 1999 7月 18 → 1999 7月 22 |
Other
Other | Proceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99) |
---|---|
City | Orlando, FL, USA |
Period | 99/7/18 → 99/7/22 |
ASJC Scopus subject areas
- ソフトウェア