Filters








7,686 Hits in 4.5 sec

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

TUOMO LEHTONEN, JOHANNES P. WALLNER, MATTI JӒRVISALO
2021 Theory and Practice of Logic Programming  
As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly studied logic programming fragment of ABA.  ...  In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second  ...  Further, the runtimes of the CEGAR approach using the stronger abstraction under <-complete semantics are similar between the task of finding an assumption set without a query and credulous reasoning on  ... 
doi:10.1017/s1471068421000296 fatcat:ehpvkncfvrgvjllfjw47ixhgwq

Consistent query answering via ASP from different perspectives: Theory and practice

MARCO MANNA, FRANCESCO RICCA, GIORGIO TERRACINA
2012 Theory and Practice of Logic Programming  
., depending on whether integrated information is assumed to besound,complete,exact, or a variant of them.  ...  This paper provides a contribution in this setting: it uniforms solutions coming from different perspectives under a common Answer-Set Programming (ASP)-based core, and provides query-driven optimizations  ...  The general approaches are based on the following idea: produce an ASP program P having an answer set for each repair, so that the problem of computing CQA corresponds to cautious reasoning on P .  ... 
doi:10.1017/s1471068411000640 fatcat:mg6hh3fbp5horo622nq5w6xzmm

A Scalable Adaptive Method for Complex Reasoning Over Semantic Data Streams [chapter]

Thu-Le Pham
2015 Lecture Notes in Computer Science  
The main aim of my research proposal is to provide a solution to perform complex reasoning on dynamic semantic information in a scalable way.  ...  Current stream processing solutions can handle streams of data to timely produce new results but they lack the complex reasoning capacities that are required to go from data to actionable knowledge.  ...  Evaluation Plan An evaluation plan is an important step to observe the efficiency of our stream reasoning approach and compare it with similar solutions.  ... 
doi:10.1007/978-3-319-18818-8_48 fatcat:6kmbh4q3qzhhhatj5kpd5pjqzy

Towards Predicate Answer Set Programming via Coinductive Logic Programming [chapter]

