Logics for belief dependence

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 533 LNCS, Issue , 1991, Pages 274-288

  Huang, Zhisheng ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS; SYNTACTICS;

EPISTEMIC LOGIC; MULTIPLE AGENTS; POSSIBLE WORLDS; SYNTACTIC APPROACH; THEORETICAL FOUNDATIONS;

COMPUTER CIRCUITS;

EID: 85028719580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54487-9_64     Document Type: Conference Paper

References (12)

1. Bond, A. H. and Gasser, L., (eds.), Readings in Distributed Artificial Intelligence, Morgan-Kaufmann, San Mateo, CA, 1988.
2. Doyle, J., A society of mind, in: Proceedings IJCAI-83, Karlsruhe, F. R. G. (1983) 309-314.
3. Fagin, R. F. and Halpern, J. Y., Belief, Awareness, and Limited Reasoning, in: Artificial Intelligence, 34 (1988) 39-76.
4. Halpern, J. K. and Fagin, R. F., Modelling knowledge and action in distributed systems, Distributed Computing, 3(1989) 159-177.
5. J. Hintikka, Knowledge and Belief, Cornell University Press, 1962.
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.
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.
8. Zhisheng Huang and Peter van Emde Boas, Belief Dependence, Revision and Persistence, in preparation.
9. G. E. Hughes and M. J. Cresswell, A Companion to Modal Logic, Methuen, 1984.
10. Levesque, H. J., A logic of implicit and explicit belief, in: Proceedings AAAI-84 Austin, TX (1984) 198-202.
11. G. R. Potts, M. F. ST. John, and D. Kirson, Incorporating New Information into Existing World Knowledge, Cognitive Psychology, 21 (1989) 303-333.
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.