{"type":"ScholarlyArticle","title":"On the Mechanization of Abductive Logic","authors":[{"name":"Harry E. Pople","slug":"harry-e-pople","given":"Harry E.","family":"Pople","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1973/20","pdf":"https://ijcai.org/proceedings/1973/0020.pdf","markdown":"https://ijcai.org/proceedings/1973/20.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/20","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving and Logic: 2","track":"Theorem Proving and Logic: 2","number":20,"pages":{"first":147,"last":151},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}