Skip to main content
SpringerLink
Log in

Seeing Is Believing

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Alchourrón, C.E., Gärdenfors, P., and Makinson, D., 1985, "On the logic of theory change: Partial meet contraction and revision functions," Journal of Symbolic Logic 50, 510–530.

    Google Scholar 

  • Arens, Y., Chee, C.Y., Hsu, C.-N., and Knoblock, C.A., 1993, "Retrieving and integrating data from multiple information sources," International Journal on Intelligent and Cooperative Information Systems 2(2), 127–158.

    Google Scholar 

  • Barwise, J., 1989, The Situation in Logic, Volume 17 of CSLI Lecture Notes, Stanford: CSLI.

    Google Scholar 

  • Castelfranchi, C., 1994, "Guarantees for autonomy in cognitive agent architecture," pp. 56–70 in Intelligent Agents. Proceedings of the 1994 ECAI Workshop on Agent Theories, Architectures, and Languages, M. Wooldridge and N.R. Jennings, eds., Volume 890 of Lecture Notes in Artificial Intelligence, Berlin: Springer-Verlag.

    Google Scholar 

  • Chellas, B.F., 1980, Modal Logic. An Introduction, Cambridge: Cambridge University Press.

    Google Scholar 

  • Cohen, P.R. and Levesque, H.J., 1990, "Intention is choice with commitment," Artificial Intelligence 42, 213–261.

    Google Scholar 

  • Dunin-Keplicz, B. and Radzikowska, A., 1995, "Epistemic approach to actions with typical effects," pp. 180–188 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU’95), C. Froidevaux and J. Kohlas, eds., Volume 946 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag.

    Google Scholar 

  • Dunin-Keplicz, B. and Treur, J., 1994, "Compositional formal specification of multi-agent systems," pp. 102–117 in Intelligent Agents. Proceedings of the 1994 ECAI Workshop on Agent Theories, Architectures, and Languages, M. Wooldridge and N.R. Jennings, eds., Volume 890 of Lecture Notes in Artificial Intelligence, Berlin: Springer-Verlag.

    Google Scholar 

  • Elgesem, D., 1993, "Action theory and modal logic," PhD thesis, Institute for Philosophy, University of Oslo, Oslo, Norway.

  • Gärdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA/London, England: The MIT Press.

    Google Scholar 

  • Gärdenfors, P., ed., 1992, Belief Revision, Cambridge: Cambridge University Press.

    Google Scholar 

  • Goldblatt, R., 1992, Logics of Time and Computation, 2nd ed., Volume 7 of CSLI Lecture Notes, Stanford: CSLI.

    Google Scholar 

  • Halpern, J.Y. and Moses, Y., 1992, "A guide to completeness and complexity for modal logics of knowledge and belief," Artifical Intelligence 54, 319–379.

    Google Scholar 

  • Harel, D., 1984, "Dynamic logic," pp. 497–604 in Handbook of Philosophical Logic, Volume 2, Chapter 10, D.M. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel.

    Google Scholar 

  • Hintikka, J., 1962, Knowledge and Belief, Ithaca, NY: Cornell University Press.

    Google Scholar 

  • Van der Hoek, W., 1993, "Systems for knowledge and beliefs," Journal of Logic and Computation 3(2), 173–195.

    Google Scholar 

  • Van der Hoek, W., Van Linder, B., and Meyer, J.-J.Ch., 1994a, "A logic of capabilities," pp. 366–378 in Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS’94), A. Nerode and Yu.V. Matiyasevich, eds., Volume 813 of Lecture Notes in Computer Science, Berlin: Springer-Verlag.

    Google Scholar 

  • Van der Hoek, W., Van Linder, B., and Meyer, J.-J.Ch., 1994b, "Unravelling nondeterminism: On having the ability to choose (extended abstract)," pp. 163–172 in Proceedings of the Sixth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA’94), P. Jorrand and V. Sgurev, eds., Singapore: World Scientific.

    Google Scholar 

  • Huang, Z., 1991, "Logics for belief dependence," pp. 274–288 in Computer Science Logic, 4th Workshop CSL’90, E. Börger, H. Kleine Büning, M.M. Richter, and W. Schönfeld, eds., Volume 533 of Lecture Notes in Computer Science, Berlin: Springer-Verlag.

    Google Scholar 

  • Huang, Z., 1994, "Logics for agents with bounded rationality," PhD thesis, Universiteit van Amsterdam.

  • Huang, Z., Masuch, M., and Pólos, L., "ALX, an action logic for agents with bounded rationality," Technical Report 92-70, Center for Computer Science in Organization and Management, University of Amsterdam, October 1992. To appear in Artificial Intelligence.

  • Kenny, A., 1975, Will, Freedom and Power, Oxford: Basil Blackwell.

    Google Scholar 

  • Kraus, S. and Lehmann, D., 1988, "Knowledge, belief and time," Theoretical Computer Science 58, 155–174.

    Google Scholar 

  • Lesperance, Y., Levesque, H., Lin, F., Marcu, D., Reiter, R., and Scherl, R., "Foundations of a logical approach to agent-programming," 1996, pp. 331–347 in Intelligent Agents Volume II–Agent Theories, Architectures and Languages, M. Wooldridge, J.P. Müller and M. Tambe, eds., Volume 1037 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag.

    Google Scholar 

  • Levesque, H., 1994, "Knowledge, action and ability in the situation calculus," Overheads from invited talk at TARK 1994.

  • Levy, A.Y., Sagiv, Y., and Srivastava, D., 1994, "Towards efficient information gathering agents," pp. 64–70 in Working Notes of the AAAI Spring Symposium on Software Agents, Stanford, California.

  • Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1994a, "Communicating rational agents," pp. 202–213 in KI-94: Advances in Artificial Intelligence, B. Nebel and L. Dreschler-Fischer, eds., Volume 861 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag.

    Google Scholar 

  • Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1994b, "Tests as epistemic updates," pp. 331–335 in Proceedings of the 11th European Conference on Artificial Intelligence (ECAI’94), A.G. Cohn, ed., Chichester: John Wiley & Sons.

    Google Scholar 

  • Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1995a, "Actions that make you change your mind," pp. 103–146 in Knowledge and Belief in Philosophy and Artificial Intelligence, A. Laux and H. Wansing, ed., Berlin: Akademie Verlag.

    Google Scholar 

  • Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1995b, "The dynamics of default reasoning (extended abstract)," pp. 277–284 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proceedings of ECSQARU’95), C. Froidevaux and J. Kohlas, eds., Volume 946 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag.

    Google Scholar 

  • Van Linder, B., Van der Hoek, W., and Meyer, J.-J.Ch., 1996, "Formalising motivational attitudes of agents: On preferences, goals and commitments," pp. 17–32 in Intelligent Agents Volume II–Agent Theories, Architectures, and Languages, M. Wooldridge, J.P. Müller, and M. Tambe, eds., Volume 1037 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag.

    Google Scholar 

  • Meyer, J.-J.Ch. and Van der Hoek, W., 1992, "A modal logic for nonmonotonic reasoning," pp. 37–77 in Non-Monotonic Reasoning and Partial Semantics, W. Van der Hoek, J.-J.Ch. Meyer, Y.H. Tan, and C. Witteveen, eds., Chichester: Ellis Horwood.

    Google Scholar 

  • Meyer, J.-J.Ch. and Van der Hoek, W., 1995, Epistemic Logic for AI and Computer Science, Cambridge: Cambridge University Press.

    Google Scholar 

  • Moore, R.C., 1980, "Reasoning about knowledge and action," Technical Report 191, SRI International.

  • Moore, R.C., 1984, "A formal theory of knowledge and action," Technical Report 320, SRI International.

  • Rao, A.S. and Georgeff, M.P., 1991a, "Asymmetry thesis and side-effect problems in linear time and branching time intention logics," pp. 498–504 in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI91).

  • Rao, A.S. and Georgeff, M.P., 1991b, "Modeling rational agents within a BDI-architecture," pp. 473–484 in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, J. Allen, R. Fikes, and E. Sandewall, eds., San Mateo CA: Morgan Kaufmann.

    Google Scholar 

  • Rao, A.S. and Georgeff, M.P., 1993, "A model-theoretic approach to the verification of situated reasoning systems," pp. 318–324 in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI’93).

  • Shoham, Y., 1993, "Agent-oriented programming," Artificial Intelligence 60, 51–92.

    Google Scholar 

  • Shoham, Y. and Cousins, S.B., 1994, "Logics of mental attitudes in AI," pp. 296–309 in Foundations of Knowledge Representation and Reasoning, G. Lakemeyer and B. Nebel, eds., Volume 810 of Lecture Notes in Computer Science (subseries LNAI), Berlin: Springer-Verlag.

    Google Scholar 

  • Thomas, S.R., 1993, "PLACA, an agent oriented programming language," PhD thesis, Department of Computer Science, Stanford University, Stanford CA. Appeared as Technical Report STANCS-93-1487.

  • Wooldridge, M., 1994, "The logical modelling of computational multi-agent systems," PhD thesis, Department of Computation, UMIST, Manchester. Appeared as Technical Report MMU-DOC-94-01.

  • Wooldridge, M. and Fisher, M., 1992, "A first-order branching time logic of multi-agent systems," pp. 234–238 in Proceedings of the 10th European Conference on Artificial Intelligence (ECAI’92), B. Neumann, ed., Chichester: John Wiley & Sons.

    Google Scholar 

  • Von Wright, G.H., 1963, Norm and Action, London: Routledge & Kegan Paul.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Utrecht University, P.O. Box 80.089, 3508 TB, Utrecht, The Netherlands

    B. van Linder, W. van der Hoek & J.-J. Ch. Meyer

Authors
  1. B. van Linder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. W. van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J.-J. Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

van Linder, B., van der Hoek, W. & Meyer, JJ.C. Seeing Is Believing. Journal of Logic, Language and Information 6, 33–61 (1997). https://doi.org/10.1023/A:1008242530244

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008242530244

Search

Navigation