A logic-based calculus of events
New Generation Computing
Combining logic and differential equations for describing real-world systems
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Planning and control
VLSI architecture design using predicate logic
VLSI architecture design using predicate logic
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
A situated view of representation and control
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Constraint nets: a semantic model for hybrid dynamic systems
Theoretical Computer Science - Special issue on hybrid systems
COCOLOG: A Conditional Observer and Controller Logic for Finite Machines
SIAM Journal on Control and Optimization
Communications of the ACM
Multiple Agent Hybrid Control Architecture
Hybrid Systems
A foundation for the design and analysis of robotic systems and behaviors
A foundation for the design and analysis of robotic systems and behaviors
Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
Integration of Fault Detection and Diagnosis in a Probabilistic Logic Framework
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Faults Diagnosis in Industrial Processes with a Hybrid Diagnostic System
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
An ASP-based approach to dealing with agent perception failure
AI Communications
Projection using regression and sensors
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Noise and the common sense informatic situation for a mobile robot
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
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |
This paper proposes logic programs as a specification for robot control. These provide a formal specification of what an agent should do depending on what it senses, and its previous sensory inputs and actions. We show how to axiomatise reactive agents, events as an interface between continuous and discrete time, and persistence, as well as axiomatising integration and differentiation over time (in terms of the limit of sums and differences). This specification need not be evaluated as a Prolog program; we use can the fact that it will be evaluated in time to get a more efficient agent. We give a detailed example of a nonholonomic maze travelling robot, where we use the same language to model both the agent and the environment. One of the main motivations for this work is that there is a clean interface between the logic programs here and the model of uncertainty embedded in probabilistic Horn abduction. This is one step towards building a decision-theoretic planning system where the output of the planner is a plan suitable for actually controlling a robot.