Representing and acquiring geographic knowledge
Representing and acquiring geographic knowledge
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 programming for robot control
IJCAI'95 Proceedings of the 14th international joint conference on Artificial 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
Logic-based artificial intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
High-Level Robot Control through Logic
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
An ASP-based approach to dealing with agent perception failure
AI Communications
A logical account of causal and topological maps
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This paper presents a logical account of sensor data assimilation in a mobile robot, based on abduction. Unlike previous work, the present formulation handles sensor noise as well as motor noise. In addition, it incorporates two significant technical advances. The use of determining fluents to deal with nondeterminism obviates the need for a special form of abduction, and the use of uncertain object boundaries alleviates a problem with multiple explanations.