scholarly journals An informant-based approach to argument strength in Defeasible Logic Programming

2020 ◽  
pp. 1-33
Author(s):  
Andrea Cohen ◽  
Sebastian Gottifredi ◽  
Luciano H. Tamargo ◽  
Alejandro J. García ◽  
Guillermo R. Simari
Keyword(s):  
Logic Programming ◽  
Defeasible Logic ◽  
Argument Strength

scholarly journals Defeasible logic versus Logic Programming without Negation as Failure

2000 ◽  
Vol 42 (1) ◽  
pp. 47-57 ◽  
Author(s):  
G. Antoniou ◽  
M.J. Maher ◽  
D. Billington
Keyword(s):  
Logic Programming ◽  
Defeasible Logic ◽  
Negation As Failure

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 Embedding defeasible logic into logic programming

2006 ◽  
Vol 6 (06) ◽  
pp. 703-735 ◽  
Author(s):  
GRIGORIS ANTONIOU ◽  
DAVID BILLINGTON ◽  
GUIDO GOVERNATORI ◽  
MICHAEL J. MAHER
Keyword(s):  
Logic Programming ◽  
Defeasible Logic

On Influence and Contractions in Defeasible Logic Programming

2011 ◽  
pp. 199-204
Author(s):  
Diego R. García ◽  
Sebastián Gottifredi ◽  
Patrick Krümpelmann ◽  
Matthias Thimm ◽  
Gabriele Kern-Isberner ◽  
...  
Keyword(s):  
Logic Programming ◽  
Defeasible Logic

scholarly journals Defeasible logic programming: an argumentative approach

2004 ◽  
Vol 4 (1+2) ◽  
pp. 95-138 ◽  
Author(s):  
ALEJANDRO J. GARCÍA ◽  
GUILLERMO R. SIMARI
Keyword(s):  
Logic Programming ◽  
Defeasible Logic

A possibilistic defeasible logic programming approach to argumentation-based decision-making

2014 ◽  
Vol 26 (4) ◽  
pp. 519-550 ◽  
Author(s):  
Edgardo Ferretti ◽  
Marcelo L. Errecalde ◽  
Alejandro J. García ◽  
Guillermo R. Simari
Keyword(s):  
Decision Making ◽  
Logic Programming ◽  
Programming Approach ◽  
Defeasible Logic
Sign in / Sign up

Export Citation Format

Share Document