scholarly journals Learning weak constraints in answer set programming

2015 ◽  
Vol 15 (4-5) ◽  
pp. 511-525 ◽  
Author(s):  
MARK LAW ◽  
ALESSANDRA RUSSO ◽  
KRYSIA BRODA
Keyword(s):  
Inductive Logic ◽  
Answer Set Programming ◽  
Learning Task ◽  
Learning Preferences ◽  
Learning Framework ◽  
Hypothesis Space ◽  
New Learning ◽  
Weak Constraints ◽  
Answer Sets ◽  
Answer Set

AbstractThis paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP). The framework, calledLearning from Ordered Answer Sets, generalises our previous work on learning ASP programs without weak constraints, by considering a new notion of examples asorderedpairs of partial answer sets that exemplify which answer sets of a learned hypothesis (together with a given background knowledge) arepreferredto others. In this new learning task inductive solutions are searched within a hypothesis space of normal rules, choice rules, and hard and weak constraints. We propose a new algorithm, ILASP2, which is sound and complete with respect to our new learning framework. We investigate its applicability to learning preferences in an interview scheduling problem and also demonstrate that when restricted to the task of learning ASP programs without weak constraints, ILASP2 can be much more efficient than our previously proposed system.

scholarly journals Iterative Learning of Answer Set Programs from Context Dependent Examples

2016 ◽  
Vol 16 (5-6) ◽  
pp. 834-848 ◽  
Author(s):  
MARK LAW ◽  
ALESSANDRA RUSSO ◽  
KRYSIA BRODA
Keyword(s):  
Scale Up ◽  
Inductive Logic ◽  
Answer Set Programming ◽  
Background Knowledge ◽  
Learning Tasks ◽  
Large Numbers ◽  
Average Accuracy ◽  
Context Dependent ◽  
Answer Sets ◽  
Answer Set

AbstractIn recent years, several frameworks and systems have been proposed that extend Inductive Logic Programming (ILP) to the Answer Set Programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis together with a given background knowledge. In existing systems, the background knowledge is the same for all examples; however, examples may be context-dependent. This means that some examples should be explained in the context of some information, whereas others should be explained in different contexts. In this paper, we capture this notion and present a context-dependent extension of the Learning from Ordered Answer Sets framework. In this extension, contexts can be used to further structure the background knowledge. We then propose a new iterative algorithm, ILASP2i, which exploits this feature to scale up the existing ILASP2 system to learning tasks with large numbers of examples. We demonstrate the gain in scalability by applying both algorithms to various learning tasks. Our results show that, compared to ILASP2, the newly proposed ILASP2i system can be two orders of magnitude faster and use two orders of magnitude less memory, whilst preserving the same average accuracy.

scholarly journals Grounding and Solving in Answer Set Programming

AI Magazine ◽  
2016 ◽  
Vol 37 (3) ◽  
pp. 25-32 ◽  
Author(s):  
Benjamin Kaufmann ◽  
Nicola Leone ◽  
Simona Perri ◽  
Torsten Schaub
Keyword(s):  
Problem Solving ◽  
Propositional Logic ◽  
Logic Program ◽  
Answer Set Programming ◽  
Key Issues ◽  
Answer Sets ◽  
Answer Set

Answer set programming is a declarative problem solving paradigm that rests upon a workflow involving modeling, grounding, and solving. While the former is described by Gebser and Schaub (2016), we focus here on key issues in grounding, or how to systematically replace object variables by ground terms in a effective way, and solving, or how to compute the answer sets of a propositional logic program obtained by grounding.

scholarly journals Meta-Interpretive Learning Using HEX-Programs

2019 ◽  
Author(s):  
Tobias Kaminski ◽  
Thomas Eiter ◽  
Katsumi Inoue
Keyword(s):  
Logic Programming ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Answer Set Programming ◽  
Search Space ◽  
Recent Approach ◽  
Performance Gains ◽  
Pruning Techniques ◽  
Answer Set

Meta-Interpretive Learning (MIL) is a recent approach for Inductive Logic Programming (ILP) implemented in Prolog. Alternatively, MIL-problems can be solved by using Answer Set Programming (ASP), which may result in performance gains due to efficient conflict propagation. However, a straightforward MIL-encoding results in a huge size of the ground program and search space. To address these challenges, we encode MIL in the HEX-extension of ASP, which mitigates grounding issues, and we develop novel pruning techniques.

