An approximation of action theories of AL and its application to conformant planning

Authors:
Tran Cao Son;Phan Huy Tu;Michael Gelfond;A. Ricardo Morales
Affiliations:
Department of Computer Science, New Mexico State University, Las Cruces, NM;Department of Computer Science, New Mexico State University, Las Cruces, NM;Department of Computer Science, Texas Tech University, Lubbock, TX;Department of Computer Science, Texas Tech University, Lubbock, TX
Venue:
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Year:
2005

Citing 22
Cited 6

Representing action: indeterminacy and ramifications

Artificial Intelligence
On the logic of causal explanation

Artificial Intelligence
Conformant Graphplan

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Integrating actions and state constraints: a closed-form solution to the ramification problem (sometimes)

Artificial Intelligence
Computational complexity of planning and approximate planning in the presence of incompleteness

Artificial Intelligence
Formalizing sensing actions—a transition function based approach

Artificial Intelligence
Reasoning agents in dynamic domains

Logic-based artificial intelligence
Extending and implementing the stable model semantics

Artificial Intelligence
Polynomial-Length Planning Spans the Polynomial Hierarchy

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A logic programming approach to knowledge-state planning, II: the DLVk system

Artificial Intelligence
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
Domain-dependent knowledge in answer set planning

ACM Transactions on Computational Logic (TOCL)
Conformant planning for domains with constraints: a new approach

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Conformant planning via symbolic model checking

Journal of Artificial Intelligence Research
The 3rd international planning competition: results and analysis

Journal of Artificial Intelligence Research
The ramification problem in the event calculus

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
In defense of PDDL axioms

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about actions: non-deterministic effects, constraints, and qualification

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Credulous resolution for answer set programming

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
An extension to conformant planning using logic programming

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
An approximative inference method for solving ∃¬so satisfiability problems

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Approximation of action theories and its application to conformant planning

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
An approximative inference method for solving ∃∀SO satisfiability problems

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we generalize the notion of approximation of action theories introduced in [13,26]. We introduce a logic programming based method for constructing approximation of action theories of and prove its soundness. We describe an approximation based conformant planner and compare its performance with other state-of-the-art conformant planners.