Logic and Artificial Intelligence

Richmond H. Thomason

in The Development of Modern Logic

Published in print June 2009 | ISBN: 9780195137316
Published online September 2009 | e-ISBN: 9780199867912 | DOI:
 Logic and Artificial Intelligence

Show Summary Details


This chapter presents an overview of the issues that arise when logic is used in helping to understand problems in intelligent reasoning and to guide the design of mechanized reasoning systems. It provides some historical and technical details concerning nonmonotonic logic and reasoning about action and change, a topic that is not only central in artificial intelligence but that is normally of considerable interest to philosophers. The remaining sections provide brief sketches of selected topics, with references to the primary literature.

Keywords: artifical intelligence; logic; intelligent reasoning; nonmonotonic reasing; common sense; nonmonotonic logic

Chapter.  24949 words.  Illustrated.

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.