Concepts of Logical Ai
| 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 briefly 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- ficient, 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) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesMatthias 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #277,406 of 556,896 )Recent downloads (6 months)1 ( #64,931 of 556,896 )How can I increase my downloads? |
My notes
Discussion
