Formalizing common sense: Papers by John McCarthy
نویسندگان
چکیده
منابع مشابه
V. Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy
“Language has never been accessible to me in the way that it was for Sachs. I’m shut off from my own thoughts, trapped in a no-man’s_land between feeling and articulation, and no matter how hard I try to express myself, I can rarely come up with more than a confused stammer. Sachs never had any of these difficulties. Words and things matched up for him, whereas for me they are constantly breaki...
متن کاملJohn McCarthy
John McCarthy, considerado como uno de los padres de la Inteligencia Artificial, es hijo de padre católico irlandés y madre judía lituana. Ingresó en el Caltech (Instituto Tecnológico de California) a los 16 años, de donde fue expulsado por negarse a seguir las clases de educación física, pero años después fue admitido de nuevo como veterano de guerra. Se licenció en matemáticas en 1948, despué...
متن کاملArtificial Intelligence, Logic and Formalizing Common Sense
This is a position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning. It also treats other problems of concern to both AI and philosophy. I thank the editor for inviting it. The position advocated is that philosophy can contribute to AI if it treats some of its traditional subject matter in more detail ...
متن کاملLecture in Remembrance of John McCarthy
John McCarthy, famous for his role in the development of time-sharing, for inventing the computer language LISP, for his foundational work in theory of computation, and for his founding of the fields of artificial intelligence and knowledge representation, was concerned for much of his career with what he termed drosophilae: small challenge problems that highlighted characteristic aspects of in...
متن کاملApplications of Circumscription to Formalizing Common Sense Knowledge
We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. The applications in this paper are mostly based on minimizing the abnormality of different aspects of various entities. Included are nonmonotonic treatments of is-a hierarchies, the unique names hypoth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1995
ISSN: 0004-3702
DOI: 10.1016/0004-3702(95)90018-7