In Bürckert, H.J. & Nutt, W., editors, *Modeling Epistemic Propositions: Workshop during the 17th German Conference on Artificial Intelligence (KI'93)*. Available as DFKI Document D-93-25, DFKI, Saarbrücken, Germany

abstract bibtex

abstract bibtex

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 \em 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)). Whereas $̧al KRIS$ is a single-agent knowledge representation system, i. e.\ $̧al 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.

@inproceedings{ Hustadt93b, 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)}, editor = {Bürckert, Hans-Jürgen and Nutt, Werner}, caddress = {Berlin, Germany}, cyear = {1993}, cmonth = {September~13--14}, note = {Available as DFKI Document D-93-25, DFKI, Saarbrücken, Germany}, pyear = {1993}, pmonth = {December}, 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 {\em 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)). Whereas ${̧al KRIS}$ is a single-agent knowledge representation system, i. e.\ ${̧al 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.} }

Downloads: 0