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. 1992 | 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.
Note:
Please send mail to Ullrich.Hustadt@mpi-sb.mpg.de to get the newest current copy of the report
Acknowledgement:
References to related material:


To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-92-236.dvi132 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},
  YEAR = {1992},
  NOTE = {Please send mail to Ullrich.Hustadt@mpi-sb.mpg.de to get the newest current copy of the report},
}