Critical Reasoning

Raiman, Olivier; de Kleer, Johan; Saraswat, Vijay A.

Critical Reasoning

Olivier Raiman, Johan de Kleer, Vijay A. Saraswat

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 18-22.

Abstract

Model-based diagnosis algorithms face a combinatorial explosion. To combat this explosion, this paper presents a fundamentally new architecture, IMPLODE, which constructs an abstract representation of the environment, the conflict, and the diagnosis spaces using a sensitivity analysis of assumptions. Experimental results show that the most dramatic improvement is obtained for circuits which are the most difficult to diagnose using previous algorithms. Moreover, typical sources of combinatorial explosion, such as reconvergent fanout, are a source of combinatorial implosion for IMPLODE.

Olivier Raiman, Johan de Kleer, and Vijay A. Saraswat. 1993. Critical Reasoning. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 18–22. https://ijcai.org/proceedings/1993/3

@inproceedings{ijcai1993p3,
  title     = {Critical Reasoning},
  author    = {Raiman, Olivier and de Kleer, Johan and Saraswat, Vijay A.},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {18--22},
  year      = {1993},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1993/3},
}

TY  - CPAPER
TI  - Critical Reasoning
AU  - Raiman, Olivier
AU  - de Kleer, Johan
AU  - Saraswat, Vijay A.
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 18
EP  - 22
UR  - https://ijcai.org/proceedings/1993/3
ER  -