David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Logical AI involves representing knowledge of an agent’s world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize brieﬂy a large number of concepts that have arisen in research in logical AI. Reaching human-level AI requires programs that deal with the common sense informatic situation. This in turn requires extensions from the way logic has been used in formalizing branches of mathematics and physical science. It also seems to require extensions to the logics themselves, both in the formalism for expressing knowledge and the reasoning used to reach conclusions. A large number of concepts need to be studied to achieve logical AI of human level. This article presents candidates. The references, though numerous, to articles concerning these concepts are still insuf- ﬁcient, and I’ll be grateful for more, especially for papers available on the web. This article is available in several forms via http://www-formal.stanford.edu/jmc/conceptsai.html.
|Keywords||No keywords specified (fix it)|
No categories specified
(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
No references found.
Citations of this work BETA
Jesse Hughes, Peter Kroes & Sjoerd Zwart (2007). A Semantics for Means-End Relations. Synthese 158 (2):207 - 231.
Similar books and articles
Matthias Schirn (2006). Concepts, Extensions, and Frege's Logicist Project. Mind 115 (460):983-1006.
Harold T. Hodes (2004). On The Sense and Reference of A Logical Constant. Philosophical Quarterly 54 (214):134-165.
George Lakoff (1970). Linguistics and Natural Logic. Synthese 22 (1-2):151 - 271.
Allen S. Hance (1987). Husserl's Phenomenological Theory of Logic and the Overcoming of Psychologism. Philosophy Research Archives 13:189-215.
Henning Peucker (2012). Husserl's Foundation of the Formal Sciences in His “Logical Investigations”. Axiomathes 22 (1):135-146.
Stefano Fiori (2009). Hayek's Theory on Complexity and Knowledge: Dichotomies, Levels of Analysis, and Bounded Rationality. Journal of Economic Methodology 16 (3):265-285.
J. H. Harris (1982). What's So Logical About the “Logical” Axioms? Studia Logica 41 (2-3):159 - 171.
Newton C. A. Costdaa & Décio Krause (1994). Schrödinger Logics. Studia Logica 53 (4).
Newton C. A. da Costa & Décio Krause (1994). Schrödinger Logics. Studia Logica 53 (4):533 - 550.
Added to index2010-12-22
Total downloads2 ( #354,724 of 1,102,912 )
Recent downloads (6 months)1 ( #297,281 of 1,102,912 )
How can I increase my downloads?