Explaining Prolog based expert systems using a layered meta-interpreter

Authors:
Leon Sterling;L. Umit Yalcinalp
Affiliations:
Department of Computer Engineering and Science, Case Western Reserve University, Cleveland, Ohio;Department of Computer Engineering and Science, Case Western Reserve University, Cleveland, Ohio
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Year:
1989

Citing 7
Cited 1

Micro-PROLOG: programming in logic

Micro-PROLOG: programming in logic
An integrated interpreter for explaining Prolog's successes and failures

Meta-programming in logic programming
Algorithmic Program DeBugging

Algorithmic Program DeBugging
Meta-Level Architectures and Reflection

Meta-Level Architectures and Reflection
PROLOG and Natural Language Analysis

PROLOG and Natural Language Analysis
Rational Debugging in Logic Programming

Proceedings of the Third International Conference on Logic Programming
The implementation of procedurally reflective languages

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

Reasoning support for flexible task resourcing

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

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.