Some expert systems need common sense
Proc. of a symposium on Computer culture: the scientific, intellectual, and social impact of the computer
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Proving properties of states in the situation calculus
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Applications of inductive logic programming
Communications of the ACM
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Machine Learning
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Making Robots Conscious of Their Mental States
Machine Intelligence 15, Intelligent Agents [St. Catherine's College, Oxford, July 1995]
| Hi-index | 0.00 |
Logical AI involves representing knowledge of an agent's world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI required programs that deal with the common sense informatic situation. Human-level logical AI requires extensions to the way logic is used in formalizing branches of mathematics and physical science. It also seems to require extensions to the logics themselves, both in the formalism for expressing knowledge and the reasoning used to reach conclusions. A large number of concepts need to be studied to achieve logical AI of human level. This chapter presents candidates, some of them well known, but others new.