MPI-INF/SWS Research Reports 1991-2017

2. Number - only D2


Motel user manual

Hustadt, Ullrich and Nonnengart, Andreas and Schmidt, Renate A. and Timm, Jan

December 1992, 45 pages.

Status: available - back from printing

MOTEL is a logic-based knowledge representation languages of the KL-ONE family. It contains as a kernel the KRIS language which is a decidable sublanguage of first-order predicate logic. Whereas KRIS is a single-agent knowledge representation system, i.e. KRIS 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 resoning facilities for consistency checking, classification, and realization, MOTEL provides an abductive inference mechanism. Furthermore it is able to give explanations for its inferences.
References to related material:
Version 0.8.2

  • MPI-I-92-236.pdfMPI-I-92-236.pdfMPI-I-92-236.dvi
  • Attachement: MPI-I-92-236.dvi (132 KBytes); MPI-I-92-236.pdf (158 KBytes)

URL to this document:

Hide details for BibTeXBibTeX
  AUTHOR = {Hustadt, Ullrich and Nonnengart, Andreas and Schmidt, Renate A. and Timm, Jan},
  TITLE = {Motel user manual},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-92-236},
  MONTH = {December},
  YEAR = {1992},
  ISSN = {0946-011X},