Action representation and partially observable planning using epistemic logic

Authors:
Andreas Herzig;Jerome Lang;Pierre Marquis
Affiliations:
IRIT, UPS, Toulouse Cedex, France;IRIT, UPS, Toulouse Cedex, France;CRIL, Universite d'Artois, Lens Cedex, France
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 9
Cited 13

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Reasoning about knowledge

Reasoning about knowledge
On the knowledge requirements of tasks

Artificial Intelligence
Formalizing sensing actions—a transition function based approach

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
From Causal Theories to Successor State Axioms and STRIPS-Like Systems

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Logic for Planning under Partial Observability

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
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
What is planning in the presence of sensing?

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Strong planning under partial observability

Artificial Intelligence
Introspective Forgetting

AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
State-Based Regression with Sensing and Knowledge

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Observation reduction for strong plans

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Variable forgetting in reasoning about knowledge

Journal of Artificial Intelligence Research
Strong planning under partial observability

Artificial Intelligence
Linear Logic for Non-Linear Storytelling

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Learning to grasp information with your own hands

TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
Handling sequential observations in intelligent surveillance

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Gradualness, uncertainty and bipolarity: Making sense of fuzzy sets

Fuzzy Sets and Systems
A general representation and approximate inference algorithm for sensing actions

AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Proof Systems for Planning Under Cautious Semantics

Minds and Machines
Learning epistemic actions in model-free memory-free reinforcement learning: experiments with a neuro-robotic model

Living Machines'13 Proceedings of the Second international conference on Biomimetic and Biohybrid Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...