Title :
MANTRA: a shell for hybrid knowledge representation
Author :
Calmet, J. ; Tjandra, I.A. ; Bittencourt, G.
Author_Institution :
Inst. of Algorithms & Cognitive Syst., Karlsruhe, Germany
Abstract :
A shell is presented for hybrid knowledge representation. This system supports four different knowledge representation formalisms: first-order logic, terminological language, semantic networks, and production systems. The system automatically supports hybrid inferences taking into account the knowledge represented in different formalisms. All the algorithms involved in the inferences, supported by the system, are decidable, and have the property of being sound and complete according to a four-valued semantics. Besides these facilities, the shell allows the user to represent procedural knowledge of a domain using the primitives embedded at the heuristic level. The system has been implemented in Common Lisp, and makes use of an object-oriented extension for this language
Keywords :
formal logic; inference mechanisms; knowledge representation; object-oriented programming; Common Lisp; first-order logic; four-valued semantics; hybrid inferences; hybrid knowledge representation; object-oriented extension; production systems; semantic networks; terminological language; Algorithm design and analysis; Buildings; Expert systems; Inference algorithms; Inference mechanisms; Knowledge based systems; Knowledge engineering; Knowledge representation; Logic programming; Production systems;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167091
