Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Automated deduction by theory resolution
Journal of Automated Reasoning
The society of mind
A Prolog technology theorem prover: implementation by an extended Prolog computer
Journal of Automated Reasoning
On the relationship between circumscription and negation as failure
Artificial Intelligence
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
A Prolog technology theorem prover: a new exposition and implementation in Prolog
Theoretical Computer Science - Selected papers on theoretical issues of design and implementation of symbolic computation systems
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
A situated view of representation and control
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Autonomous Robots
Representing action: indeterminacy and ramifications
Artificial Intelligence
An Behavior-based Robotics
Computer-Aided Reasoning: An Approach
Computer-Aided Reasoning: An Approach
Logic-based artificial intelligence
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Logic-Based Subsumption Architecture
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Spatial Agents Implemented in a Logical Expressible Language
RoboCup-99: Robot Soccer World Cup III
Efficient Approximation for Triangulation of Minimum Treewidth
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Prolog Technology Theorem Prover
Proceedings of the 9th International Conference on Automated Deduction
Dynamic Subsumption Architecture for Programming Intelligent Agents
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Integrated cognitive architectures: a survey
Artificial Intelligence Review
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Parameter learning in Bayesian network using semantic constraints of conversational feedback
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Flexible decision process for astronauts in marsbase simulator
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Hi-index | 0.00 |
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL) and use independent theorem provers to derive each layer's outputs given its inputs. We implement the subsumption of lower layers by higher layers using nonmonotonic reasoning principles. In particular, we use circumscription to make default assumptions in lower layers, and nonmonotonically retract those assumptions when higher layers draw new conclusions. We also give formal semantics to our approach. Finally, we describe layers designed for the task of robot control and a system that we have implemented that uses this architecture for the control of a Nomad 200 mobile robot.Our system combines the virtues of using the represent-and-reason paradigm and the behavioral-decomposition paradigm. It allows multiple goals to be serviced simultaneously and reactively. It also allows high-level tasks and is tolerant to different changes and elaborations of its knowledge in runtime. Finally, it allows us to give more commonsense knowledge to robots. We report on several experiments that empirically show the feasibility of using fully expressive FOL theorem provers for robot control with our architecture and the benefits claimed above.