Human-Type Common Sense Needs Extensions to Logic
| Abstract | John McCarthy, Stanford University Logical AI (artificial intelligence) is based on programs that represent facts about the world in languages of mathematical logic and decide what actions will achieve goals by logical reasoning. A lot has been accomplished with logic as is | |||||||||
| 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,664 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesNiki Pfeifer (2006). On Mental Probability Logic. Dissertation, Department of Psychology
Yao-Hua Tan (1997). Is Default Logic a Reinvention of Inductive-Statistical Reasoning? Synthese 110 (3):357-379.
María Manzano (1996). Extensions of First Order Logic. Cambridge University Press.
Fredrik Engström & Juha Kontinen (2012). Characterizing Quantifier Extensions of Dependence Logic. arXiv 78 (1):307-316.
Kazimierz Swirydowicz (1999). There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R. Journal of Symbolic Logic 64 (3):1125-1154.
Dominique Luzeaux, Jean Sallantin & Christopher Dartnell (2008). Logical Extensions of Aristotle's Square. Logica Universalis 2 (1).
Verena Mock (1996). Common Sense Und Logik in Jan Smedslunds 'Psychologik'. Journal for General Philosophy of Science 27 (2):281 - 306.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads5 ( #160,239 of 549,013 )Recent downloads (6 months)2 ( #37,272 of 549,013 )How can I increase my downloads? |
My notes
Discussion
