Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Declarative goals in reactive plans
Proceedings of the first international conference on Artificial intelligence planning systems
AI Magazine
EXCALIBUR: a program for planning and reasoning with processes
Artificial Intelligence
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
An algorithm for probabilistic planning
Artificial Intelligence - Special volume on planning and scheduling
A layered architecture for office delivery robots
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Planning control rules for reactive agents
Artificial Intelligence
Issues in temporal reasoning for autonomous control systems
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Map learning and high-speed navigation in RHINO
Artificial intelligence and mobile robots
Structured reactive controllers: controlling robots that perform everyday activity
Proceedings of the third annual conference on Autonomous Agents
Reinforcement learning with hierarchies of machines
NIPS '97 Proceedings of the 1997 conference on Advances in neural information processing systems 10
Monte Carlo localization: efficient position estimation for mobile robots
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Between MDPs and semi-MDPs: a framework for temporal abstraction in reinforcement learning
Artificial Intelligence
Experiences with an interactive museum tour-guide robot
Artificial Intelligence - Special issue on applications of artificial intelligence
An Behavior-based Robotics
Structured Reactive Controllers
Autonomous Agents and Multi-Agent Systems
Integrated Plan-Based Control of Autonomous Robots in Human Environments
IEEE Intelligent Systems
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Decision-Theoretic Planning with Concurrent Temporally Extended Actions
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
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Robust periodic planning and execution for autonomous spacecraft
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Planning in nondeterministic domains under partial observability via symbolic model checking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Flexible decomposition algorithms for weakly coupled Markov decision problems
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Probabilistic temporal reasoning with endogenous change
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Understanding complex multithreaded software systems by using trace visualization
Proceedings of the 5th international symposium on Software visualization
Hi-index | 0.00 |
This article develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern percept-driven robot plans. PHAMs represent aspects of robot behavior that cannot be represented by most action models used in AI planning: the temporal structure of continuous control processes, their non-deterministic effects, several modes of their interferences, and the achievement of triggering conditions in closed-loop robot plans. The main contributions of this article are: (1) PHAMs, a model of concurrent percept-driven behavior, its formalization, and proofs that the model generates probably, qualitatively accurate predictions; and (2) a resource-efficient inference method for PHAMs based on sampling projections from probabilistic action models and state descriptions. We show how PHAMs can be applied to planning the course of action of an autonomous robot office courier based on analytical and experimental results.