Titlebook: Recent Advances in AI Planning; 4th European Confere Sam Steel,Rachid Alami Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 1

具体

ARENA

An argument for a hybrid HTN/operator-based approach to planning,ions either may be most appropriate. To support this view, we describe a number of advantages and disadvantages of these approaches in light of our experiences in developing two real-world, fielded planning systems.

Celiac-Plexus

热情的我

Planning via model checking: A decision procedure for AR,s based on “symbolic model checking”, a technique which has been successfully applied in hardware and software verification. The decision procedure always terminates with an optimal solution or with failure if no solution exists. We have constructed a planner, called MBP, which implements the decision procedure.

天文台

Planning with sensing for a mobile robot,ons. We address the generation of conditional plans by defining a suitable reasoning method in which a plan is extracted from a constructive proof of a query expressing a given goal. We also present an implementation of such a logical framework, which has been tested on the mobile robot “Tino”.

Overstate

0302-9743 rrent artificial intelligence planning, from theoretical and foundational matters to actual planning of systems and applications in a variety of areas.978-3-540-63912-1978-3-540-69665-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

牲畜栏

Context dependent effects in temporal planning,tion should be specified unconditionally in its model and which can be stated conditionally with respect to the context. Indeed, most actions do have several different effects depending on the context in which they are executed..In this paper, we propose an approach and different extensions in order

平息

Information gathering plans with sensing actions,e in their performance is efficient query planning that minimizes the number of information sources used to answer a query. Previous work on query planning has considered generating information gathering plans solely based on compile-time analysis of the query and the models of the information sourc

完全

牢骚