279 research outputs found
Translation-based approaches for solving disjunctive temporal problems with preferences
Disjunctive Temporal Problems (DTPs) with Preferences (DTPPs) extend DTPs with piece-wise constant preference functions associated to each constraint of the form l 64 x 12 y 64 u, where x, y are (real or integer) variables, and l, u are numeric constants. The goal is to find an assignment to the variables of the problem that maximizes the sum of the preference values of satisfied DTP constraints, where such values are obtained by aggregating the preference functions of the satisfied constraints in it under a \u201cmax\u201d semantic. The state-of-the-art approach in the field, implemented in the native DTPP solver Maxilitis, extends the approach of the native DTP solver Epilitis. In this paper we present alternative approaches that translate DTPPs
to Maximum Satisfiability of a set of Boolean combination of constraints of the form l ./ x 12 y ./ u, ./ 08 {<, 64}, that extend previous work dealing with constant preference functions only. We prove correctness and completeness of the approaches. Results obtained with the Satisfiability Modulo Theories (SMT) solvers Yices and MathSAT on randomly generated DTPPs and DTPPs built from real-world benchmarks, show that one of our translation is competitive to, and can be faster than, Maxilitis
Recommended from our members
Working notes of the 1991 spring symposium on constraint-based reasoning
On the Minimal Revision Problem of Specification Automata
As robots are being integrated into our daily lives, it becomes necessary to
provide guarantees on the safe and provably correct operation. Such guarantees
can be provided using automata theoretic task and mission planning where the
requirements are expressed as temporal logic specifications. However, in
real-life scenarios, it is to be expected that not all user task requirements
can be realized by the robot. In such cases, the robot must provide feedback to
the user on why it cannot accomplish a given task. Moreover, the robot should
indicate what tasks it can accomplish which are as "close" as possible to the
initial user intent. This paper establishes that the latter problem, which is
referred to as the minimal specification revision problem, is NP complete. A
heuristic algorithm is presented that can compute good approximations to the
Minimal Revision Problem (MRP) in polynomial time. The experimental study of
the algorithm demonstrates that in most problem instances the heuristic
algorithm actually returns the optimal solution. Finally, some cases where the
algorithm does not return the optimal solution are presented.Comment: 23 pages, 16 figures, 2 tables, International Joural of Robotics
Research 2014 Major Revision (submitted
Reasoning and querying bounds on differences with layered preferences
Artificial intelligence largely relies on bounds on differences (BoDs) to model binary constraints regarding different dimensions, such as time, space, costs, and
calories. Recently, some approaches have extended the
BoDs framework in a fuzzy, \u201cnoncrisp\u201d direction,
considering probabilities or preferences. While previous
approaches have mainly aimed at providing an
optimal solution to the set of constraints, we propose
an innovative class of approaches in which constraint
propagation algorithms aim at identifying the \u201cspace of
solutions\u201d (i.e., the minimal network) with their preferences,
and query answering mechanisms are provided
to explore the space of solutions as required, for
example, in decision support tasks. Aiming at generality,
we propose a class of approaches parametrized
over user\u2010defined scales of qualitative preferences (e.g.,
Low, Medium, High, and Very High), utilizing the resume
and extension operations to combine preferences,
and considering different formalisms to associate preferences
with BoDs. We consider both \u201cgeneral\u201d preferences
and a form of layered preferences that we call
\u201cpyramid\u201d preferences. The properties of the class of
approaches are also analyzed. In particular, we show
that, when the resume and extension operations are
defined such that they constitute a closed semiring, a
more efficient constraint propagation algorithm can be used. Finally, we provide a preliminary implementation
of the constraint propagation algorithms
Optimising Flexibility of Temporal Problems with Uncertainty
Temporal networks have been applied in many autonomous systems.
In real situations, we cannot ignore the uncertain factors when
using those autonomous systems. Achieving robust schedules and
temporal plans by optimising flexibility to tackle the
uncertainty is the motivation of the thesis.
This thesis focuses on the optimisation problems of temporal
networks with uncertainty and controllable options in the field
of Artificial Intelligence Planning and Scheduling. The goal of
this thesis is to construct flexibility and robustness metrics
for temporal networks under the constraints of different levels
of controllability. Furthermore, optimising flexibility for
temporal plans and schedules to achieve robust solutions with
flexible executions.
When solving temporal problems with uncertainty, postponing
decisions according to the observations of uncertain events
enables flexible strategies as the solutions instead of fixed
schedules or plans. Among the three levels of controllability of
the Simple Temporal Problem with Uncertainty (STPU), a problem is
dynamically controllable if there is a successful dynamic
strategy such that every decision in it is made according to the
observations of past events.
In the thesis, we make the following contributions. (1) We
introduce an optimisation model for STPU based on the existing
dynamic controllability checking algorithms. Some flexibility and
robustness measures are introduced based on the model. (2) We
extend the definition and verification algorithm of dynamic
controllability to temporal problems with controllable discrete
variables and uncertainty, which is called Controllable
Conditional Temporal Problems with Uncertainty (CCTPU). An
entirely dynamically controllable strategy of CCTPU consists of
both temporal scheduling and variable assignments being
dynamically decided, which maximize the flexibility of the
execution. (3) We introduce optimisation models of CCTPU under
fully dynamic controllability. The optimisation models aim to
answer the questions how flexible, robust or controllable a
schedule or temporal plan is. The experiments show that making
decisions dynamically can achieve better objective values than
doing statically.
The thesis also contributes to the field of AI planning and
scheduling by introducing robustness metrics of temporal
networks, proposing an envelope-based algorithm that can check
dynamic controllability of temporal networks with uncertainty and
controllable discrete decisions, evaluating improvements from
making decisions strongly controllable to temporally dynamically
controllable and fully dynamically controllable and comparing the
runtime of different implementations to present the scalability
of dynamically controllable strategies
Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
AbstractIn this paper we study a reactive extension of constraint logic programming (CLP). Our primary concerns are search problems in a dynamic environment, where interactions with the user (e.g. in interactive multi-criteria optimization problems) or interactions with the physical world (e.g. in time evolving problems) can be modeled and solved efficiently. Our approach is based on a complete set of query manipulation commands for both the addition and the deletion of constraints and atoms in the query. We define a fully incremental model of execution which, contrary to other proposals, retains as much information as possible from the last derivation preceding a query manipulation command. The completeness of the execution model is proved in a simple framework of transformations for CSLD derivations, and of constraint propagation seen as chaotic iteration of closure operators. A prototype implementation of this execution model is described and evaluated on two applications
- …