9 research outputs found
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Answer Set Programming (ASP) is a well-established declarative paradigm. One
of the successes of ASP is the availability of efficient systems.
State-of-the-art systems are based on the ground+solve approach. In some
applications this approach is infeasible because the grounding of one or few
constraints is expensive. In this paper, we systematically compare alternative
strategies to avoid the instantiation of problematic constraints, that are
based on custom extensions of the solver. Results on real and synthetic
benchmarks highlight some strengths and weaknesses of the different strategies.
(Under consideration for acceptance in TPLP, ICLP 2017 Special Issue.)Comment: Paper presented at the 33nd International Conference on Logic
Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1,
2017. 16 page
A Machine Learning guided Rewriting Approach for ASP Logic Programs
Answer Set Programming (ASP) is a declarative logic formalism that allows to
encode computational problems via logic programs. Despite the declarative
nature of the formalism, some advanced expertise is required, in general, for
designing an ASP encoding that can be efficiently evaluated by an actual ASP
system. A common way for trying to reduce the burden of manually tweaking an
ASP program consists in automatically rewriting the input encoding according to
suitable techniques, for producing alternative, yet semantically equivalent,
ASP programs. However, rewriting does not always grant benefits in terms of
performance; hence, proper means are needed for predicting their effects with
this respect. In this paper we describe an approach based on Machine Learning
(ML) to automatically decide whether to rewrite. In particular, given an ASP
program and a set of input facts, our approach chooses whether and how to
rewrite input rules based on a set of features measuring their structural
properties and domain information. To this end, a Multilayer Perceptrons model
has then been trained to guide the ASP grounder I-DLV on rewriting input rules.
We report and discuss the results of an experimental evaluation over a
prototypical implementation.Comment: In Proceedings ICLP 2020, arXiv:2009.0915
Very Hard Electoral Control Problems
It is important to understand how the outcome of an election can be modified
by an agent with control over the structure of the election. Electoral control
has been studied for many election systems, but for all studied systems the
winner problem is in P, and so control is in NP. There are election systems,
such as Kemeny, that have many desirable properties, but whose winner problems
are not in NP. Thus for such systems control is not in NP, and in fact we show
that it is typically complete for (i.e., , the
second level of the polynomial hierarchy). This is a very high level of
complexity. Approaches that perform quite well for solving NP problems do not
necessarily work for -complete problems. However, answer set
programming is suited to express problems in , and we present an
encoding for Kemeny control.Comment: A version of this paper will appear in the Proceedings of AAAI-201