{"type":"ScholarlyArticle","title":"Neat Explanation of Proof Trees","authors":[{"name":"Agneta Eriksson","slug":"agneta-eriksson","given":"Agneta","family":"Eriksson","affiliation":""},{"name":"Anna-Lena Johansson","slug":"anna-lena-johansson","given":"Anna-Lena","family":"Johansson","affiliation":""}],"abstract":"It is essential that the reasoning of an expert system can be explained and justified. In the paper simple ideas for providing comprehensive explanations of deductions are presented. The method is to transform the proof tree to a more comprehensive proof tree from which a neat explanation directly can be extracted. The tran sformation of proof trees is a way to view the problem of explaining the reasoning of an expert system. The ideas presented in this paper are easy to implement. Furthermore , the transformation for reducing chains of specifications of a concept seems to be applicable in general. The transformation for introducing a new name for a compilation of concepts depends on the problem domain.","doi":null,"url":"https://ijcai.org/proceedings/1985/71","pdf":"https://ijcai.org/proceedings/1985/0071.pdf","markdown":"https://ijcai.org/proceedings/1985/71.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/71","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Expert Systems","track":"Expert Systems","number":71,"pages":{"first":379,"last":380},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}