David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
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.
Bertrand Russell (2005). On Denoting. Mind 114 (456):873 - 887.
Saul Kripke (2010). Naming and Necessity. In Darragh Byrne & Max Kölbel (eds.), Philosophy. Routledge. pp. 431-433.
Jaakko Hintikka (1962). Knowledge and Belief. Ithaca: Cornell University Press.
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.
Kurt Konolige (1986). A Deduction Model of Belief. Morgan Kaufmann Publishers.
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.
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.
M. H. Lee & N. J. Lacey (2003). The Influence of Epistemology on the Design of Artificial Agents. Minds and Machines 13 (3):367-395.
Guo Jiahong (2009). The Incorporation of Moorean Type Information by Introspective Agents. Frontiers of Philosophy in China 4 (3):470-482.
Added to index2009-01-28
Total downloads15 ( #296,524 of 1,925,795 )
Recent downloads (6 months)2 ( #308,704 of 1,925,795 )
How can I increase my downloads?