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, Germanyabstract 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
{"_id":{"_str":"52015028d40bcbb0410008b6"},"__v":0,"authorIDs":[],"author_short":["Hustadt, U."],"bibbaseid":"hustadt-automatedsupportforthedevelopmentofnonclassicallogics","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"Hustadt93b\"> </a>Automated Support for the Development of Non-Classical Logics.</span>\n\t<span class=\"bibbase_paper_author\">\nHustadt, U.</span>\n\t<!-- <span class=\"bibbase_paper_year\">undefined</span>. -->\n</span>\n\n\n\nIn\nBürckert, H.J.; and Nutt, W., editor, <i>Modeling Epistemic Propositions: Workshop during the 17th German Conference on Artificial Intelligence (KI'93)</i>, .\n\n\n\nAvailable as DFKI Document D-93-25, DFKI, Saarbrücken, Germany.\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('Hustadt93b')\">\n <img src=\"http://www.bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Automated Support for the Development of Non-Classical Logics [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n \n\n \n \n \n \n \n\n \n <a class=\"bibbase_abstract_link\" href=\"javascript:showAbstract('Hustadt93b')\">Abstract</a>\n \n \n</span>\n\n<!-- -->\n<!-- <div id=\"abstract_Hustadt93b\"> -->\n<!-- 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. -->\n<!-- </div> -->\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"hustadt-automatedsupportforthedevelopmentofnonclassicallogics","urls":{},"role":"author","type":"inproceedings","title":"Automated Support for the Development of Non-Classical Logics","pyear":"1993","pmonth":"December","note":"Available as DFKI Document D-93-25, DFKI, Saarbrücken, Germany","key":"Hustadt93b","id":"Hustadt93b","editor_short":["Bürckert, H.J.","Nutt, W."],"editor":["Bürckert, Hans-Jürgen","Nutt, Werner"],"cyear":"1993","cmonth":"September~13--14","caddress":"Berlin, Germany","booktitle":"Modeling Epistemic Propositions: Workshop during the 17th German Conference on Artificial Intelligence (KI'93)","bibtype":"inproceedings","bibtex":"@inproceedings{ Hustadt93b,\n author = {Hustadt, Ullrich},\n title = {Automated Support for the Development of \nNon-Classical Logics},\n booktitle = {Modeling Epistemic Propositions: Workshop during the \n 17th German Conference on Artificial Intelligence (KI'93)},\n editor = {Bürckert, Hans-Jürgen and Nutt, Werner},\n caddress = {Berlin, Germany},\n cyear = {1993},\n cmonth = {September~13--14},\n note = {Available as DFKI Document D-93-25, DFKI, Saarbrücken, \n Germany},\n pyear = {1993},\n pmonth = {December},\n abstract = {The most natural means for specifying a non-classical \n logic is by means of a Hilbert calculus. Usually, the semantics of a \n non-classical logic is given in terms of possible worlds. \n Given an axiomatization of a non-classical logics, the \n {\\em correspondence problem} in these logics is to find for every given \n Hilbert axiom an equivalent property of the accessibility \n relation (van Benthem (1984)). \n For mechanizing deduction in non-classical logics it is very \n important to find these correspondences (Ohlbach (1991)).\n So far the method for finding the correspondences was mostly by \n intuition and the verification required complex proofs \n (van Benthem (1984)).\n\n Whereas ${̧al KRIS}$ is a single-agent knowledge representation \n system, i. e.\\ ${̧al KRIS}$ is only able to represent general world\n knowledge or the knowledge of one agent about the world, MOTEL is a\n multi-agent knowledge representation system. The MOTEL language allows\n modal contexts and modal concept forming operators which\n allow to represent and reason about the believes and wishes of\n multiple agents. Furthermore it is possible to represent defaults and\n stereotypes.}\n}","author_short":["Hustadt, U."],"author":["Hustadt, Ullrich"],"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."},"bibtype":"inproceedings","biburl":"http://www.csc.liv.ac.uk/~ullrich/publications/uh-2013-08-06.bib","downloads":0,"title":"Automated Support for the Development of Non-Classical Logics","year":null,"dataSources":["p6py5bqMdg7vzjQS3"]}