{"type":"ScholarlyArticle","title":"A Theory of Diagnosis for Incomplete Causal Models","authors":[{"name":"Luca Console","slug":"luca-console","given":"Luca","family":"Console","affiliation":""},{"name":"Daniele Theseider Dupré","slug":"daniele-theseider-dupre","given":"Daniele Theseider","family":"Dupré","affiliation":""},{"name":"Pietro Torasso","slug":"pietro-torasso","given":"Pietro","family":"Torasso","affiliation":""}],"abstract":"One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete models is fundamental to many realworld domains. In this paper we propose a formal theory of causal diagnostic reasoning, dealing with different forms of incompleteness both in the general causal knowledge (missing or abstracted knowledge) and in the data describing a specific case under examination. Different forms of nonmonotonic reasoning (hypothetical and circumscriptive reasoning) are used in order to draw and confirm Conclusions from incomplete knowledge. Multiple fault solutions are treated in a natural way and parsimony criteria are used to rank alternative solutions.","doi":null,"url":"https://ijcai.org/proceedings/1989/210","pdf":"https://ijcai.org/proceedings/1989/0210.pdf","markdown":"https://ijcai.org/proceedings/1989/210.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/210","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":210,"pages":{"first":1311,"last":1316},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}