Handbook of Knowledge Representation Edited Reasoning about Knowledge and Belief 15.2 the Possible Worlds Model 15.2.1 a Language for Knowledge and Belief

Publisher Summary Philosophers have been concerned with epistemology, which is the study of knowledge, for thousands of years, going back to the great Chinese, Greek, and Indian thinkers. The focus of much of their analysis was on the fundamental questions regarding the nature of knowledge. This chapter discusses the basic concepts of reasoning about knowledge and belief. The task of obtaining relevant knowledge and that of affecting the knowledge of others are important goals in many applications. This crucial connection between knowledge and action is what makes knowledge and belief two of the most frequently used notions in everyday discourse. Rigorous frameworks for reasoning about knowledge and belief can be of value when analyzing scenarios involving multiple agents. A central goal of communication among agents is to ensure that particular agents obtain certain knowledge (or beliefs).

[1]  Silvio Micali,et al.  The knowledge complexity of interactive proof-systems , 1985, STOC '85.

[2]  G. Grisetti,et al.  Further Reading , 1984, IEEE Spectrum.

[3]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[4]  Ramaswamy Ramanujam,et al.  Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.

[5]  J. Harsanyi.  Games with Incomplete Information Played by “Bayesian” Players Part II. Bayesian Equilibrium Points , 1968 .

[6]  J. Harsanyi.  Games with Incomplete Information Played by 'Bayesian' Players, Part III. The Basic Probability Distribution of the Game , 1968 .

[7]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[8]  Yoram Moses,et al.  Knowledge and the Logic of Local Propositions , 1998, TARK.

[9]  T. Scheff.  TOWARD A SOCIOLOGICAL MODEL OF CONSENSUS , 1967 .

[10]  Hector J. Levesque,et al.  Knowledge Equivalence in Combined Action Theories , 2002, KR.

[11]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[12]  T. Schelling,et al.  The Strategy of Conflict. , 1961 .

[13]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[14]  B. Webber,et al.  Elements of Discourse Understanding , 1983 .

[15]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[16]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[17]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[18]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[19]  Ronald Fagin,et al.  Knowledge-based programs , 1995, PODC '95.

[20]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[21]  Morris F. Friedell,et al.  On the structure of shared awareness , 1969 .

[22]  Yoram Moses,et al.  Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures , 1986, TARK.

[23]  Joseph Y. Halpern,et al.  Complete Axiomatizations for Reasoning about Knowledge and Time , 2002, SIAM J. Comput..

[24]  Yoram Moses,et al.  Resource-bounded Knowledge , 1988, TARK.

[25]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[26]  Alessio Lomuscio,et al.  MCMAS: A Model Checker for Multi-agent Systems , 2006, TACAS.

[27]  Moshe Y. Vardi.  Conference on Theoretical Aspects of Reasoning about Knowledge , 1990 .

[28]  K. Mani Chandy,et al.  How processes learn , 1985, PODC '85.

[29]  R. Kirk.  CONVENTION: A PHILOSOPHICAL STUDY , 1970 .

[30]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[31]  N. Malcolm.  On Knowledge and Belief , 1954 .

[32]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[33]  Yoram Moses,et al.  Programming simultaneous actions using common knowledge , 1987, Algorithmica.

[34]  Edmund L. Gettier.  Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.

[35]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[36]  Ron van der Meyden,et al.  MCK: Model Checking the Logic of Knowledge , 2004, CAV.

[37]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[38]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[39]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[40]  Johan van Benthem.  Epistemic Logic: From Knowledge to Cognition , 1992, TARK.

[41]  Joseph Y. Halpern,et al.  Algorithmic Knowledge , 1994, TARK.

[42]  Joseph Y. Halpern,et al.  A knowledge-based analysis of zero knowledge , 1988, STOC '88.

[43]  Tal Mizrahi,et al.  Continuous consensus via common knowledge , 2005, Distributed Computing.

[44]  Maria del Pilar Pozos Parra,et al.  A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.

[45]  Gil Neiger,et al.  Common knowledge and consistent simultaneous coordination , 1991, Distributed Computing.

[46]  Polly S Nichols,et al.  Agreeing to disagree. , 2005, General dentistry.

[47]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[48]  Joseph Y. Halpern,et al.  Model Checking vs. Theorem Proving: A Manifesto , 1991, KR.

[49]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .