{"type":"ScholarlyArticle","title":"Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter","authors":[{"name":"Leon Sterling","slug":"leon-sterling","given":"Leon","family":"Sterling","affiliation":""},{"name":"L. Ümit Yalçinalp","slug":"l-umit-yalcinalp","given":"L. Ümit","family":"Yalçinalp","affiliation":""}],"abstract":"This paper presents an improved method of explaining Prolog-based expert systems. The key idea is to make explicit failures during the computation. This allows the integrated explanation in a single interpreter of both successful and failed computations. It also allows rules containing cuts to be effectively explained. Furthermore, the explanation system is interactive, and allows full explanation of both successful and failed partial computations. We discuss in some detail a two-layer meta-interpreter which is at the heart of the system .","doi":null,"url":"https://ijcai.org/proceedings/1989/11","pdf":"https://ijcai.org/proceedings/1989/0011.pdf","markdown":"https://ijcai.org/proceedings/1989/11.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/11","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":"Tools","track":"Tools","number":11,"pages":{"first":66,"last":70},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}