quote:

---

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 and that this will advance the philosophical goals also. Actual formalisms (mostly first order languages) for expressing common-sense facts are described in the references.

Common-sense knowledge includes the basic facts about events (including actions) and their effects, facts about knowledge and how it is obtained, facts about beliefs and desires. It also includes the basic facts about material objects and their properties.

One path to human-level AI uses mathematical logic to formalize common-sense knowledge in such a way that common-sense problems can be solved by logical reasoning. This methodology requires understanding the common-sense world well enough to formalize facts about it and ways of achieving goals in it. Basing AI on understanding the common-sense world is different from basing it on understanding human psychology or neurophysiology. This approach to AI, based on logic and computer science, is complementary to approaches that start from the fact that humans exhibit intelligence, and that explore human psychology or human neurophysiology.

This article discusses the problems and difficulties, the results so far, and some improvements in logic and logical languages that may be required to formalize common sense. Fundamental conceptual advances are almost certainly required. The object of the paper is to get more help for AI from philosophical logicians. Some of the requested help will be mostly philosophical and some will be logical. Likewise the concrete AI approach may fertilize philosophical logic as physics has repeatedly fertilized mathematics.

ARTIFICIAL INTELLIGENCE, LOGIC AND FORMALIZING COMMON SENSE
John McCarthy
Computer Science Department
Stanford University

---

Me and you, yo mama and yo cousin too,
rollin' down the strip on Vogues.
Comin' up slammin' Cadillac do's."

Me and you, yo mama and yo cousin too,
rollin' down the strip on Vogues.
Comin' up slammin' Cadillac do's."

quote:

---

Sorry Fez, no pictures, but you can draw on the back page if you want.

---

Me and you, yo mama and yo cousin too,
rollin' down the strip on Vogues.
Comin' up slammin' Cadillac do's."

quote:

---

Very much worth reading. It's not a boring lecture book and it's a quick read. Sorry Fez, no pictures, but you can draw on the back page if you want.

---

Me and you, yo mama and yo cousin too,
rollin' down the strip on Vogues.
Comin' up slammin' Cadillac do's."

quote:

---

too bad garbage trucks don't have computers on them.

---

quote:

---

What is A.I.?

---

quote:

---

When I first saw this I thought you were talking about the porn movie you & hosp did called Anal Intrusion.

---

Me and you, yo mama and yo cousin too,
rollin' down the strip on Vogues.
Comin' up slammin' Cadillac do's."

quote:

---

[tequila style post]You mean the one starring your mother? Or part II featuring your sister?[/tequila style]

---

quote:

---

P.s: Trying to save an intelligent thread from defilement.

---

Me and you, yo mama and yo cousin too,
rollin' down the strip on Vogues.
Comin' up slammin' Cadillac do's."

Me and you, yo mama and yo cousin too,
rollin' down the strip on Vogues.
Comin' up slammin' Cadillac do's."

quote:

---

P.s: Trying to save an intelligent thread from defilement.

---