Heuristic search + symbolic model checking = efficient conformant planning

Authors:
Piergiorgio Bertoli;Alessandro Cimatti;Marco Roveri
Affiliations:
ITC, IRST, Povo, Trento, Italy;ITC, IRST, Povo, Trento, Italy;ITC, IRST, Povo, Trento, Italy and DSI, University of Milano, Milano, Italy
Venue:
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Year:
2001

Citing 16
Cited 24

Symbolic Boolean manipulation with ordered binary-decision diagrams

ACM Computing Surveys (CSUR)
Exact calculation of synchronization sequences based on binary decision diagrams

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Minimum length synchronizing sequences of finite state machine

DAC '93 Proceedings of the 30th international Design Automation Conference
Planning control rules for reactive agents

Artificial Intelligence
Conformant Graphplan

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Extending Graphplan to handle uncertainty and sensing actions

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Symbolic Model Checking

Symbolic Model Checking
Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Open World Planning in the Situation Calculus

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Planning as Satisfiability in Nondeterministic Domains

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Planning via Model Checking: A Decision Procedure for AR

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Conformant planning via symbolic model checking

Journal of Artificial Intelligence Research
Planning for contingencies: a decision-based approach

Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover

Journal of Artificial Intelligence Research
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

Symbolic heuristic search for factored Markov decision processes

Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking

Artificial Intelligence - special issue on planning with uncertainty and incomplete information
SAT-based planning in complex domains: concurrency, constraints and nondeterminism

Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Conformant planning via symbolic model checking and heuristic search

Artificial Intelligence
Understanding planning with incomplete information and sensing

Artificial Intelligence
Strong planning under partial observability

Artificial Intelligence
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

Theory and Practice of Logic Programming
Expecting the unexpected: representing, reasoning about, and assessing construction project contingencies

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Weighted A∗ search -- unifying view and application

Artificial Intelligence
Distance estimates for planning in the discrete belief space

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Taming numbers and durations in the model checking integrated planning system

Journal of Artificial Intelligence Research
Engineering a conformant probabilistic planner

Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search

Journal of Artificial Intelligence Research
Logical circuit filtering

IJCAI'07 Proceedings of the 20th international joint conference on Artifical 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
Understanding planning with incomplete information and sensing

Artificial Intelligence
Conformant planning via heuristic forward search: A new approach

Artificial Intelligence
Strong planning under partial observability

Artificial Intelligence
Algorithms for memory hierarchies: advanced lectures

Algorithms for memory hierarchies: advanced lectures
Qualitative MDPs and POMDPs: an order-of-magnitude approximation

UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Planning under continuous time and resource uncertainty: a challenge for AI

UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Optimal limited contingency planning

UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
A conformant planner based on approximation: CpA(H)

ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the problem of how an agent creates a discrete spatial representation from its continuous interactions with the environment. Such representation will be the minimal one that explains the experiences of the agent in the environment. In this ...