Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
An effective graphics user interface for rules and inference mechanisms
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Pasta-3's graphical query language: direct manipulation cooperative queries, full expressive power
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A new metaphor for the graphical explanation of forward-chaining rule execution
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Creating and debugging knowledge-based systems, such as expert systems, requires easy access to rules and facts in a vast, loosely-connected system. Three graphic representations were devised for a system development tool that integrates forward chaining, backward chaining, and full truth maintenance. In one representation, possible interactions among rules, determined by syntactically parsing the rules, are displayed as a directed graph. In a second representation, actual interactions among facts and rules are displayed dynamically. The third representation is a fish-eye view of the knowledge base that explains why a fact was asserted. In addition, the text of rules and facts is displayed in editing windows.