Using meta-logic to reconcile reactive with rational agents
Meta-logics and logic programming
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
Logic-based artificial intelligence
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Noise, non-determinism and spatial uncertainty
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Reasoning about Actions with CHRs and Finite Domain Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Sensing Actions, Time, and Concurrency in the Situation Calculus
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Bridging the Gap between High-Level Reasoning and Low-Level Control
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
| Hi-index | 0.00 |
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical formulae describing the agent's relationship to its environment. Two such programs for a mobile robot are described -- one for navigation and one for map building -- that share much of their code. The map building program incorporates a rudimentary approach to the formalisation of epistemic fluents, knowledge goals, and knowledge producing actions.