Belief representation in a deductivist type-free doxastic logic
Minds and Machines 4 (2):163-203 (1994)
| Abstract | Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It considers often neglected issues, such as the need for a more general account of thede dicto-de re distinction, and quasi-indicators. Extended deductive capacities require a subdivision of Konolige''s notion of belief into two distinct technical notions,potential anddispositional belief. The former has to do with what an artificial agent could in principle come to actively believe, given enough time and its specific logical competence; the latter with what an agent can be assumed to believe with respect to a specific goal to be fulfilled. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
|
| Through your library | Configure |
Matthew J. Ryan (2001). Capacity Updating Rules and Rational Belief Change. Theory and Decision 51 (1):73-87.
Jiahong Guo (2009). The Incorporation of Moorean Type Information by Introspective Agents. Frontiers of Philosophy in China 4 (3):470-482.
Nikolaj Nottelmann (2006). The Analogy Argument for Doxastic Voluntarism. Philosophical Studies 131 (3):559 - 582.
James Hawthorne & Luc Bovens (1999). The Preface, the Lottery, and the Logic of Belief. Mind 108 (430):241-264.
M. H. Lee & N. J. Lacey (2003). The Influence of Epistemology on the Design of Artificial Agents. Minds and Machines 13 (3):367-395.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Krister Segerberg (2006). Moore Problems in Full Dynamic Doxastic Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.
Kurt Konolige (1986). A Deduction Model of Belief. Morgan Kaufmann Publishers.
Heinrich Wansing (2006). Doxastic Decisions, Epistemic Justification, and the Logic of Agency. Philosophical Studies 128 (1):201 - 227.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |

