The KREME Knowledge Editing Environment

One of the major bottlenecks in large-scale expert-system development is the problem of knowledge acquisition: the construction, maintenance, and testing of large knowledge bases. This paper provides an overview of the current state of development of the KREME Knowledge Representation Editing and Modeling Environment. KREME is an extensible experimental environment for developing and editing large knowledge bases in a variety of representation styles. It provides tools for effective viewing and browsing in each kind of representational base, automatic consistency checking, macro-editing facilities to reduce the burdens of large-scale knowledge-base revision and some experimental automatic generalization and acquisition facilities.

[1]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[2]  William van Melle,et al.  A Domain-Independent Production-Rule System for Consultation Programs , 1979, IJCAI.

[3]  Ira P. Goldstein,et al.  The FRL Manual , 1977 .

[4]  David J. Israel,et al.  Research in Knowledge Representation for Natural Language Understanding , 1980 .

[5]  Allen Newell.  The Knowledge Level (Presidential Address) , 1980, AI Mag..

[6]  Daniel G. Bobrow,et al.  Experience with KRL-0: One Cycle of a Knowledge Representation Language , 1977, IJCAI.

[7]  Marc B. Vilain,et al.  The Restricted Language Architecture of a Hybrid Representation System , 1985, IJCAI.

[8]  Stephen R Balzac.  A system for the interactive classification of knowledge , 1986 .

[9]  James G. Schmolze,et al.  Classification in the KL-ONE Knowledge Representation System , 1983, IJCAI.

[10]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[11]  Earl D. Sacerdott.  Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.

[12]  Charles Rich.  Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too , 1982, AAAI.

[13]  Michael Williams,et al.  An overview of STEAMER: An advanced computer-assisted instruction system for propulsion engineering , 1980 .

[14]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[15]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..