scholarly journals Declarative encodings of acyclicity properties

2015 ◽  
Vol 30 (4) ◽  
pp. 923-952
Author(s):  
Martin Gebser ◽  
Tomi Janhunen ◽  
Jussi Rintanen
Keyword(s):  
Linear Programming ◽  
Knowledge Representation ◽  
Structural Properties ◽  
Propositional Logic ◽  
Answer Set Programming ◽  
Tree Structures ◽  
Computational Performance ◽  
Primary Representation ◽  
Representation Language ◽  
Answer Set

Abstract Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this article, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic and linear programming. We study the compactness of encodings and the resulting computational performance on benchmarks involving acyclic or tree structures.

scholarly journals The Seventh Answer Set Programming Competition: Design and Results

2019 ◽  
Vol 20 (2) ◽  
pp. 176-204 ◽  
Author(s):  
MARTIN GEBSER ◽  
MARCO MARATEA ◽  
FRANCESCO RICCA
Keyword(s):  
Knowledge Representation ◽  
Logic Programming ◽  
State Of The Art ◽  
Answer Set Programming ◽  
The State ◽  
International Conference ◽  
Knowledge Representation Language ◽  
Representation Language ◽  
The University ◽  
Answer Set

AbstractAnswer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).

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 An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic

2019 ◽  
Author(s):  
Camillo Fiorentini
Keyword(s):  
Propositional Logic ◽  
Answer Set Programming ◽  
Kripke Model ◽  
Kripke Semantics ◽  
Minimal Models ◽  
Intuitionistic Propositional Logic ◽  
Answer Set

Intuitionistic Propositional Logic is complete w.r.t. Kripke semantics: if a formula is not intuitionistically valid, then there exists a finite Kripke model falsifying it. The problem of obtaining concise models has been scarcely investigated in the literature. We present a procedure to generate minimal models in the number of worlds relying on Answer Set Programming (ASP).

A Roadmap on Updates

2009 ◽  
pp. 2261-2267
Author(s):  
Fernando Zacarías Flores ◽  
Dionicio Zacarías Flores ◽  
Rosalba Cuapa Canto ◽  
Luis Miguel Guzmán Muñoz
Keyword(s):  
Standard Model ◽  
Logic Programming ◽  
Structural Properties ◽  
Relational Databases ◽  
Logic Program ◽  
Answer Set Programming ◽  
Central Issue ◽  
The Standard Model ◽  
Answer Set

Updates, is a central issue in relational databases and knowledge databases. In the last years, it has been well studied in the non-monotonic reasoning paradigm. Several semantics for logic program updates have been proposed (Brewka, Dix, & Knonolige 1997), (De Schreye, Hermenegildo, & Pereira, 1999) (Katsumo & Mendelzon, 1991). However, recently a set of proposals has been characterized to propose mechanisms of updates based on logic and logic programming. All these mechanisms are built on semantics based on structural properties (Eiter, Fink, Sabattini & Thompits, 2000) (Leite, 2002) (Banti, Alferes & Brogi, 2003) (Zacarias, 2005). Furthermore, all these semantic ones coincide in considering the AGM proposal as the standard model in the update theory, for their wealth in properties. The AGM approach, introduced in (Alchourron, Gardenfors & Makinson, 1985) is the dominating paradigm in the area, but in the context of monotonic logic. All these proposals analyze and reinterpret the AGM postulates under the Answer Set Programming (ASP) such as (Eiter, Fink, Sabattini & Thompits, 2000). However, the majority of the adapted AGM and update postulates are violated by update programs, as shown in(De Schreye, Hermenegildo, & Pereira, 1999).

scholarly journals Answer Set Programming: An Introduction to the Special Issue

AI Magazine ◽  
2016 ◽  
Vol 37 (3) ◽  
pp. 5-6 ◽  
Author(s):  
Gerhard Brewka ◽  
Thomas Eiter ◽  
Miroslaw Truszczynski
Keyword(s):  
Knowledge Representation ◽  
Answer Set Programming ◽  
Research Area ◽  
Declarative Programming ◽  
Special Issue ◽  
Answer Set

This editorial introduces answer set programming, a vibrant research area in computational knowledge representation and declarative programming. We give a brief overview of the articles that form this special issue on answer set programming and of the main topics they discuss.

scholarly journals Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More

