A theory of diagnosis from first principles
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Mobile robots: inspiration to implementation
Mobile robots: inspiration to implementation
Default reasoning about spatial occupancy
Artificial Intelligence
Using meta-logic to reconcile reactive with rational agents
Meta-logics and logic programming
A circumscriptive calculus of events
Artificial Intelligence
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
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Logic programming for robot control
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Reasoning about noisy sensors in the situation calculus
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Analysis of Agent Programs Using Action Models
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Towards a general theory of topological maps
Artificial Intelligence
Story understanding through multi-representation model construction
HLT-NAACL-TEXTMEANING '03 Proceedings of the HLT-NAACL 2003 workshop on Text meaning - Volume 9
A logical account of causal and topological maps
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
GAPs: Geospatial Abduction Problems
ACM Transactions on Intelligent Systems and Technology (TIST)
| Hi-index | 0.00 |
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due to sensor and motor noise. This paper supplies a logical account of sensor data assimilation in which such models are constructed through an abductive process which hypothesises the existence, locations, and shapes of objects. Noise is treated as a kind of non-determinism, and is dealt with by a consistency-based form of abduction.