Title :
Advice about logical AI
Author_Institution :
Dept. of Comput. Sci., Stanford Univ., CA, USA
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;
Conference_Titel :
Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on
Print_ISBN :
0-7695-1884-2
DOI :
10.1109/LICS.2003.1210064
