36,074 research outputs found
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) is a temporal least
commitment heuristic search planner based on a flexible object-oriented
workbench architecture. Its design clearly separates explicit and symbolic
directed exploration algorithms from the set of on-line and off-line computed
estimates and associated data structures. MIPS has shown distinguished
performance in the last two international planning competitions. In the last
event the description language was extended from pure propositional planning to
include numerical state variables, action durations, and plan quality objective
functions. Plans were no longer sequences of actions but time-stamped
schedules. As a participant of the fully automated track of the competition,
MIPS has proven to be a general system; in each track and every benchmark
domain it efficiently computed plans of remarkable quality. This article
introduces and analyzes the most important algorithmic novelties that were
necessary to tackle the new layers of expressiveness in the benchmark problems
and to achieve a high level of performance. The extensions include critical
path analysis of sequentially generated plans to generate corresponding optimal
parallel plans. The linear time algorithm to compute the parallel plan bypasses
known NP hardness results for partial ordering by scheduling plans with respect
to the set of actions and the imposed precedence relations. The efficiency of
this algorithm also allows us to improve the exploration guidance: for each
encountered planning state the corresponding approximate sequential plan is
scheduled. One major strength of MIPS is its static analysis phase that grounds
and simplifies parameterized predicates, functions and operators, that infers
knowledge to minimize the state description length, and that detects domain
object symmetries. The latter aspect is analyzed in detail. MIPS has been
developed to serve as a complete and optimal state space planner, with
admissible estimates, exploration engines and branching cuts. In the
competition version, however, certain performance compromises had to be made,
including floating point arithmetic, weighted heuristic search exploration
according to an inadmissible estimate and parameterized optimization
Internal representations, external representations and ergonomics: towards a theoretical integration
An overview of decision table literature 1982-1995.
This report gives an overview of the literature on decision tables over the past 15 years. As much as possible, for each reference, an author supplied abstract, a number of keywords and a classification are provided. In some cases own comments are added. The purpose of these comments is to show where, how and why decision tables are used. The literature is classified according to application area, theoretical versus practical character, year of publication, country or origin (not necessarily country of publication) and the language of the document. After a description of the scope of the interview, classification results and the classification by topic are presented. The main body of the paper is the ordered list of publications with abstract, classification and comments.
Recommended from our members
Towards an alternative to Benner’s theory of expert intuition in nursing: A discussion paper
Several authors have highlighted the role of intuition in expertise. In particular, a large amount of data has been collected about intuition in expert nursing, and intuition plays an important role in the influential theory of nursing expertise developed by Benner (1984). We discuss this theory, and highlight both data that support it and data that challenge it. Based on this assessment, we propose a new theory of nursing expertise and intuition, which emphasizes how perception and conscious problem solving are intimately related. In the discussion, we propose that this theory opens new avenues of enquiry for research into nursing expertise
Real-Time Planning with Multi-Fidelity Models for Agile Flights in Unknown Environments
Autonomous navigation through unknown environments is a challenging task that
entails real-time localization, perception, planning, and control. UAVs with
this capability have begun to emerge in the literature with advances in
lightweight sensing and computing. Although the planning methodologies vary
from platform to platform, many algorithms adopt a hierarchical planning
architecture where a slow, low-fidelity global planner guides a fast,
high-fidelity local planner. However, in unknown environments, this approach
can lead to erratic or unstable behavior due to the interaction between the
global planner, whose solution is changing constantly, and the local planner; a
consequence of not capturing higher-order dynamics in the global plan. This
work proposes a planning framework in which multi-fidelity models are used to
reduce the discrepancy between the local and global planner. Our approach uses
high-, medium-, and low-fidelity models to compose a path that captures
higher-order dynamics while remaining computationally tractable. In addition,
we address the interaction between a fast planner and a slower mapper by
considering the sensor data not yet fused into the map during the collision
check. This novel mapping and planning framework for agile flights is validated
in simulation and hardware experiments, showing replanning times of 5-40 ms in
cluttered environments.Comment: ICRA 201
- …