|Abstract||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)
|Through your library||Only published papers are available at libraries|
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.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Total downloads1 ( #291,948 of 722,935 )
Recent downloads (6 months)1 ( #61,087 of 722,935 )
How can I increase my downloads?