Sciweavers

Share
AAAI
2000

Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods

11 years 2 months ago
Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods
The main problem of planning is to find a sequence of actions that an agent must perform to achieve a given objective. An important part of planning is checking whether a given plan achieves the desired objective. Historically, in AI, the planning and plan checking problems were mainly formulated and solved in a deterministic environment, when the initial state is known precisely and when the results of each action in each state is known (and uniquely determined). In this deterministic case, planning is difficult, but plan checking is straightforward. In many real-life situations, we only know the probabilities of different fluents; in such situations, even plan checking becomes computationally difficult. In this paper, we describe how methods of interval computations can be used to get a feasible approximation to plan checking under probabilistic uncertainty. The resulting method is a natural generalization of 0-approximation proposed earlier to describe planning in the case of parti...
Raul Trejo, Vladik Kreinovich, Chitta Baral
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where AAAI
Authors Raul Trejo, Vladik Kreinovich, Chitta Baral
Comments (0)
books