Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis

Helmut Prendinger*, Mitsuru Ishizuka

*この研究の対応する著者

研究成果: Chapter

4 被引用数 (Scopus)

抄録

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 PublicationMenlo 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月 181999 7月 22

Other

OtherProceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99)
CityOrlando, FL, USA
Period99/7/1899/7/22

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル