On the Mechanization of Abductive Logic

Pople, Harry E.

On the Mechanization of Abductive Logic

Download BibTeX Cite

Proceedings of the Third International Joint Conference on Artificial Intelligence. Theorem Proving and Logic: 2. Pages 147-151.

Abstract

Abduction is a basic form of logical inference, which is said to engender the use of plans, perceptual models, intuitions, and analogical reasoningall aspects of .intelligent behavior that have so far failed to find representation in existing formal deductive systems. This paper explores the abductive reasoning process and develops a model for i ·ts mechanization, which consists of an embedding of deductive logic in an iterative hypothesis and test procedure. An application of the method to the problem of medical diagnosis is discussed.

Harry E. Pople. 1973. On the Mechanization of Abductive Logic. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 147–151. https://ijcai.org/proceedings/1973/20

@inproceedings{ijcai1973p20,
  title     = {On the Mechanization of Abductive Logic},
  author    = {Pople, Harry E.},
  booktitle = {Proceedings of the Third International Joint Conference on
               Artificial Intelligence, {IJCAI-73}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Nils J. Nilsson},
  pages     = {147--151},
  year      = {1973},
  month     = {8},
  note      = {Theorem Proving and Logic: 2},
  url       = {https://ijcai.org/proceedings/1973/20},
}

TY  - CPAPER
TI  - On the Mechanization of Abductive Logic
AU  - Pople, Harry E.
T2  - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1973
SP  - 147
EP  - 151
UR  - https://ijcai.org/proceedings/1973/20
ER  -