Seeing is believing
Journal of Logic, Language and Information 6 (1):33-61 (1997)
| Abstract | In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHans Van Ditmarsch & Willem Labuschagne (2007). My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic. Synthese 155 (2):191 - 209.
Hans van Ditmarsch & Willem Labuschagne (2007). My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic. Synthese 155 (2).
Wiebe van Der Hoek, Bernd Van Linder & John-Jules Meyer (2000). On Agents That Have the Ability to Choose. Studia Logica 66 (1):79 - 119.
Wiebe van der Hoek, Bernd van Linder & John-Jules Meyer (2000). On Agents That Have the Ability to Choose. Studia Logica 66 (1).
Jiahong Guo (2009). The Incorporation of Moorean Type Information by Introspective Agents. Frontiers of Philosophy in China 4 (3):470-482.
Yves Lespérance, Hector J. Levesque, Fangzhen Lin & Richard B. Scherl (2000). Ability and Knowing How in the Situation Calculus. Studia Logica 66 (1):165-186.
Fenrong Liu (2009). Diversity of Agents and Their Interaction. Journal of Logic, Language and Information 18 (1).
V. Wiegel, M. J. Van den Hoven & G. J. C. Lokhorst (2005). Privacy, Deontic Epistemic Action Logic and Software Agents. Ethics and Information Technology 7 (4).
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
