Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter
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.
Cite
Text
Sterling and Yalçinalp. "Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter." International Joint Conference on Artificial Intelligence, 1989.Markdown
[Sterling and Yalçinalp. "Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/sterling1989ijcai-explaining/)BibTeX
@inproceedings{sterling1989ijcai-explaining,
title = {{Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter}},
author = {Sterling, Leon and Yalçinalp, L. Ümit},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {66-71},
url = {https://mlanthology.org/ijcai/1989/sterling1989ijcai-explaining/}
}