scholarly journals Propositional Satisfiability in Answer-Set Programming

2001 ◽  
pp. 138-153 ◽  
Author(s):  
Deborah East ◽  
Mirosłlaw Truszczyński
Keyword(s):  
Answer Set Programming ◽  
Propositional Satisfiability ◽  
Answer Set

scholarly journals A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)

2020 ◽  
Author(s):  
Giovanni Amendola ◽  
Carmine Dodaro ◽  
Marco Maratea
Keyword(s):  
Answer Set Programming ◽  
Satisfiability Modulo Theories ◽  
Propositional Satisfiability ◽  
Formal Approach ◽  
Boolean Formulas ◽  
Reasoning Tasks ◽  
Answer Set

The issue of describing in a formal way solving algorithms in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP, has been relatively recently solved employing abstract solvers. In this paper we deal with cautious reasoning tasks in ASP, and design, implement and test novel abstract solutions, borrowed from backbone computation in SAT. By employing abstract solvers, we also formally show that the algorithms for solving cautious reasoning tasks in ASP are strongly related to those for computing backbones of Boolean formulas. Some of the new solutions have been implemented in the ASP solver WASP, and tested.

scholarly journals Answer Set Programming Based on Propositional Satisfiability

2006 ◽  
Vol 36 (4) ◽  
pp. 345-377 ◽  
Author(s):  
Enrico Giunchiglia ◽  
Yuliya Lierler ◽  
Marco Maratea
Keyword(s):  
Answer Set Programming ◽  
Propositional Satisfiability ◽  
Answer Set

scholarly journals Abstract Solvers for Computing Cautious Consequences of ASP programs

2019 ◽  
Vol 19 (5-6) ◽  
pp. 740-756
Author(s):  
GIOVANNI AMENDOLA ◽  
CARMINE DODARO ◽  
MARCO MARATEA
Keyword(s):  
State Of The Art ◽  
Answer Set Programming ◽  
Satisfiability Modulo Theories ◽  
Benchmark Problems ◽  
Propositional Satisfiability ◽  
New Techniques ◽  
The Past ◽  
Boolean Formulas ◽  
Reasoning Tasks ◽  
Answer Set

AbstractAbstract solvers are a method to formally analyze algorithms that have been profitably used for describing, comparing and composing solving techniques in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP.In this paper, we design, implement and test novel abstract solutions for cautious reasoning tasks in ASP. We show how to improve the current abstract solvers for cautious reasoning in ASP with new techniques borrowed from backbone computation in SAT, in order to design new solving algorithms. By doing so, we also formally show that the algorithms for solving cautious reasoning tasks in ASP are strongly related to those for computing backbones of Boolean formulas. We implement some of the new solutions in the ASP solver wasp and show that their performance are comparable to state-of-the-art solutions on the benchmark problems from the past ASP Competitions.

scholarly journals Open answer set programming with guarded programs

2008 ◽  
Vol 9 (4) ◽  
pp. 1-53 ◽  
Author(s):  
Stijn Heymans ◽  
Davy Van Nieuwenborgh ◽  
Dirk Vermeir
Keyword(s):  
Answer Set Programming ◽  
Answer Set

scholarly journals Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming

2013 ◽  
Vol 29 (18) ◽  
pp. 2320-2326 ◽  
Author(s):  
Carito Guziolowski ◽  
Santiago Videla ◽  
Federica Eduati ◽  
Sven Thiele ◽  
Thomas Cokelaer ◽  
...  
Keyword(s):  
Answer Set Programming ◽  
Signaling Network ◽  
Logic Models ◽  
Answer Set

CoreALMlib: An library translated from the Component Library

2016 ◽  
Vol 16 (5-6) ◽  
pp. 800-816 ◽  
Author(s):  
DANIELA INCLEZAN
Keyword(s):  
Natural Language ◽  
Answer Set Programming ◽  
Natural Language Understanding ◽  
Inference Engine ◽  
Lexical Resources ◽  
Language Understanding ◽  
Commonsense Knowledge ◽  
Component Library ◽  
Action Language ◽  
Answer Set

AbstractThis paper presents CoreALMlib, an $\mathscr{ALM}$ library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the Component Library (CLib) into the modular action language $\mathscr{ALM}$. CLib consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLibstates (i.e., fluents) and actions. The resulting $\mathscr{ALM}$ library contains the descriptions of 123 action classes grouped into 43 reusable modules that are organized into a hierarchy. It is made available online and of interest to researchers in the action language, answer-set programming, and natural language understanding communities. We believe that our translation has two main advantages over its CLib counterpart: (i) it specifies axioms about actions in a more elaboration tolerant and readable way, and (ii) it can be seamlessly integrated with ASP reasoning algorithms (e.g., for planning and postdiction). In contrast, axioms are described in CLib using STRIPS-like operators, and CLib's inference engine cannot handle planning nor postdiction.

Sign in / Sign up

Export Citation Format

Share Document