Unmanned Aerial Vehicle (UAV) path planning is divided into off-line static path planning and real-time dynamic path planning. The former one is applied to the ideal situation that the terrain has been clear, and there is no unexpected situation in flight. Actually, however, the flight situation is very complex, we have to adopt real-time path planning based on off-line static path planning. To...

Proof planning is an alternative to classical theorem proving. Proof planning is classical planning with no goal interaction. It faces search problems because of long solutions and possibly innnite branching. It is also required to provide plans comprehensible for the user. This article introduces new planning strategies inspired by proof planning examples in order to tackle the search-space-pr...

This study examines the effects of age, cognitive resources, and task familiarity on planning performance. Fifty-two young and 52 old adults completed one of two errand-planning tasks. The tasks were matched for structure, difficulty, and format, but differed in content, such that one planning task required planning a real-world shopping tour whereas the other involved planning an unfamiliar sp...

An (m,m,m)-array of order n is an n×n array such that each cell is assigned a set of at most m symbols from {1, . . . , n} such that no symbol occurs more than m times in any row or column. An (m,m,m)-array is called avoidable if there exists a Latin square such that no cell in the Latin square contains a symbol that also belongs to the set assigned to the corresponding cell in the array. We sh...

Goals, as typically conceived in AI planning, provide an insufficient basis for choice of action, and hence are deficient as the sole expression of an agent’s objectives. Decision-theoretic utilities offer 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...

BACKGROUND Advance care planning is a voluntary process whereby individual preferences, values and beliefs are used to aid a person in planning for end-of-life care. Currently, there is no local instrument to assess an individual's awareness and attitude towards advance care planning. This study aimed to develop an Advance Care Planning Questionnaire and to determine its validity and reliabilit...

The initiative in STRIPS planning has recently been taken by work on propositional satisfiability. Best current planners, like Graphplan, and earlier planners originating in the partial-order or refinement planning community have proved in many cases to be inferior to general-purpose satisfiability algorithms in solving planning problems. However, no explanation of the success of programs like ...

Methods that interleave planning and execution are a practical solution to deal with complex planning problems in nondeterministic domains under partial observability. However, most of the existing approaches do not tackle in a principled way the important issue of termination of the planning-execution loop, or only do so considering specific assumptions over the domains. In this paper, we tack...

Deductive planning provides a rigorous approach for planning, such that the capabilities and limitations of the planning systems can be clearly deened. However, most of the deductive planners suuer from the frame problem and they are linear planners. This report presents a novel nonlinear deductive planning framework: constraint logic planning. Procedurally speaking, nonlinear planning is an ac...