Epistemic logic and logical omniscience: A survey

International Journal of Intelligent Systems

Volumn 12, Issue 1, 1997, Pages 57-81

  Sim, Kwang Mong ^a  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION ANALYSIS; INFORMATION MANAGEMENT; INFORMATION RETRIEVAL; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS;

FORMAL LOGIC;

EID: 0030787241     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X     Document Type: Article

References (45)

1. J. Hintikka, Knowledge and Belief, Cornell University Press, Ithaca, NY, 1962.
2. B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, 1980.
3. J.Y. Halpern, Reasoning About Knowledge: A Survey Circa 1991, Technical Report RJ 8068 (74007), IBM Almaden Research Center, San Jose, CA, April 12, 1991.
4. J.Y. Halpern, "Reasoning about knowledge: An overview," Processings of the First Theoretical Aspects of Reasoning About Knowledge (TARK-86), Morgan Kaufmann, 1986, pp. 1-18.
5. R. Aumann, "Agrees to disagree," Annals of Statistics, 1236-1239 (1976).
6. R. Aumann, "Reasoning about knowledge in economics," in Proceedings of the First Theoretical Aspects of Reasoning ABout Knowledge (TARK-86), Morgan Kaufmann, 1986, p. 251.
7. J.Y. Halpern, "Using reasoning about knowledge to analyze distributed systems," Annual Rev. Computer Sci., 2, 37-68 (1987).
8. J.Y. Halpern and R. Fagin, "Modeling knowledge and actions in distributed systems," Distributed Computing, 3, 159-177 (1989).
9. J.Y. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment," J. Assoc. Computing Mach., 37(3), 549-587 (1990).
10. R.C. Moore, "Reasoning about knowledge and action," Ph.D. Dissertation, Department of Electrical Engineering and Computer Science, MIT, a revised version appears in Artificial Intelligence Center Technical Note 191. Menlo Park, CA, SRI International, 1980.
11. R.C. Moore, "A formal theory of knowledge and actions," in R.C. Moore and J.R. Hobbs, Eds., Formal theories of the Commonsense world, 1985.
12. R.C. Moore, Reasoning about knowledge in artificial intelligence, in Proceedings of the First Theoretical Aspects of Reasoning About Knowledge (TARK-86), Morgan Kaufmann, (1986), p. 81.
13. L. Morgensten, A formal theory of multiple agents non-monotonic reasoning, Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, (1990), pp. 538-544.
14. J.Y. Halpern and Y. Moses, "A guide to the modal logics of knowledge and beliefs: Preliminary draft," Int. Joint Conf. Artif. Intell., 480-490 (1985).
15. J.Y. Halpern and Y. Moses, "A guide to completeness and complexity for modal logics of knowledge and beliefs," J. Artif. Intell., 54, 319-379 (1992).
16. S.A. Kripke, "Semantical analysis of modal logic I: Normal model propositional caculi," Zeitschrift fur mathematische Logik und Grundlagen der Mathermarik, 9, 67-96 (1963).
17. R. Fagin and J.Y. Halpern, "Belief, awareness and limited reasoning," Int. Joint Conf. Artif. Intell., 491-501 (1985).
18. J. Hintikka, "Impossible possible worlds vindicated," J. Philos. Logic 4, 475-484 (1975).
19. H. Levesque, "Logic of implicit and explicit belief in Proceedings of the Seventh International Joint Conference on Artificial Intelligence, 389-393, (1986). A revised version appeared as Fairchild Technical Report No. 653.
20. R.A. Eberle, "A logic of believing, knowing and inferring," Synthese, 26, 356-382 (1974).
21. R.C. Moore and G. Hendrix, Computational Models of Beliefs and the Semantics of Belief-Sentences, Technical Note 187, SRI International, Menlo Park, 1979.
22. K. Konolige, A Deduction Model of Belief, Morgan Kaufmann, San Mateo, CA, 1986.
23. R. Montague, Pragmatics, Contemporary Philosophy in R. Kalibansky, Ed., La Nuova Italia Editrice, (1968), pp. 101-121.
24. R. Montague, "Universal grammer," Theoria, 36, 373-398 (1970).
25. D. Scott, "Advice on Modal Logic," Philosophical Problems in Logic, in K. Lambert, Ed., Reidel, (1970), pp. 143-173.
26. M. Vardi, "On the complexity of epistemic logic," in Logic in Computer Science 1989, 1989. pp. 253-262.
27. R. Fagin and J.Y. Halpern, "Belief, awareness and limied reasoning," Artif. Intell. 34, 39-76 (1988).
28. M. Vardi, "On epistemic logic and logical omniscience," in Proceedings of the First Conference on Theoretical Aspects of Reasoning About Knowledge, Halpern, Eds. 1986, pp. 293-306.
29. M.J. Cresswell, Logics and Languages, Methuen and Co., London, 1973.
30. N. Rescher and R. Brandom, The Logic of Inconsistency: A Study in Non-Standard Possible-world Semantics and Ontology, APQ Library of Philosophy, Rowman and Littlefield, Totowa, NJ, 1979.
31. V. Rantala, Impossible worlds semantics and logical omniscience, Acta Philosophica Fennica, 35, 18-24 (1982).
32. V. Rantala, "Quantified modal logics: Non-normal worlds and prepositional attitudes," Studia Logical 41, 41-65 (1982).
33. H. Wangsing, "A general possible worlds framework for reasoning about knowledge and belief," Studia Logical, 49, 523-539 (1990).
34. R. Fagin and J.Y. Halpern, and M. Vardi, "A non-standard approach to the logical omniscience problem," in Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge (TARK-90) 1990, pp. 41-55. (To appear in the J. Artif. Intell.).
35. R. Fagin and J.Y. Halpern, and M. Vardi, "A non-standard approach to the logical omniscience problem," in Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge (TARK-90) 1990, pp. 41-55. (To appear in the J. Artif. Intell.).
36. G. Lakemeyer, "Tractable meta-reasoning in propositional logics of beliefs," Int. Joint Conf. Artif. Intell., 1987, 402-408 (1987).
37. J. Barwise and J. Perry, Situations and Attitudes, Bradford Books, Cambridge, MA, 1983.
38. R. Anderson and N.D. Jr. Belnap, Entailment: The Logic of Relevance and Necessity, Volume 1, Princeton University Press, 1975.
39. M. Cadoli and M. Schaerf, "Approximate reasoning and non-omniscient agents," In Proceedings of the Fourth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK-92), Morgan Kaufmann, 1992, pp. 159-183.
40. R. Routley and V. Routley, "Semantics of first degree entailment," Nous 6, 335-359 (1972).
41. J.P. Delgrande, A Framework for Logics of Explicit Beliefs, Technical Report, Department of Computer Science, Simon Fraser University, BC, Canada, 1993.
42. M. Minsky, "Plain talk about neurodevelopmental epistemology," Int. Joint Conf. Artif. Intell. 1977, 1083-1092 (1977).
43. J. Doyle, A Society of Mind, International Joint Conference in Artificial Intelligence, 1983, pp.309-314.
44. K.M. Sim, "A multi-valued epistemic logic," Ph.D. Dissertation, Department of Computer Science, University of Calgary, Calgary, AB, Canada, 1995.
45. K.M. Sim, "Beliefs and Bilattices," In Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems, Charlotte, NC, 1994, Lecture Notes in Artificial Intelligence, 869, Springer-Verlag, 1994, pp. 594-603.