Abstract
In this paper we investigate a modal logic of believing and saying to reason about unreliable agents in a system of communicating agents.We suppose that communication is reliable and semi-public: an agent’s utterances are communicated to all the adjacent agents. We suppose that to each agent is associated some set of facts that he monitors, and that his perception is perfect in what concerns these facts. We show how an agent can detect failure of another agent by deduction in our logic. To that end we use a tableau theorem prover for our logic.
On leave from University of Debrecen, Hungary, aszalos@math.klte.hu.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
László Aszalós. The Logic of Knights, Knaves, Normals, and Mutes. Acta Cybernetica, 14:533–540, 2000.
László Aszalós. Said and Can Say in Puzzles of Knights and Knaves. In Proc. Premières Journées Francophones sur les Modèles formels pour interaction, Toulouse, May 2001.
Luis Fariñnas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, and Fabio Massacci. Lotrec: The Generic Tableau Prover for Modal and Description Logics (system abstract). In Proc. Int. Joint Conf. on Automated Reasoning (IJCAR’01), 2001.
Brian F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
Robert Demolombe. To Trust Information Sources: a proposal for a modal logical framework. In Cristiano Castelfranchi and Yao-Hua Tan, editors, Trust and Deception in Virtual Societies. Kluwer Academic Publishers, Dordrecht, 2001.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, MA, 1995.
Sebastien Konieczny and Ramon Pino Perez. On the logic of merging. In Proc. 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’98), pages 488–498. Morgan Kaufmann, 1998.
Sebastien Konieczny and Ramon Pino Perez. Merging with integrity constraints. In Proc. 5th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’99), number 1638 in LNCS. Springer, 1999.
Churn-Jung Liau. Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust. In Proc. ECAI 2000, 2000.
M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception, and Knowledge. In Logic Journal of the IGPL, 9(2):273–288, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aszalós, L., Herzig, A. (2001). Reasoning about failure. In: Omicini, A., Petta, P., Tolksdorf, R. (eds) Engineering Societies in the Agents World II. ESAW 2001. Lecture Notes in Computer Science(), vol 2203. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45584-1_6
Download citation
DOI: https://doi.org/10.1007/3-540-45584-1_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43091-9
Online ISBN: 978-3-540-45584-4
eBook Packages: Springer Book Archive