ML Anthology

Critical Reasoning

Olivier Raiman, Johan de Kleer, Vijay A. Saraswat
IJCAI 1993 pp. 18-23
/ijcai/1993/raiman1993ijcai-critical/

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.

PDF Semantic Scholar

Cite

Text

Raiman et al. "Critical Reasoning." International Joint Conference on Artificial Intelligence, 1993.

Markdown

[Raiman et al. "Critical Reasoning." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/raiman1993ijcai-critical/)

BibTeX

@inproceedings{raiman1993ijcai-critical,
  title     = {{Critical Reasoning}},
  author    = {Raiman, Olivier and de Kleer, Johan and Saraswat, Vijay A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {18-23},
  url       = {https://mlanthology.org/ijcai/1993/raiman1993ijcai-critical/}
}