KNOWBEL is a tool offering the knowledge representation language Telos and the logic programming system MRS for the development of an expert system. Telos is a tightly integrated hybrid knowledge representation scheme, offering facilities for structuring a knowledge base as well as an assertional sublanguage for expressing deductive rules and integrity constraints. Unlike Prolog, MRS provides facilities for customizing an expert system inference engine. The KNOWBEL architecture clearly separates the knowledge and implementation levels for a knowledge base and its associated operations. KNOWBEL also supports temporal reasoning, extensive constraint enforcement, and a user-friendly window-based interface
Published in:
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Date of Conference: 6-9 Nov 1990