Some modal logics associated to the reasoning of intelligent agents
Keywords:
agent, reasoner, belief, modal logic, logical omniscience, doxastic logic, epistemic logic, kripke modelsAbstract
The hierarchies of systems SCR–nT4, SCR–nT5 and SCR–nD45 with n > 3 are presented. In these systems the belief notion is formalized in the sense of justified belief, of knowledge and of conviction respectively, giving systems of doxastic and epistemic logics as a result where the problem of the logical omniscience can be partially controlled. The systems are characterized with Kripke-style semantics. In these semantics, the length of the possible world chains is restricted in function of reasoner’s type. Moreover, the depth of a model corresponds to the maxim length of the possible world chains that they figure in the model, being that the models of depth n are associated to the deductive systems SCR-nT4, SCR-nT5 and SCR-nD45.Downloads
References
Manuel Sierra. Tipos de razonadores, Revista Universidad EAFIT, ISSN 0120– 341X, 43(146), 2007.
Manuel Sierra. Caracterización semántica de la jerarquía SCR–n. Revista Boletín de Matemáticas, ISSN 0120–0380, XIV(2), 110–128 (2007).
M. N. Huhns, N. Jacobs, T. Ksiezyk,W. M. Shen, M. R. Singh and P. E. Cannata. Integrating enterprise information models in Camot. In Proceedings of the International Conference on Intelligent and Cooperative Information Systems. ISBN 0–8186–3135–X, 32–43 (1992). Rotterdam, The Netherlands.
Yoav Shoham. Agent Oriented Programming in Knowledge Representation and Reasoning Under Uncertainty: Logic at Work (Lecture Notes in Computer Science), ISBN 3540580956, Editors: Michael Masuch and Laszlo Polos, 123–130 (1993).
Y. Shoham. Agent–oriented programming, Technical Report STAN–CS–1335–90, Computer Science Department. Stanford University, Stanford, CA 94305, 1990.
D. C. Dennett. The Intentional Stance. ISBN 0–262–04093–X. The MIT Press. 1987. Cambridge, MA.
P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In Intentions in Communication, Edited by Philip R. Cohen, Jerry Morgan and Martha E. Pollack, ISBN 978–0–262–03150–9. The MIT Press, Cambridge, MA, 1990.
Michael John Wooldridge. The Logical Modelling of Computational Multi–Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK. (Also available as Technical Report MMU–DOC–94–01). Department of Computing, Manchester Metropolitan University., Chester St., Manchester, UK, 1992.
K. A. Konolige. A deduction model of belief. Pitman Publishing: London and Morgan Kaufmann. San Mateo, CA, 1986.
Brian F. Chellas. Modal logic: an introduction, ISBN 978–0521295154. Cambridge University Press, Cambridge, 1980.
Jaakko Hintikka. Knowledge and Belief. Cornell University Press, lthaca, NY, 1962.
Saul Kripke. Semantical analysis of modal logic. Zeitschrift f¨ur Mathematische Logik und Grundlagen der Mathematik, 9, 1963.
Wolfgang Lenzen. Recent work in epistemic logic. Acta Philosophica Fennica, 30(1), 1978.
Max Freund. Lógica epistémica. Enciclopedia iberoamericana de filosofía, ISBN 84–8164–045–X, 7, Editorial Trotta S. A., Madrid, 1995.
Downloads
Issue
Section
License
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
Plagiarism Detection