21,049 research outputs found
Structure and Complexity in Planning with Unary Operators
Unary operator domains -- i.e., domains in which operators have a single
effect -- arise naturally in many control problems. In its most general form,
the problem of STRIPS planning in unary operator domains is known to be as hard
as the general STRIPS planning problem -- both are PSPACE-complete. However,
unary operator domains induce a natural structure, called the domain's causal
graph. This graph relates between the preconditions and effect of each domain
operator. Causal graphs were exploited by Williams and Nayak in order to
analyze plan generation for one of the controllers in NASA's Deep-Space One
spacecraft. There, they utilized the fact that when this graph is acyclic, a
serialization ordering over any subgoal can be obtained quickly. In this paper
we conduct a comprehensive study of the relationship between the structure of a
domain's causal graph and the complexity of planning in this domain. On the
positive side, we show that a non-trivial polynomial time plan generation
algorithm exists for domains whose causal graph induces a polytree with a
constant bound on its node indegree. On the negative side, we show that even
plan existence is hard when the graph is a directed-path singly connected DAG.
More generally, we show that the number of paths in the causal graph is closely
related to the complexity of planning in the associated domain. Finally we
relate our results to the question of complexity of planning with serializable
subgoals
Multi-Task Semantic Dependency Parsing with Policy Gradient for Learning Easy-First Strategies
In Semantic Dependency Parsing (SDP), semantic relations form directed
acyclic graphs, rather than trees. We propose a new iterative predicate
selection (IPS) algorithm for SDP. Our IPS algorithm combines the graph-based
and transition-based parsing approaches in order to handle multiple semantic
head words. We train the IPS model using a combination of multi-task learning
and task-specific policy gradient training. Trained this way, IPS achieves a
new state of the art on the SemEval 2015 Task 18 datasets. Furthermore, we
observe that policy gradient training learns an easy-first strategy.Comment: ACL2019 Long accepted. 9 pages for the paper and the additional 2
pages for the supplemental materia
Exact Localisations of Feedback Sets
The feedback arc (vertex) set problem, shortened FASP (FVSP), is to transform
a given multi digraph into an acyclic graph by deleting as few arcs
(vertices) as possible. Due to the results of Richard M. Karp in 1972 it is one
of the classic NP-complete problems. An important contribution of this paper is
that the subgraphs , of all elementary
cycles or simple cycles running through some arc , can be computed in
and , respectively. We use
this fact and introduce the notion of the essential minor and isolated cycles,
which yield a priori problem size reductions and in the special case of so
called resolvable graphs an exact solution in . We show
that weighted versions of the FASP and FVSP possess a Bellman decomposition,
which yields exact solutions using a dynamic programming technique in times
and
, where , , respectively. The parameters can
be computed in , ,
respectively and denote the maximal dimension of the cycle space of all
appearing meta graphs, decoding the intersection behavior of the cycles.
Consequently, equal zero if all meta graphs are trees. Moreover, we
deliver several heuristics and discuss how to control their variation from the
optimum. Summarizing, the presented results allow us to suggest a strategy for
an implementation of a fast and accurate FASP/FVSP-SOLVER
- …