Filters








2,460 Hits in 6.3 sec

Annotated defeasible logic

GUIDO GOVERNATORI, MICHAEL J. MAHER
2017 Theory and Practice of Logic Programming  
In this paper, we introduce annotated defeasible logic as a flexible formalism permitting multiple forms of defeasibility, and establish some properties of the formalism.  ...  Defeasible logics provide several linguistic features to support the expression of defeasible knowledge.  ...  difference between the maximum weight of the applicable arguments for p and the maximum weight of the applicable arguments against p exceeds some threshold β.  ... 
doi:10.1017/s1471068417000266 fatcat:punrmfkirfc5heopfuqbcomz74

Annotated Defeasible Logic [article]

Guido Governatori, Michael J. Maher
2017 arXiv   pre-print
In this paper, we introduce annotated defeasible logic as a flexible formalism permitting multiple forms of defeasibility, and establish some properties of the formalism.  ...  This paper is under consideration for acceptance in Theory and Practice of Logic Programming.  ...  difference between the maximum weight of the applicable arguments for p and the maximum weight of the applicable arguments against p exceeds some threshold β.  ... 
arXiv:1707.04734v1 fatcat:gijdszddwjfffogjx5gjjh73ty

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

Noor Sami Al-Anbaki, Nadim Obeid, Khair Eddin
2019 International Journal of Advanced Computer Science and Applications  
Active concerns that are triggered at certain contexts are encapsulated in separate defeasible theories. A proof theory is defined along with a study of its formal properties.  ...  The framework is applied to a motivating scenario to approve its feasibility and the conclusions are analyzed using argumentation as an approach of reasoning.  ...  Its main strength lies in its distributed approach of reasoning and its ability to represent concerns in defeasible theories.  ... 
doi:10.14569/ijacsa.2019.0100923 fatcat:zijugmqr75e2zp72nxhhgbboou

A review of current defeasible reasoning implementations

Daniel Bryant, Paul Krause
2008 Knowledge engineering review (Print)  
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature.  ...  An important goal of this paper is to argue for the need for well designed empirical evaluations, as well as formal complexity analysis, in order to justify the practical applicability of a reasoning engine  ...  The second approach instead regards the existence of multiple status assignments not as a problem, but as a feature: it allows for multiple assignments (each representing a valid point of view) and defines  ... 
doi:10.1017/s0269888908001318 fatcat:wnrfzrfocnfa3dk5luuvdwsjcy

On the existence and multiplicity of extensions in dialectical argumentation [article]

Bart Verheij
2002 arXiv   pre-print
The results are of direct relevance for several well-established models of defeasible reasoning (like default logic, logic programming and argumentation frameworks), since elsewhere dialectical argumentation  ...  In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type.  ...  As a result, it comes as no surprise that the existence and multiplicity problems also arise in the context of dialectical argumentation.  ... 
arXiv:cs/0207067v1 fatcat:orq2eijvifb3ll23jluwgjsd5q

The Three Faces of Defeasibility in the Law

Henry Prakken, Giovanni Sartor
2004 Ratio Juris  
That is, it provides the dynamic context in which inference-based and theory based defeasible reasoning take place, through the interaction of multiple agents.  ...  [PC99] , 197 ff.) includes an analysis of the connections between multiple arguments.  ... 
doi:10.1111/j.0952-1917.2004.00259.x fatcat:kxhu33656rbcldiz63cqgpd6ri

Defeasible Reasoning and Argument-Based Systems in Medical Fields: An Informal Overview

Luca Longo, Pierpaolo Dondio
2014 2014 IEEE 27th International Symposium on Computer-Based Medical Systems  
Finally, the paper will conclude with a summary of the features, which make defeasible reasoning and argumentation theory attractive, that emerge from the applications under review.  ...  It then describes argumentation theory, a paradigm for implementing defeasible reasoning in practice as well as the common multilayer schema upon which argument-based models are usually built.  ...  Multiple actions/decisions can be accounted for in a defeasible reasoning process, thus the number of classes can increase.  ... 
doi:10.1109/cbms.2014.126 dblp:conf/cbms/LongoD14 fatcat:5zv7pkwyunfvzassja4yn5n4ra

Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases [chapter]

