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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Bond, A. H. and Gasser, L., (eds.), Readings in Distributed Artificial Intelligence, Morgan-Kaufmann, San Mateo, CA, 1988.
Doyle, J., A society of mind, in: Proceedings IJCAI-83, Karlsruhe, F. R. G. (1983) 309–314.
Fagin, R. F. and Halpern, J. Y., Belief, Awareness, and Limited Reasoning, in: Artificial Intelligence, 34 (1988) 39–76.
Halpern, J. K. and Fagin, R. F., Modelling knowledge and action in distributed systems, Distributed Computing, 3(1989) 159–177.
J. Hintikka, Knowledge and Belief, Cornell University Press, 1962.
Zhisheng Huang, Dependency of Belief in Distributed Systems, in: M. Stokhof and L. Torenvliet (eds.) Proceedings of the Seventh Amsterdam Colloquium, 637–662, 1990.
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.
Zhisheng Huang and Peter van Emde Boas, Belief Dependence, Revision and Persistence, in preparation.
G. E. Hughes and M. J. Cresswell, A Companion to Modal Logic, Methuen, 1984.
Levesque, H. J., A logic of implicit and explicit belief, in: Proceedings AAAI-84 Austin, TX (1984) 198–202.
G. R. Potts, M. F. ST. John, and D. Kirson, Incorporating New Information into Existing World Knowledge, Cognitive Psychology, 21 (1989) 303–333.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huang, Z. (1991). Logics for belief dependence. In: Börger, E., Kleine Büning, H., Richter, M.M., Schönfeld, W. (eds) Computer Science Logic. CSL 1990. Lecture Notes in Computer Science, vol 533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54487-9_64
Download citation
DOI: https://doi.org/10.1007/3-540-54487-9_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54487-6
Online ISBN: 978-3-540-38401-4
eBook Packages: Springer Book Archive