Reasoning about failure (original) (raw)

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.

Preview

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. László Aszalós. The Logic of Knights, Knaves, Normals, and Mutes. Acta Cybernetica, 14:533–540, 2000.
    MATH MathSciNet Google Scholar
  2. 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.
    Google Scholar
  3. 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.
    Google Scholar
  4. Brian F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
    MATH Google Scholar
  5. 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.
    Google Scholar
  6. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, MA, 1995.
    MATH Google Scholar
  7. 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.
    Google Scholar
  8. 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.
    Chapter Google Scholar
  9. Churn-Jung Liau. Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust. In Proc. ECAI 2000, 2000.
    Google Scholar
  10. 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.
    Article MathSciNet Google Scholar

Download references

Author information

Authors and Affiliations

  1. IRIT, Universite Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex 4, France
    László Aszalós & Andreas Herzig

Authors

  1. László Aszalós
  2. Andreas Herzig

Editor information

Editors and Affiliations

  1. Facoltà di Ingegneria della Romagna, Sede di Cesena, Università di Bologna, Alma Mater Studiorum, Via Rasi e Spinelli 176, 47023, Cesena (FC), Italy
    Andrea Omicini
  2. Software Agents and New Media Group, Austrian Research Institute for Artifiical Intelligence, Schottengasse 3, 1010, Vienna, Austria
    Paolo Petta
  3. Technische Universität Berlin, Fachbereich 13 - Informatik- FR 6-10 Franklinstr. 28/29, 10587, Berlin, Germany
    Robert Tolksdorf

Rights and permissions

© 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

Publish with us