CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root


MOTEL is a logic-based knowledge representation language of the KL-ONE family. It contains as a kernel the ALC language which is a decidable sublanguage of first-order predicate logic. Whereas ALC is a single-agent knowledge representation language, i.e. ALC is only able to represent general world knowledge or the knowledge of one agent about the world, MOTEL is a multi-agent knowledge representation system. The MOTEL language allows modal contexts and modal concept forming operators which allow to represent and reason about the believes and wishes of multiple agents. Furthermore it is possible to represent defaults and stereotypes. Beside the basic reasoning facilities for consistency checking, classification, and realization, MOTEL provides an abductive inference mechanism. Furthermore it is able to give explanations for its inferences.
Origin: []

Version: 10-AUG-93 Requires: Prolog Ports: Runs in SWI-Prolog (Version 1.6.17 June 1993), Quintus Prolog Release 3.1.1, or SICStus 2.1. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: Ullrich Hustadt Max-Planck-Institut f"ur Informatik Geb"aude 44, Im Stadtwald 66123 Saarbr"ucken, Germany Tel: +49 681 302 5431 fax: +49 681 302 5401 Keywords: ALC, Abduction, Authors!Hustadt, Default Reasoning, KL-ONE, KRIS, Knowledge Representation, MOTEL, Modal Logic, Prolog!Code, Reasoning!Default Reasoning, Stereotypes References: ?
Last Web update on Mon Feb 13 10:24:02 1995