Automated Support for the Development of Non-Classical Logics. Hustadt, U. 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   
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