Theories of Knowledge and Ignorance

What does it mean to say that an agent only knows a particular fact, i.e., knowing that fact and not more than that? The problem of describing so-called minimal knowledge has been discussed in the literature since 1985, when Halpern and Moses published a paper on Knowledge and Ignorance. The present chapter reviews a considerable part of the most important proposals for only knowing and provides a number of generalizations over these proposals. The focus of this study is on a theoretical understanding of the subject, but several (possible) applications are indicated too.

[1]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[2]  Joseph Y. Halpern.  A Theory of Knowledge and Ignorance for Many Agents , 1997, J. Log. Comput..

[3]  Wiebe van der Hoek,et al.  Persistence and minimality in epistemic logic , 2004, Annals of Mathematics and Artificial Intelligence.

[4]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[5]  Miroslaw Truszczynski,et al.  Minimal Knowledge Problem: A New Approach , 1994, Artif. Intell..

[6]  Wiebe van der Hoek,et al.  Honesty in partial logic , 1995, Stud Logica.

[7]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[8]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[9]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[10]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[11]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[12]  Gerhard Lakemeyer.  All They Know: A Study in Multi-Agent Autoepistemic Reasoning , 1993, IJCAI.

[13]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[14]  Riccardo Rosati,et al.  Complexity of Only Knowing: The Propositional Case , 1997, LPNMR.

[15]  H. Grice.  Logic and conversation , 1975 .

[16]  Wiebe van der Hoek,et al.  A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples , 2002, Stud Logica.

[17]  Phillip J. Staines,et al.  Meeting of the Association for Symbolic Logic, Sydney, 1984 , 1986, Journal of Symbolic Logic (JSL).

[18]  J.F.A.K. van Benthem,et al.  Modal logic and classical logic , 1983 .

[19]  Jan Jaspars,et al.  Fundamentals of partial modal logic , 1996 .

[20]  Rohit Parikh.  Monotonic and non-monotonic logics of knowledge , 1991, Fundam. Informaticae.

[21]  Ian Pratt-Hartmann,et al.  Total Knowledge , 2000, AAAI/IAAI.

[22]  Gerhard Lakemeyer,et al.  Levesque's Axiomatization of only Knowing is Incomplete , 1995, Artif. Intell..

[23]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[24]  Joseph Y. Halpern.  Reasoning about only Knowing with Many Agents , 1993, AAAI.

[25]  Jan Jaspars.  A Generalization of Stability and its Application to Circumscription of Positive Introspective Knowledge , 1990, CSL.