MPI-I-92-236
Motel User Manual
Hustadt, Ullrich and Nonnengart, Andreas and Schmidt, Renate A. and Timm, Jan
1992
.
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.
Note:
Please send mail to Ullrich.Hustadt@mpi-sb.mpg.de to get the newest current copy of the report
-
- Attachement: MPI-I-92-236.dvi (132 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1992-236
BibTeX
@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},
}