86,885 research outputs found
On Different Strategies for Eliminating Redundant Actions from Plans
Satisficing planning engines are often able to generate plans in a reasonable time, however, plans are often far from optimal. Such plans often contain a high number of redundant actions, that are actions, which can be removed without affecting the validity of the plans. Existing approaches for determining and eliminating redundant actions work in polynomial time, however, do not guarantee eliminating the "best" set of redundant actions, since such a problem is NP-complete. We introduce an approach which encodes the problem of determining the "best" set of redundant actions (i.e. having the maximum total-cost) as a weighted MaxSAT problem. Moreover, we adapt the existing polynomial technique which greedily tries to eliminate an action and its dependants from the plan in order to eliminate more expensive redundant actions. The proposed approaches are empirically compared to existing approaches on plans generated by state-of-the-art planning engines on standard planning benchmark
Graph Planning with Expected Finite Horizon
Graph planning gives rise to fundamental algorithmic questions such as
shortest path, traveling salesman problem, etc. A classical problem in discrete
planning is to consider a weighted graph and construct a path that maximizes
the sum of weights for a given time horizon . However, in many scenarios,
the time horizon is not fixed, but the stopping time is chosen according to
some distribution such that the expected stopping time is . If the stopping
time distribution is not known, then to ensure robustness, the distribution is
chosen by an adversary, to represent the worst-case scenario.
A stationary plan for every vertex always chooses the same outgoing edge. For
fixed horizon or fixed stopping-time distribution, stationary plans are not
sufficient for optimality. Quite surprisingly we show that when an adversary
chooses the stopping-time distribution with expected stopping time , then
stationary plans are sufficient. While computing optimal stationary plans for
fixed horizon is NP-complete, we show that computing optimal stationary plans
under adversarial stopping-time distribution can be achieved in polynomial
time. Consequently, our polynomial-time algorithm for adversarial stopping time
also computes an optimal plan among all possible plans
Point trajectory planning of flexible redundant robot manipulators using genetic algorithms
The paper focuses on the problem of point-to-point trajectory planning for flexible redundant robot manipulators (FRM) in joint space. Compared with irredundant flexible manipulators, a FRM possesses additional possibilities during point-to-point trajectory planning due to its kinematics redundancy. A trajectory planning method to minimize vibration and/or executing time of a point-to-point motion is presented for FRMs based on Genetic Algorithms (GAs). Kinematics redundancy is integrated into the presented method as planning variables. Quadrinomial and quintic polynomial are used to describe the segments that connect the initial, intermediate, and final points in joint space. The trajectory planning of FRM is formulated as a problem of optimization with constraints. A planar FRM with three flexible links is used in simulation. Case studies show that the method is applicable
Family-Personalized Dietary Planning with Temporal Dynamics
Poor diet and nutrition in the United States has immense financial and health
costs, and development of new tools for diet planning could help families
better balance their financial and temporal constraints with the quality of
their diet and meals. This paper formulates a novel model for dietary planning
that incorporates two types of temporal constraints (i.e., dynamics on the
perishability of raw ingredients over time, and constraints on the time
required to prepare meals) by explicitly incorporating the relationship between
raw ingredients and selected food recipes. Our formulation is a diet planning
model with integer-valued decision variables, and so we study the problem of
designing approximation algorithms (i.e, algorithms with polynomial-time
computation and guarantees on the quality of the computed solution) for our
dietary model. We develop a deterministic approximation algorithm that is based
on a deterministic variant of randomized rounding, and then evaluate our
deterministic approximation algorithm with numerical experiments of dietary
planning using a database of about 2000 food recipes and 150 raw ingredients
- …