We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is self-contained, in the sense that flight rules are verified using a planner and no external tools are required. We review and analyse coverage conditions for requirements-based testing, and we reason i...

We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is selfcontained, in the sense that flight rules are verified using a planner and no external tools are required. We review and analyse coverage conditions for requirements-based testing, and we reason in...

This paper deals with planning domains that appear in computer games, especially when modeling intelligent virtual agents. Some of these domains contain only actions with no negative effects and are thus treated as easy from the planning perspective. We propose two new techniques to solve the problems in these planning domains, a heuristic search algorithm ANA* and a constraint based planner Re...

Symbolic universal planning based on the reduced Ordered Binary Decision Diagram (OBDD) has been shown to be an efficient approach for planning in non-deterministic domains. To date, however, no guided algorithms exist for synthesizing universal plans. In this paper, we introduce a general approach for guiding universal planning based on an existing method for heuristic symbolic search in deter...

BACKGROUND A healthy diet, low in saturated fat and high in fiber, is a popular medical recommendation in preventing cardiovascular disease (CVD). One approach to motivating healthier eating is to raise individuals' awareness of their CVD risk and then help them form specific plans to change. OBJECTIVES The aim was to explore the combined impact of a Web-based CVD risk message and a fully aut...

Purpose — The purpose of this paper is to analyse the prerequisites and effects of centralised supply chain planning at IKEA, and to explore how the planning process, planning system, and planning organization make up a centralised planning approach. Design/method/approach — The paper is based on a longitudinal case study of IKEA's implementation of global supply chain planning. The literature ...

in order to understand what educational planning means, it is necessary to understand what is meant by planning and what a plan is. it is from this level that we will go into the explanation of educational planning in urban planning and architecture. the finding of research shows fundamental discourse that has been surveyed in this paper. character of educational planning in urban studies concl...

We introduce the notion of kinematic controllability for second-order underactuated mechanical systems. For systems satisfying this property, the problem of planning fast collision-free trajectories between zero velocity states can be decoupled into the computationally simpler problems of path planning for a kinematic system followed by timeoptimal time scaling. While this approach is well know...

Planning systems are typically told what goals to pursue and cannot modify them. Some methods (e.g., for contingency planning, dynamic replanning) can respond to execution failures, but usually ignore opportunities and do not reason about the goals themselves. Goal-Driven Autonomy (GDA) relaxes some common assumptions of classical planning (e.g., static environments, fixed goals, no unpredictab...

Goals, as typically conceived in AI planning, provide an insuucient basis for choice of action, and hence are deecient as the sole expression of an agent's objectives. Decision-theoretic utilities ooer a more adequate basis , yet lack many of the computational advantages of goals. We provide a preferential semantics for goals that grounds them in decision theory and preserves the validity of so...