Richard Min, Ajay Bansal, Gopal Gupta
2009 IFIP Advances in Information and Communication Technology  
Current ASP implementations are restricted to "grounded range-restricted function-free normal programs" and use an evaluation strategy that is "bottom-up" (i.e., not goal-driven).  ...  Answer Set Programming (ASP) is a powerful paradigm based on logic programming for non-monotonic reasoning.  ...  In this paper, we present a goal-directed or querydriven approach to computing the stable model of an ASP program that is based on co-LP and coinductive SLDNF resolution [8] .  ... 
doi:10.1007/978-1-4419-0221-4_58 fatcat:ji33hf3terc7thxapi3lgqkq6y

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2019 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
While previous approaches apply either specialized algorithms or translate ABA reasoning to reasoning over abstract argumentation frameworks, we develop a direct approach by encoding ABA reasoning tasks  ...  Focusing on assumption-based argumentation (ABA) as a central structured formalism to AI argumentation, we propose a new approach to reasoning in ABA with and without preferences.  ...  While previous approaches are based on either specialized algorithms or translating ABA reasoning to reasoning over AFs, we propose a direct approach to ABA reasoning based on encoding ABA reasoning tasks  ... 
doi:10.1609/aaai.v33i01.33012938 fatcat:ex6zdoorzvherdva2pukrdiugu

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021 The Journal of Artificial Intelligence Research  
approach to ABA reasoning by encoding ABA reasoning tasks in answer set programming.  ...  While previous approaches to reasoning over ABA frameworks apply either specialized algorithms or translate ABA reasoning to reasoning over abstract argumentation frameworks, we develop a direct declarative  ...  An ASP-Based Approach to Reasoning in ABA and ABA + Complementing our theoretical results, we develop an efficient approach to reasoning in ABA and ABA + by harnessing answer set programming (ASP) (Gelfond  ... 
doi:10.1613/jair.1.12479 fatcat:rajo2ynhezdpxbijlu3rx7nizy

Debugging Non-ground ASP Programs: Technique and Graphical Tools

CARMINE DODARO, PHILIP GASTEIGER, KRISTIAN REALE, FRANCESCO RICCA, KONSTANTIN SCHEKOTIHIN
2019 Theory and Practice of Logic Programming  
The approach has been implemented on top of the ASP solver wasp.  ...  Despite that ASP features a simple syntax and an intuitive semantics, errors are common during the development of ASP programs.  ...  The authors are also grateful to Roland Kaminski for providing GRINGO without simplifications.  ... 
doi:10.1017/s1471068418000492 fatcat:fzey2pv6kbc4hgg5z3qoz6bbuy

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation [article]

Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021 arXiv   pre-print
As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly studied logic programming fragment of ABA.  ...  In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second  ...  Further, the runtimes of the CEGAR approach using the stronger abstraction under <-complete semantics are similar between the task of finding an assumption set without a query and credulous reasoning on  ... 
arXiv:2108.04192v1 fatcat:hlp6weg6cbc27p7vk5xxnzkxxe

Data Integration and Answer Set Programming [chapter]

Thomas Eiter
2005 Lecture Notes in Computer Science  
The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and incomplete data.  ...  We discuss why data integration can be an interesting model application of Answer Set programming, reviewing valuable features of non-monotonic logic programs in this respect, and emphasizing the role  ...  I am very grateful to Wolfgang Faber for comments on a draft of this paper.  ... 
doi:10.1007/11546207_2 fatcat:aqoiuvrci5bnlcszod2cr2mhta

An integrated Graphical User Interface for Debugging Answer Set Programs [article]

Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2016 arXiv   pre-print
Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework.  ...  Due to its rather simple syntax paired with high-performance solvers, ASP is interesting for industrial applications.  ...  The authors are grateful to Marc Deneker and Ingmar Dasseville for the fruitful discussions about debugging ASP programs, and in particular for the useful comments regarding the case of missing support  ... 
arXiv:1611.04969v1 fatcat:buglwbqalnhsjc2336eiss3une

Cautious reasoning in ASP via minimal models and unsatisfiable cores

MARIO ALVIANO, CARMINE DODARO, MATTI JÄRVISALO, MARCO MARATEA, ALESSANDRO PREVITI
2018 Theory and Practice of Logic Programming  
AbstractAnswer Set Programming (ASP) is a logic-based knowledge representation framework, supporting—among other reasoning modes—the central task of query answering.  ...  In the propositional case, query answering amounts to computing cautious consequences of the input program among the atoms in a given set of candidates, where a cautious consequence is an atom belonging  ...  The main contributions of this paper are two new algorithms for cautious reasoning in ASP, their implementation, and empirical evaluation against earlier proposed approaches to cautious reasoning in ASP  ... 
doi:10.1017/s1471068418000145 fatcat:2p5lp7spzzesbpf3qhv4p4dz6e

Cautious reasoning in ASP via minimal models and unsatisfiable cores [article]

Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018 arXiv   pre-print
Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting---among other reasoning modes---the central task of query answering.  ...  In the propositional case, query answering amounts to computing cautious consequences of the input program among the atoms in a given set of candidates, where a cautious consequence is an atom belonging  ...  The main contributions of this paper are two new algorithms for cautious reasoning in ASP, their implementation, and empirical evaluation against earlier proposed approaches to cautious reasoning in ASP  ... 
arXiv:1804.08480v1 fatcat:rtwpzfzfjrczpmtpw6iv67kxw4

From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning [chapter]

Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2017 Lecture Notes in Computer Science  
We provide a refined algorithm for translating ABA frameworks to AFs allowing using AF reasoning to answer ABA acceptability queries, covering credulous and skeptical acceptance problems over ABAs in a  ...  We empirically show that the approach is complementary with a state-of-the-art ABA reasoning system.  ...  Given an ABA and a credulous/skeptical query as a sentence in the ABA, our approach to answer the query consists of the following two steps. 1.  ... 
doi:10.1007/978-3-319-61581-3_6 fatcat:i34d3m4jfjdefe6phxspbw5bse

Improving adherence to heart failure management guidelines via abductive reasoning

ZHUO CHEN, ELMER SALAZAR, KYLE MARPLE, GOPAL GUPTA, LAKSHMAN TAMIL, DANIEL CHEERAN, SANDEEP DAS, ALPESH AMIN
2017 Theory and Practice of Logic Programming  
A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that all physicians should follow.  ...  In this paper, we show how abductive reasoning can be deployed to find missing symptoms and conditions that the patient must exhibit in order for a treatment prescribed by a physician to work effectively  ...  However, our system does not require complete information when performing abductive reasoning, thanks to use of negation as failure and ASP.  ... 
doi:10.1017/s1471068417000308 fatcat:xfkkzxv2dbd25mcrn5jveeuw44

The Sixth Answer Set Programming Competition

Martin Gebser, Marco Maratea, Francesco Ricca
2017 The Journal of Artificial Intelligence Research  
Answer Set Programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning.  ...  Similar to other closely related problem-solving technologies, such as SAT/SMT, QBF, Planning and Scheduling, advancements in ASP solving are assessed in competition events.  ...  Introduction Answer Set Programming (ASP) (Brewka, Eiter, & Truszczyński, 2011 ) is a well-known declarative programming approach to knowledge representation and reasoning, with roots in the areas of  ... 
doi:10.1613/jair.5373 fatcat:pjgjrinsc5a2xk4trq6sp22r2u
« Previous Showing results 1 — 15 out of 7,686 results