Quoc Bao Vo
2005 Lecture Notes in Computer Science  
The proposed algorithms exploit the structural information of defeasible knowledge bases to facilitate efficient computational models.  ...  In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable models, are not given up.  ...  There are two ways to fix the applicability of the non-Horn rules of a given defeasible knowledge base: (i) fixing the set of applicable non-Horn rules in advance (while regarding the rest of unapplicable  ... 
doi:10.1007/11589990_91 fatcat:mauzfp77tfdmzgvyvrnh3v4ppa

Conflicts in legal knowledge base

Tomasz Zurek
2012 Foundations of Computing and Decision Sciences  
This distinction would allow for preserving both the universal character of the provision and its applicability to various legal problems.  ...  In order to simulate such a process as accurately as possible, it is indispensable to make a clear-cut distinction between the provision itself, and its interpretation and inference mechanisms.  ...  Finally, we can speak of theory-based defeasibility, relating to the theories explaining the premises and bases of the argumentation process.  ... 
doi:10.2478/v10209-011-0006-9 fatcat:6y62yhwb6zatpdrddfkbpdqg2y

DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions

B. Verheij
2003 Journal of Logic and Computation  
Instead of focusing on defeasible rules or arguments, the present approach is sentence-based.  ...  The latter leads to a characterization of the existence and multiplicity of the dialectical interpretations of a set of assumptions.  ...  Acknowledgments The author gladly acknowledges the financial support by the Dutch national Programme Information Technology and Law (ITeR) for the research reported in this paper (project number 01437112  ... 
doi:10.1093/logcom/13.3.319 fatcat:6kgcatyckreffileujh7tmra6u

Multi-criteria Argument Selection in Persuasion Dialogues [chapter]

T. L. van der Weide, F. Dignum, J. -J. Ch. Meyer, H. Prakken, G. A. W. Vreeswijk
2012 Lecture Notes in Computer Science  
This paper is inspired by multi-attribute decision theory and considers argument selection as decision-making where multiple criteria matter.  ...  The criteria and sub-criteria that matter to an agent are structured hierarchically into a value tree and meta-level argument schemes are formalized that use a value tree to justify what argument the agent  ...  Consequently, an argument that applies a defeasible inference rule can be attacked on the conclusion of the defeasible inference rule and the application of the defeasible inference rule can be undercut  ... 
doi:10.1007/978-3-642-33152-7_9 fatcat:gdicbdzz5jhdbhdqq5dliz6g6i

Logic Programming with Defaults and Argumentation Theories [chapter]

Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, Senlin Liang
2009 Lecture Notes in Computer Science  
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming.  ...  We use the framework as an elegant and flexible foundation to extend and improve upon Generalized Courteous Logic Programs (GCLP) [19]-one of the popular forms of defeasible reasoning.  ...  of and describe the various application domains.  ... 
doi:10.1007/978-3-642-02846-5_35 fatcat:nljjvi3p6zhxxp47gnyzkt6pky

Defeasible Reasoning and Degrees of Justification

John L. Pollock †
2010 Argument & Computation  
If so, a theory of defeasible reasoning must tell us how to compute the degree of justification obtained by combining multiple independent arguments.  ...  The Accrual of Arguments An entirely different way in which varying degrees of justification may complicate a theory of defeasible reason arises from the fact that we may have multiple independent arguments  ... 
doi:10.1080/19462161003728921 fatcat:jw5ysceg2zhivgfwz4g4gcbpzi

A logic of defeasible argumentation: Constructing arguments in justification logic

Stipe Pandžić
2020 Argument & Computation  
theories by focusing on a single aspect of attacks among justification logic arguments and (2) Dung's warranted frameworks always have multiple justification logic instantiations called "realizations"  ...  Using the definitions of extensions, we establish formal correspondence between Dung's original argumentation semantics and our operational semantics for default theories.  ...  I am also grateful to the three reviewers of the Argument & Computation journal for their constructive suggestions that helped me to improve this paper.  ... 
doi:10.3233/aac-200536 fatcat:ym2f5i3dcbcmzoy2lukjb2uz6i

On Resolving Conflicts Between Arguments

Nico Roos
2000 Computational intelligence  
Since it is easier to evaluate arguments using their last rules, can a conflict be resolved by considering only the last defeasible rules of the arguments involved ?  ...  Using defeasible rules, arguments need not be valid in all circumstances, therefore, it might be possible to construct an argument for a proposition as well as its negation.  ...  Let Σ, D, be a defeasible theory where Σ is the set of premises and D is the set of rules.  ... 
doi:10.1111/0824-7935.00120 fatcat:jgmtcpxadvdpngqjh7s3syc7pi
« Previous Showing results 1 — 15 out of 2,460 results