David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 4 (2):163-203 (1994)
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||Artificial agent belief doxastic logic intensional logic logical omniscience multiagent domain semantic representation type-free property theory|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Saul A. Kripke (1980). Naming and Necessity. Harvard University Press.
Saul Kripke (2010). Naming and Necessity. In Darragh Byrne & Max Kölbel (eds.), Philosophy. Routledge 431-433.
Bertrand Russell (2005). On Denoting. Mind 114 (456):873 - 887.
Saul A. Kripke (1963). Semantical Considerations on Modal Logic. Acta Philosophica Fennica 16 (1963):83-94.
Citations of this work BETA
Francesco Orilia (2000). Property Theory and the Revision Theory of Definitions. Journal of Symbolic Logic 65 (1):212-246.
Francesco Orilia (2000). The Property-Theoretical, Performative-Nominalistic Theory of Proper Names. Dialectica 54 (3):155–176.
Francesco Orilia (2003). A Description Theory of Singular Reference. Dialectica 57 (1):7–40.
Similar books and articles
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.
Added to index2009-01-28
Total downloads13 ( #272,375 of 1,907,142 )
Recent downloads (6 months)3 ( #276,350 of 1,907,142 )
How can I increase my downloads?