Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in BibTeX Format

@TECHREPORT{AICPub617:1984, AUTHOR={Moore, Robert C.}, TITLE={The Role Of Logic In Artificial Intelligence}, ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={Jul}, NUMBER={335}, YEAR={1984}, KEYWORDS={Logic!Role in AI}, ABSTRACT={Formal logic has played an important part in artificial intelligence (AI) research for almost thirty years, but its role has always been controversial. This paper surveys three possible applications of logic in AI: (1) as an analytical tool, (2) as a knowledge representation formalism and method of reasoning, and (3) as a programming language. The paper examines each of these in turn, exploring both the problems and the prospects for the successful application of logic.} }

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy