scholarly journals On the Equivalence between Assumption-Based Argumentation and Logic Programming

2017 ◽  
Vol 60 ◽  
pp. 779-825 ◽  
Author(s):  
Martin Caminada ◽  
Claudia Schulz
Keyword(s):  
Logic Programming ◽  
Logic Program ◽  
The Other ◽  
Logic Programs ◽  
Special Cases ◽  
Reverse Translation ◽  
Normal Logic ◽  
The Relationship

Assumption-Based Argumentation (ABA) has been shown to subsume various other non-monotonic reasoning formalisms, among them normal logic programming (LP). We re-examine the relationship between ABA and LP and show that normal LP also subsumes (flat) ABA. More precisely, we specify a procedure that given a (flat) ABA framework yields an associated logic program with almost the same syntax whose semantics coincide with those of the ABA framework. That is, the 3-valued stable (respectively well-founded, regular, 2-valued stable, and ideal) models of the associated logic program coincide with the complete (respectively grounded, preferred, stable, and ideal) assumption labellings and extensions of the ABA framework. Moreover, we show how our results on the translation from ABA to LP can be reapplied for a reverse translation from LP to ABA, and observe that some of the existing results in the literature are in fact special cases of our work. Overall, we show that (flat) ABA frameworks can be seen as normal logic programs with a slightly different syntax. This implies that methods developed for one of these formalisms can be equivalently applied to the other by simply modifying the syntax.

CONCURRENT ABDUCTIVE LOGIC PROGRAMMING IN PANDORA

2001 ◽  
Vol 10 (03) ◽  
pp. 387-406
Author(s):  
REEM BAHGAT ◽  
OSAMA MOSTAFA ◽  
GEORGE A. PAPADOPOULOS
Keyword(s):  
Logic Programming ◽  
Logic Program ◽  
The Other ◽  
Logic Programs ◽  
Hypothetical Reasoning ◽  
Concurrent Logic Programming ◽  
Programming Technique ◽  
Abductive Logic ◽  
Abductive Logic Programming ◽  
Distributed Execution

The extension of logic programming with abduction (ALP) allows a form of hypothetical reasoning. The advantages of abduction lie in the ability to reason with incomplete information and the enhancement of the declarative representation of problems. On the other hand, concurrent logic programming is a framework which explores AND-parallelism and/or OR-parallelism in logic programs in order to efficiently execute them on multi-processor / distributed machines. The aim of our work is to study a way to model abduction within the framework of concurrent logic programming, thus taking advantage of the latter's potential for parallel and/or distributed execution. In particular, we describe Abductive Pandora, a syntactic sugar on top of the concurrent logic programming language Pandora, which provides the user with an abductive behavior for a concurrent logic program. Abductive Pandora programs are then transformed into Pandora programs which support the concurrent abductive behavior through a simple programming technique while at the same time taking advantage of the underlying Pandora machine infrastructure.

LOGIC PROGRAMMING AND DEFAULT LOGIC

1994 ◽  
Vol 03 (03) ◽  
pp. 367-373
Author(s):  
GRIGORIS ANTONIOU
Keyword(s):  
Logic Programming ◽  
Ad Hoc ◽  
Logic Program ◽  
Operational Semantics ◽  
Main Property ◽  
Default Logic ◽  
Logic Programs ◽  
Default Theory ◽  
Normal Logic ◽  
Direct Use

We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic program via its standard operational semantics correspond exactly to the extensions of the default theory.

scholarly journals Interdefinability of defeasible logic and logic programming under the well-founded semantics

2011 ◽  
Vol 13 (1) ◽  
pp. 107-142 ◽  
Author(s):  
FREDERICK MAIER
Keyword(s):  
Logic Programming ◽  
Opposite Direction ◽  
Stable Model ◽  
Logic Programs ◽  
Defeasible Logic ◽  
Normal Logic

AbstractWe provide a method of translating theories of Nute's defeasible logic into logic programs, and a corresponding translation in the opposite direction. Under certain natural restrictions, the conclusions of defeasible theories under the ambiguity propagating defeasible logic ADL correspond to those of the well-founded semantics for normal logic programs, and so it turns out that the two formalisms are closely related. Using the same translation of logic programs into defeasible theories, the semantics for the ambiguity blocking defeasible logic NDL can be seen as indirectly providing an ambiguity blocking semantics for logic programs. We also provide antimonotone operators for both ADL and NDL, each based on the Gelfond–Lifschitz (GL) operator for logic programs. For defeasible theories without defeaters or priorities on rules, the operator for ADL corresponds to the GL operator and so can be seen as partially capturing the consequences according to ADL. Similarly, the operator for NDL captures the consequences according to NDL, though in this case no restrictions on theories apply. Both operators can be used to define stable model semantics for defeasible theories.

scholarly journals Productive corecursion in logic programming

2017 ◽  
Vol 17 (5-6) ◽  
pp. 906-923 ◽  
Author(s):  
EKATERINA KOMENDANTSKAYA ◽  
YUE LI
Keyword(s):  
Data Structure ◽  
Logic Programming ◽  
State Of The Art ◽  
Logic Program ◽  
Stream Processing ◽  
The Internet ◽  
Logic Programs ◽  
Algorithmic Solution ◽  
Undecidable Property ◽  
Turing Complete

AbstractLogic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task. For example, the existing state-of-the-art algorithms can only semi-decide coinductive soundness of queries in logic programming for regular formulae. Another, less famous, but equally fundamental and important undecidable property is productivity. If a derivation is infinite and coinductively sound, we may ask whether the computed answer it determines actually computes an infinite formula. If it does, the infinite computation is productive. This intuition was first expressed under the name of computations at infinity in the 80s. In modern days of the Internet and stream processing, its importance lies in connection to infinite data structure processing. Recently, an algorithm was presented that semi-decides a weaker property – of productivity of logic programs. A logic program is productive if it can give rise to productive derivations. In this paper, we strengthen these recent results. We propose a method that semi-decides productivity of individual derivations for regular formulae. Thus, we at last give an algorithmic counterpart to the notion of productivity of derivations in logic programming. This is the first algorithmic solution to the problem since it was raised more than 30 years ago. We also present an implementation of this algorithm.

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.

scholarly journals Programming in logic without logic programming

2016 ◽  
Vol 16 (3) ◽  
pp. 269-295 ◽  
Author(s):  
ROBERT KOWALSKI ◽  
FARIBA SADRI
Keyword(s):  
Logic Programming ◽  
Logic Program ◽  
Operational Semantics ◽  
Canonical Model ◽  
State Transitions ◽  
Logic Programs ◽  
Initial State ◽  
State Sequence ◽  
Sequence Of Events ◽  
Current State

AbstractIn previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role. In the canonical model, states, actions, and other events are represented with timestamps. But in the operational semantics (OS), for the sake of efficiency, timestamps are omitted and only the current state is maintained. State transitions are performed reactively by executing actions to make the consequents of rules true whenever the antecedents become true. This OS is sound, but incomplete. It cannot make reactive rules true by preventing their antecedents from becoming true, or by proactively making their consequents true before their antecedents become true. In this paper, we characterize the notion of reactive model, and prove that the OS can generate all and only such models. In order to focus on the main issues, we omit the logic programming component of the framework.

scholarly journals Inconsistency Proofs for ASP: The ASP - DRUPE Format

2019 ◽  
Vol 19 (5-6) ◽  
pp. 891-907
Author(s):  
MARIO ALVIANO ◽  
CARMINE DODARO ◽  
JOHANNES K. FICHTE ◽  
MARKUS HECHER ◽  
TOBIAS PHILIPP ◽  
...  
Keyword(s):  
Logic Program ◽  
Answer Set Programming ◽  
Boolean Satisfiability ◽  
Logic Programs ◽  
Disjunctive Logic Programs ◽  
Normal Logic ◽  
Consistency Problem ◽  
Unit Propagation ◽  
Answer Sets ◽  
Answer Set

AbstractAnswer Set Programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer set. Verifying whether a claimed answer set is formally a correct answer set of the program can be decided in polynomial time for (normal) programs. However, it is far from immediate to verify whether a program that is claimed to be inconsistent, indeed does not admit any answer sets. In this paper, we address this problem and develop the new proof format ASP-DRUPE for propositional, disjunctive logic programs, including weight and choice rules. ASP-DRUPE is based on the Reverse Unit Propagation (RUP) format designed for Boolean satisfiability. We establish correctness of ASP-DRUPE and discuss how to integrate it into modern ASP solvers. Later, we provide an implementation of ASP-DRUPE into the wasp solver for normal logic programs.

In the nature of twins: a study of the archetypal realm of universal duality, opposition and imitation between the ‘first’ and ‘other’ in creation myths

2012 ◽  
Vol 4 (2) ◽  
pp. 133-149
Author(s):  
E. Brodersen
Keyword(s):  
Analytical Psychology ◽  
The Other ◽  
Dyadic Relationship ◽  
The Unconscious ◽  
Gender Specificity ◽  
Creation Myths ◽  
Cultural Life ◽  
Special Cases ◽  
Individuation Process ◽  
The Relationship

This paper explores the complex, archetypal world of twins through creation myths. Twins are special cases of ‘two’, in that their relationship is qualitative not quantitative: they enact the relationship between the ‘first’ and the ‘other’. I present two early creation myths to explore the primacy of this dyadic relationship before it was superseded by patrilineal primogeniture (c. 3000 BCE), which designated ethical, fixed gender specificity to one twin over the other. I examine which gender has been negatively affected and speculate about the reasons behind the devaluation and disassociation. Analytical psychology, in particular the individuation process, is relevant to this paper because Jung saw the creative value of working experientially with the unconscious ‘shadow’ and intra-psychic contra-sexual twin ‘other’ to help bring taboo, disassociative emotions into mainstream cultural life.1

ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS

2000 ◽  
Vol 08 (01) ◽  
pp. 73-92 ◽  
Author(s):  
HIROSHI SAKAI ◽  
AKIMICHI OKUMA
Keyword(s):  
Logic Programming ◽  
Soft Computing ◽  
Logic Program ◽  
Theorem Prover ◽  
Logic Programs

We are now touching a problem how we add soft computing aspects to logic programming and we have been discussing null attribute values on logic programs. Here, we introduce two functors setu and sets into logic programs for describing indefinite attribute values explicitly. Every logic program with setu or sets has variability and tolerance in itself, namely this program expresses a set of possible definite logic programs. We call this program a variational logic program. In this paper, we show the variational logic programs and a theorem prover for them.

scholarly journals On the Semantics of Logic Programs with Preferences

2007 ◽  
Vol 30 ◽  
pp. 501-523 ◽  
Author(s):  
S. Greco ◽  
I. Trubitsyna ◽  
E. Zumpano
Keyword(s):  
Logic Programming ◽  
Complexity Analysis ◽  
Structural Information ◽  
Logic Program ◽  
Set Optimization ◽  
Logic Programs ◽  
Preference Relations ◽  
New Interpretation ◽  
Semantics Of Logic Programs ◽  
Stable Models

This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation for prioritized logic programs, is inspired by the semantics of Prioritized Logic Programming and enriched with the use of structural information of preference of Answer Set Optimization Programming. Specifically, the analysis of the logic program is carried out together with the analysis of preferences in order to determine the choice order and the sets of comparable models. The new semantics is compared with other approaches known in the literature and complexity analysis is also performed, showing that, with respect to other similar approaches previously proposed, the complexity of computing preferred stable models does not increase.

Sign in / Sign up

Export Citation Format

Share Document