Abstract
In this paper we survey formal techniques for the study of reasoning about knowledge and belief, and consider their application in the areas of distributed computing and nonmonotonic reasoning.
Similar content being viewed by others
References
Benthem, J.van (1984) Correspondence Theory. Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic (eds D. Gabbay & F. Guenthner), D. Reidel, Dordrecht, 1984.
Boas, P. van Emde, Groenendijk, J. & Stokhof, M. (1984) The Conway Paradox: Its Solution in an Epistemic Framework, Truth, Interpretation and Information (eds J. Groenendijk, T.M.V. Janssen & M. Stokhof). Foris Publications, Dordrecht.
Fagin, R. & Halpern, J.Y. (1988) Belief, Awareness, and Limited Reasoning, Artificial Intelligence, 34, 39–76.
Halpern, J.Y. (1987) Using Reasoning about Knowledge to Analyze Distributed Systems. Ann. Rev. Comput. Sci. 2, 37–68.
Halpern, J.Y. & Moses, Y. (1984) Knowledge and Common Knowledge in a Distributed Environment, Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing.
Hintikka, J. (1962) Knowledge and Belief, Cornell University Press, Ithaca.
Hughes, G.E. & Creswell, M.J. (1984) A Companion to Modal Logic, Methuen, London, 1984.
Kripke, S. (1963) Semantical Analysis of Modal Logic I, normal propositional calculi, Zeitschrift für Mathematisch Logik und Grundlagen der Mathematik. 9, 67–96.
Landman, F. (1986) Towards a Theory of Information. The Status of Partial Objects in Semantics, Foris Publications, Dordrecht, 1986.
Levesque, H.J. (1987) All I Know: An Abridged Report. In Proceeding of the 1987 National Conference on AI (AAAI-87).
Levesque, H.J. (1990) All I Know: a Study in Autoepistemic reasoning. Artificial Intelligence, 13, 263–309.
McCarthy, J. (1980) Circumscription — a form of non-monotonic reasoning, Artificial Intelligence, 13, 27–39.
McDermott, D. & Doyle, J. (1980) Non-Monotonic Logic I, Artificial Intelligence, 13, 41–72.
Moore, R.C. (1984) Possible-world semantics for autoepistemic logic, SRI Artificial Intelligence Center Technical Note 337, SRI International, California, August 1984.
Moore, R.C. (1985) Semantical Considerations on Non-Monotonic Logic, Artificial Intelligence, 25, 75–94.
Moore, R.C. (1988) Autoepistemic Logic. In Non-Standard Logics for Automated Reasoning (eds E.H. Mamdani et al.), Academic Press, London.
Moses, Y., Dolev, D. & Halpern, J.Y. (1986) Cheating Husbands and other stories: A case study of knowledge action and communication, Distributed Computing, 1, 167–176.
Reiter, 1980 R. Reiter, A Logic for Default Reasoning. Artificial Intelligence, 13, 81–132.
Thayse, A. (ed.) (1989) From Modal Logic to Deductive Databases, John Wiley & Sons, Chichester.
Worboys, M.F. (1989) Reasoning on Knowledge Bases with Incomplete Information (Logics of Knowledge and Belief), Technical Report No. 20, Department of Computing Studies, University of Leicester, May 1989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Measor, N. Logics of knowledge and belief—applications. Artif Intell Rev 5, 35–51 (1991). https://doi.org/10.1007/BF00129534
Issue Date:
DOI: https://doi.org/10.1007/BF00129534