Results 161 to 170 of about 13,242 (209)
Some of the next articles are maybe not open access.
Knowledge and Information Systems, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Augusto, Juan C., Simari, Guillermo R.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Augusto, Juan C., Simari, Guillermo R.
openaire +2 more sources
Efficient defeasible reasoning systems
Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000, 2001For many years, the non-montonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic.
Maher, M.J. +4 more
openaire +2 more sources
Fundamenta Informaticae, 1994
This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm's Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.
openaire +2 more sources
This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm's Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.
openaire +2 more sources
Planning and defeasible reasoning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, 2007We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to construct plans using Partial Order Planning techniques.
Diego R. Garcia +2 more
openaire +1 more source
Defeasible Reasoning via Datalog¬
Theory and Practice of Logic Programming, 2021AbstractWe address the problem of compiling defeasible theories to Datalog¬ programs. We prove the correctness of this compilation, for the defeasible logic DL(∂||), but the techniques we use apply to many other defeasible logics. Structural properties of DL(∂||) are identified that support efficient implementation and/or approximation of the ...
openaire +1 more source
From Defeasible Logic to Counterfactual Reasoning
2022Counterfactual reasoning has been the subject of extensive study in philosophy, logics, and AI. The connection between counterfactual reasoning and theory revision is well-known since Ramsey's intuition, according to which "to find out whether the counterfactual `if A were true, then B would be true' is satisfied in a state S, change the state S ...
Matteo Cristani +3 more
openaire +1 more source
Defeasible reasoning and informal fallacies
Synthese, 2009This paper argues that some traditional fallacies should be considered as reasonable arguments when used as part of a properly conducted dialog. It is shown that argumentation schemes, formal dialog models, and profiles of dialog are useful tools for studying properties of defeasible reasoning and fallacies.
openaire +1 more source
Formalizing perspectival defeasible reasoning
Proceedings of the Thirtieth Hawaii International Conference on System Sciences, 2002I provide a unique formalism for defeasible reasoning that takes into account how an agent activates a perspective in response to a situation in which reasoning using a concept is called for, how each perspective is organized, and how the contents of each activated perspective is related to the contents of other perspectives.
openaire +1 more source
Decision Support Systems, 1994
Abstract Numerous legal scholars have asserted that legal reasoning is largely a deductive process in which legal rules are applied to the facts of a case in order to derive a conclusion. Though some might contest this assertion, it seems that what we know as law is largely a system of rules.
Dewitz, SK, Ryu, Y, Lee, RM
openaire +2 more sources
Abstract Numerous legal scholars have asserted that legal reasoning is largely a deductive process in which legal rules are applied to the facts of a case in order to derive a conclusion. Though some might contest this assertion, it seems that what we know as law is largely a system of rules.
Dewitz, SK, Ryu, Y, Lee, RM
openaire +2 more sources
Computational Dialogic Defeasible Reasoning
Argumentation, 2003This article begins with an introduction to defeasible (nonmonotonic) reasoning and a brief description of a computer program, EVID, which can perform such reasoning. I then explain, and illustrate with examples, how this program can be applied in computational representations of ordinary dialogic argumentation.
openaire +1 more source