Epistemic capacities, incompatible information and incomplete beliefs

We investigate a specific model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent’s epistemic capacities. Moreover, we try to express the description of problem specification using the tools from applied ontology – RDF format for information and the Protege editor.

[1]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[2]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

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

[4]  Pawel Garbacz,et al.  A Formal Model for Epistemic Interactions , 2009, ICCCI.

[5]  Magdalena Kacprzak,et al.  Perseus. Software for Analyzing Persuasion Process , 2009, Fundam. Informaticae.

[6]  Barteld Kooi,et al.  Dynamic Epistemic Logic , 2013 .

[7]  Simon Richards,et al.  Aximo: Automated Axiomatic Reasoning for Information Update , 2009, Electron. Notes Theor. Comput. Sci..

[8]  Pawel Garbacz,et al.  Using Perseus System for Modelling Epistemic Interactions , 2010, KES-AMSTA.

[9]  K. Segerberg.  The Basic Dynamic Doxastic Logic of AGM , 2001 .

[10]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[11]  Shelley Powers,et al.  Practical RDF , 2003 .

[12]  Sten Lindström,et al.  Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs And Ramsey Conditionals Within DDL , 1997 .

[13]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[14]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

[15]  Dominique Longin,et al.  C&L Intention Revisited , 2004, KR.