@INPROCEEDINGS{Hustadt@MEP-KI1993,
AUTHOR = {Hustadt, Ullrich},
TITLE = {Automated Support for the Development of
Non-Classical Logics},
BOOKTITLE = {Modeling Epistemic Propositions: Workshop during the
17th German Conference on Artificial Intelligence (KI'93)
[Berlin, Germany, 13-14 September 1993]},
EDITOR = {B{\"u}rckert, Hans-J{\"u}rgen and Nutt, Werner},
ADDRESS = {Berlin, Germany},
CYEAR = {1993},
CMONTH = sep # {13-14},
YEAR = {1993},
NOTE = {Available as DFKI Document D-93-25, DFKI, Saarbr{\"u}cken,
Germany},
PYEAR = {1993},
PMONTH = dec,
URL = {Hustadt@MEP-KI1993.pdf},
ABSTRACT = {The most natural means for specifying a non-classical
logic is by means of a Hilbert calculus. Usually, the semantics of a
non-classical logic is given in terms of possible worlds.
Given an axiomatization of a non-classical logics, the
\emph{correspondence problem} in these logics is to find for every given
Hilbert axiom an equivalent property of the accessibility
relation (van Benthem (1984)).
For mechanizing deduction in non-classical logics it is very
important to find these correspondences (Ohlbach (1991)).
So far the method for finding the correspondences was mostly by
intuition and the verification required complex proofs
(van Benthem (1984)).
\par
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.}
}