scholarly journals onlineSPARC: A Programming Environment for Answer Set Programming

2018 ◽  
Vol 19 (2) ◽  
pp. 262-289 ◽  
Author(s):  
ELIAS MARCOPOULOS ◽  
YUANLIN ZHANG
Keyword(s):  
High School Students ◽  
Logic Programming ◽  
Answer Set Programming ◽  
Programming Environment ◽  
Logic Programs ◽  
School Students ◽  
Major Barrier ◽  
Simple Interface ◽  
Answer Sets ◽  
Answer Set

AbstractRecent progress in logic programming (e.g. the development of the answer set programming (ASP) paradigm) has made it possible to teach it to general undergraduate and even middle/high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing, and using tools for writing logic programs could be a major barrier for logic programming to reach a much wider audience. We developed onlineSPARC, an online ASP environment with a self-contained file system and a simple interface. It allows users to type/edit logic programs and perform several tasks over programs, including asking a query to a program, getting the answer sets of a program, and producing a drawing/animation based on the answer sets of a program.

scholarly journals Logical reduction of metarules

2019 ◽  
Vol 109 (7) ◽  
pp. 1323-1369
Author(s):  
Andrew Cropper ◽  
Sophie Tourret
Keyword(s):  
Logic Programming ◽  
Open Problem ◽  
Inductive Logic Programming ◽  
Inductive Logic ◽  
Learning Task ◽  
Reduction Technique ◽  
Trade Off ◽  
Hypothesis Space ◽  
General Derivation ◽  
Sld Resolution

AbstractMany forms of inductive logic programming (ILP) use metarules, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Deciding which metarules to use for a given learning task is a major open problem and is a trade-off between efficiency and expressivity: the hypothesis space grows given more metarules, so we wish to use fewer metarules, but if we use too few metarules then we lose expressivity. In this paper, we study whether fragments of metarules can be logically reduced to minimal finite subsets. We consider two traditional forms of logical reduction: subsumption and entailment. We also consider a new reduction technique called derivation reduction, which is based on SLD-resolution. We compute reduced sets of metarules for fragments relevant to ILP and theoretically show whether these reduced sets are reductions for more general infinite fragments. We experimentally compare learning with reduced sets of metarules on three domains: Michalski trains, string transformations, and game rules. In general, derivation reduced sets of metarules outperform subsumption and entailment reduced sets, both in terms of predictive accuracies and learning times.

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

2013 ◽  
Vol 13 (4-5) ◽  
pp. 657-673 ◽  
Author(s):  
PAULA-ANDRA BUSONIU ◽  
JOHANNES OETSCH ◽  
JÖRG PÜHRER ◽  
PETER SKOČOVSKÝ ◽  
HANS TOMPITS
Keyword(s):  
Source Code ◽  
Answer Set Programming ◽  
Model Driven Engineering ◽  
Development Environment ◽  
Integrated Development ◽  
Model Driven ◽  
Class Diagrams ◽  
The Rich ◽  
Answer Sets ◽  
Answer Set

AbstractIn this paper, we present SeaLion, an integrated development environment (IDE) for answer-set programming (ASP).SeaLionprovides source-code editors for the languages ofGringoandDLVand offers popular amenities like syntax highlighting, syntax checking, code completion, visual program outline, and refactoring functionality. The tool has been realised in the context of a research project whose goal is the development of techniques to support the practical coding process of answer-set programs. In this respect,SeaLionis the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers. Indeed,SeaLionimplements a stepping-based debugging approach that allows the developer to quickly track down programming errors by simply following his or her intuitions on the intended semantics. Besides that,SeaLionsupports ASP development using model-driven engineering techniques including domain modelling with extended UML class diagrams and visualisation of answer sets in corresponding instance diagrams. Moreover, customised visualisation as well as visual editing of answer sets is realised by the Kara plugin ofSeaLion. Further implemented features are a documentation generator based on the Lana annotation language, support for external solvers, and interoperability with external tools.SeaLioncomes as a plugin of the popular Eclipse platform and provides interfaces for future extensions of the IDE.

scholarly journals Complex optimization in answer set programming

