Advertisement

Logics for belief dependence

  • Zhisheng Huang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 533)

Abstract

In this paper, we investigate the theoretical foundations of belief dependence in multiple agent environment, where agents may rely on someone else about their beliefs or knowledge. Several logics for belief dependence are introduced and studied. First of all, we try to formalize the problem of belief dependence in the framework of general epistemic logics, by which we will argue that general epistemic logic is not appropriate to formalize the problem of belief dependence. Then, based on an approach which is similar to Fagin and Halpern's general awareness logic, we present the second logic for belief dependence, which is called a syntactic approach. The third logic is an adapted possible world logic, where sub-beliefs are directly introduced in the models.

Keywords

Logic System Accessibility Relation Epistemic Logic Dependent Operator Syntactic Approach 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Bond, A. H. and Gasser, L., (eds.), Readings in Distributed Artificial Intelligence, Morgan-Kaufmann, San Mateo, CA, 1988.Google Scholar
  2. [2]
    Doyle, J., A society of mind, in: Proceedings IJCAI-83, Karlsruhe, F. R. G. (1983) 309–314.Google Scholar
  3. [3]
    Fagin, R. F. and Halpern, J. Y., Belief, Awareness, and Limited Reasoning, in: Artificial Intelligence, 34 (1988) 39–76.CrossRefGoogle Scholar
  4. [4]
    Halpern, J. K. and Fagin, R. F., Modelling knowledge and action in distributed systems, Distributed Computing, 3(1989) 159–177.CrossRefGoogle Scholar
  5. [5]
    J. Hintikka, Knowledge and Belief, Cornell University Press, 1962.Google Scholar
  6. [6]
    Zhisheng Huang, Dependency of Belief in Distributed Systems, in: M. Stokhof and L. Torenvliet (eds.) Proceedings of the Seventh Amsterdam Colloquium, 637–662, 1990.Google Scholar
  7. [7]
    Zhisheng Huang and Karen Kwast, Awareness, Negation, and Logical Omniscience, to appear in: Proceedings of European Workshop on Logics in Artificial Intelligence, (JELIA'90), 1990.Google Scholar
  8. [8]
    Zhisheng Huang and Peter van Emde Boas, Belief Dependence, Revision and Persistence, in preparation.Google Scholar
  9. [9]
    G. E. Hughes and M. J. Cresswell, A Companion to Modal Logic, Methuen, 1984.Google Scholar
  10. [10]
    Levesque, H. J., A logic of implicit and explicit belief, in: Proceedings AAAI-84 Austin, TX (1984) 198–202.Google Scholar
  11. [11]
    G. R. Potts, M. F. ST. John, and D. Kirson, Incorporating New Information into Existing World Knowledge, Cognitive Psychology, 21 (1989) 303–333.CrossRefGoogle Scholar
  12. [12]
    Eric Werner, Toward a Theory of Communication and Cooperation for Multiagent Planning, in: M. Y. Vardi (ed.) Proceedings of TARK 1988, Morgan-Kaufmann, (1988), 129–143.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Zhisheng Huang
    • 1
  1. 1.Department of Mathematics and Computer ScienceUniversity of AmsterdamThe Netherlands

Personalised recommendations