Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-I-92-236

Motel user manual

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

MPI-I-92-236. December 1992, 45 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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.
Acknowledgement:
References to related material:
Version 0.8.2

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-92-236.pdfMPI-I-92-236.pdfMPI-I-92-236.dvi132 KBytes; 158 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView

URL to this document: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1992-236
Hide details for BibTeXBibTeX
@TECHREPORT{HustadtNonnengartSchmidtTimm92,
  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},
}