Results 1 -
1 of
1
Artificial Intelligence, Logic And Formalizing Common Sense
- Philosophical Logic and Artificial Intelligence
, 1990
"... 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 philos ..."
Abstract
-
Cited by 19 (3 self)
- Add to MetaCart
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.
