The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
نویسندگان
چکیده
منابع مشابه
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
2 Background 1 2.1 Logic-Based AI Encapsulated . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2.1.1 LAI is Ambitious . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.1.2 LAI is Based on Logical Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملCognitive Illusions and the Welcome Psychologism of Logicist Artificial Intelligence
We begin by using Johnson-Laird’s ingenious cognitive illusions (in which it seems that certain propositions can be deduced from given information, but really can’t) to raise the spectre of a naive brand of psychologism. This brand of psychologism would seem to be unacceptable, but an attempt to refine it in keeping with some suggestive comments from Jacquette eventuates in a welcome version of...
متن کاملThe Workshop on Logic-Based Artificial Intelligence
In “Abductive and Inductive Reasoning,” F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone provided a first step toward integrating model-checking methods with AI. They developed an abstract concept of a system repair problem that is solved by applying logic-based abduction. S. H. Muggleton and F. A. Marginean noted that datarefinement operators in inductive logic programming have been viewed as...
متن کاملLogic and Artificial Intelligence
Nilsson, N.J., Logic and artificial intelligence, Artificial Intelligence 47 (1990) 31-56. The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2008
ISSN: 1570-8683
DOI: 10.1016/j.jal.2008.09.001