Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
The emperor's new mind: concerning computers, minds, and the laws of physics
The emperor's new mind: concerning computers, minds, and the laws of physics
Computing the future: a broader agenda for computer science and engineering
Computing the future: a broader agenda for computer science and engineering
Computational intelligence: a logical approach
Computational intelligence: a logical approach
The expressive power of circumscription
Artificial Intelligence
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Making Robots Conscious of Their Mental States
Machine Intelligence 15, Intelligent Agents [St. Catherine's College, Oxford, July 1995]
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Coloring maps and the Kowalski doctrine
Coloring maps and the Kowalski doctrine
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Human Problem Solving
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Fundamenta Informaticae
Simulating human heuristic problem solving: a study by combining ACT-R and fMRI brain image
BI'09 Proceedings of the 2009 international conference on Brain informatics
Interaction between visual attention and goal control for speeding up human heuristic search
BI'10 Proceedings of the 2010 international conference on Brain informatics
Semantic linking through spaces for cyber-physical-socio intelligence: A methodology
Artificial Intelligence
International Journal of Metadata, Semantics and Ontologies
J.S. Mill's inductive methods in artificial intelligence systems. Part II
Scientific and Technical Information Processing
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Editorial: Cyber-Physical Society-The science and engineering for future society
Future Generation Computer Systems
Hi-index | 0.00 |
Human-level AI will be achieved, but new ideas are almost certainly needed, so a date cannot be reliably predicted-maybe five years, maybe five hundred years. I'd be inclined to bet on this 21st century. It is not surprising that human-level AI has proved difficult and progress has been slow-though there has been important progress. The slowness and the demand to exploit what has been discovered has led many to mistakenly redefine AI, sometimes in ways that preclude human-level AI-by relegating to humans parts of the task that human-level computer programs would have to do. In the terminology of this paper, it amounts to settling for a bounded informatic situation instead of the more general common sense informatic situation. Overcoming the ''brittleness'' of present AI systems and reaching human-level AI requires programs that deal with the common sense informatic situation-in which the phenomena to be taken into account in achieving a goal are not fixed in advance. We discuss reaching human-level AI, emphasizing logical AI and especially emphasizing representation problems of information and of reasoning. Ideas for reasoning in the common sense informatic situation include nonmonotonic reasoning, approximate concepts, formalized contexts and introspection.