DocumentCode
1616050
Title
Advice about logical AI
Author
McCarthy, John
Author_Institution
Dept. of Comput. Sci., Stanford Univ., CA, USA
fYear
2003
Firstpage
244
Lastpage
247
Abstract
Formalized nonmonotonic reasoning emerged in relation to the study of artificial intelligence. The paper discusses some uses of nonmonotonic reasoning that has become a mathematical subject, observations regarding AI, and the problems logical AI encountered before it can reach human level intelligence.
Keywords
artificial intelligence; formal logic; nonmonotonic reasoning; AI; Artificial Intelligence; mathematical application; mathematical logic; nonmonotonic reasoning; Artificial intelligence; Birds; Business communication; Computer science; Databases; History; Logic; Mathematics;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on
ISSN
1043-6871
Print_ISBN
0-7695-1884-2
Type
conf
DOI
10.1109/LICS.2003.1210064
Filename
1210064
Link To Document