2011 ◽  
Vol 11 (4-5) ◽  
pp. 821-839 ◽  
Author(s):  
MARTIN GEBSER ◽  
ROLAND KAMINSKI ◽  
TORSTEN SCHAUB
Keyword(s):  
Computational Complexity ◽  
Answer Set Programming ◽  
Pareto Efficiency ◽  
Modeling Techniques ◽  
Complex Optimization ◽  
Answer Sets ◽  
Implementation Technique ◽  
Preference Handling ◽  
Answer Set ◽  
Qualitative Preferences

AbstractPreference handling and optimization are indispensable means for addressing nontrivial applications in Answer Set Programming (ASP). However, their implementation becomes difficult whenever they bring about a significant increase in computational complexity. As a consequence, existing ASP systems do not offer complex optimization capacities, supporting, for instance, inclusion-based minimization or Pareto efficiency. Rather, such complex criteria are typically addressed by resorting to dedicated modeling techniques, likesaturation. Unlike the ease of common ASP modeling, however, these techniques are rather involved and hardly usable by ASP laymen. We address this problem by developing a general implementation technique by means of meta-prpogramming, thus reusing existing ASP systems to capture various forms of qualitative preferences among answer sets. In this way, complex preferences and optimization capacities become readily available for ASP applications.

scholarly journals Graphs and colorings for answer set programming

2006 ◽  
Vol 6 (1-2) ◽  
pp. 61-106 ◽  
Author(s):  
KATHRIN KONCZAK ◽  
THOMAS LINKE ◽  
TORSTEN SCHAUB
Keyword(s):  
Proof Theory ◽  
Answer Set Programming ◽  
Logic Programs ◽  
Algorithmic Approach ◽  
Dependency Graphs ◽  
Basic Strategy ◽  
Content System ◽  
Formal Properties ◽  
Answer Sets ◽  
Answer Set

We investigate the usage of rule dependency graphs and their colorings for characterizing and computing answer sets of logic programs. This approach provides us with insights into the interplay between rules when inducing answer sets. We start with different characterizations of answer sets in terms of totally colored dependency graphs that differ in graph-theoretical aspects. We then develop a series of operational characterizations of answer sets in terms of operators on partial colorings. In analogy to the notion of a derivation in proof theory, our operational characterizations are expressed as (non-deterministically formed) sequences of colorings, turning an uncolored graph into a totally colored one. In this way, we obtain an operational framework in which different combinations of operators result in different formal properties. Among others, we identify the basic strategy employed by the noMoRe system and justify its algorithmic approach. Furthermore, we distinguish operations corresponding to Fitting's operator as well as to well-founded semantics.

scholarly journals Optimizing Answer Set Computation via Heuristic-Based Decomposition

2019 ◽  
Vol 19 (04) ◽  
pp. 603-628 ◽  
Author(s):  
FRANCESCO CALIMERI ◽  
SIMONA PERRI ◽  
JESSICA ZANGARI
Keyword(s):  
Logic Programming ◽  
Logic Program ◽  
Answer Set Programming ◽  
Decomposition Techniques ◽  
Logic Programs ◽  
Experimental Activity ◽  
Performance Of Systems ◽  
Answer Sets ◽  
The Impact ◽  
Answer Set

AbstractAnswer Set Programming (ASP) is a purely declarative formalism developed in the field of logic programming and non-monotonic reasoning: computational problems are encoded by logic programs whose answer sets, corresponding to solutions, are computed by an ASP system. Different, semantically equivalent, programs can be defined for the same problem; however, performance of systems evaluating them might significantly vary. We propose an approach for automatically transforming an input logic program into an equivalent one that can be evaluated more efficiently. One can make use of existing tree-decomposition techniques for rewriting selected rules into a set of multiple ones; the idea is to guide and adaptively apply them on the basis of proper new heuristics, to obtain a smart rewriting algorithm to be integrated into an ASP system. The method is rather general: it can be adapted to any system and implement different preference policies. Furthermore, we define a set of new heuristics tailored at optimizing grounding, one of the main phases of the ASP computation; we use them in order to implement the approach into the ASP systemDLV, in particular into its grounding subsystemℐ-DLV, and carry out an extensive experimental activity for assessing the impact of the proposal.

Sign in / Sign up

Export Citation Format

Share Document