2020 ◽  
Vol 20 (5) ◽  
pp. 609-624
Author(s):  
ANTONIUS WEINZIERL ◽  
RICHARD TAUPE ◽  
GERHARD FRIEDRICH
Keyword(s):  
Knowledge Representation ◽  
State Of The Art ◽  
Answer Set Programming ◽  
Negative Effects ◽  
First Time ◽  
Domain Independent ◽  
Large Improvement ◽  
Answer Set ◽  
Art Techniques

AbstractAnswer-Set Programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic-based AI. The traditional ground-and-solve approach, however, requires ASP programs to be grounded upfront and thus suffers from the so-called grounding bottleneck (i.e., ASP programs easily exhaust all available memory and thus become unsolvable). As a remedy, lazy-grounding ASP solvers have been developed, but many state-of-the-art techniques for grounded ASP solving have not been available to them yet. In this work we present, for the first time, adaptions to the lazy-grounding setting for many important techniques, like restarts, phase saving, domain-independent heuristics, and learned-clause deletion. Furthermore, we investigate their effects and in general observe a large improvement in solving capabilities and also uncover negative effects in certain cases, indicating the need for portfolio solving as known from other solvers.

scholarly journals Thedlvhexsystem for knowledge representation: recent advances (system description)

2016 ◽  
Vol 16 (5-6) ◽  
pp. 866-883 ◽  
Author(s):  
CHRISTOPH REDL
Keyword(s):  
Knowledge Representation ◽  
Real World ◽  
Answer Set Programming ◽  
Current Status ◽  
System Description ◽  
Recent Advances ◽  
Real World Applications ◽  
External Sources ◽  
Answer Set

AbstractThedlvhexsystem implements thehex-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most importantly, the exploitation of properties of external sources led to efficiency improvements and flexibility enhancements of the language, and technical improvements on the system side increased user's convenience. In this paper, we present the current status of the system and point out the most important recent enhancements over early versions. While existing literature focuses on theoretical aspects and specific components, a bird's eye view of the overall system is missing. In order to promote the system for real-world applications, we further present applications which were already successfully realized on top ofdlvhex.

scholarly journals Here and There with Arithmetic

2021 ◽  
pp. 1-15
Author(s):  
VLADIMIR LIFSCHITZ
Keyword(s):  
Programming Language ◽  
Propositional Logic ◽  
Answer Set Programming ◽  
The Other ◽  
Arithmetic Operations ◽  
First Order ◽  
The Relationship ◽  
Answer Set

Abstarct In the theory of answer set programming, two groups of rules are called strongly equivalent if, informally speaking, they have the same meaning in any context. The relationship between strong equivalence and the propositional logic of here-and-there allows us to establish strong equivalence by deriving rules of each group from rules of the other. In the process, rules are rewritten as propositional formulas. We extend this method of proving strong equivalence to an answer set programming language that includes operations on integers. The formula representing a rule in this language is a first-order formula that may contain comparison symbols among its predicate constants, and symbols for arithmetic operations among its function constants. The paper is under consideration for acceptance in TPLP.

scholarly journals Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

2019 ◽  
Vol 33 ◽  
pp. 2694-2702
Author(s):  
Jori Bomanson ◽  
Tomi Janhunen ◽  
Antonius Weinzierl
Keyword(s):  
Asymptotic Behavior ◽  
Knowledge Representation ◽  
Answer Set Programming ◽  
Expressive Power ◽  
Rule Based ◽  
On Demand ◽  
Space And Time ◽  
Different Types ◽  
Representation Formalism ◽  
Answer Set

Answer-Set Programming (ASP) is an expressive rule-based knowledge-representation formalism. Lazy grounding is a solving technique that avoids the well-known grounding bottleneck of traditional ASP evaluation but is restricted to normal rules, severely limiting its expressive power. In this work, we introduce a framework to handle aggregates by normalizing them on demand during lazy grounding, hence relieving the restrictions of lazy grounding significantly. We term our approach as lazy normalization and demonstrate its feasibility for different types of aggregates. Asymptotic behavior is analyzed and correctness of the presented lazy normalizations is shown. Benchmark results indicate that lazy normalization can bring up-to exponential gains in space and time as well as enable ASP to be used in new application areas.

Sign in / Sign up

Export Citation Format

Share Document