Results 151 to 160 of about 4,395 (189)
Some of the next articles are maybe not open access.
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
1999
In this paper we study defeasible goals in Gabbay's labelled deductive systems. We prove the completeness of a simple and elegant proof theory for the labelled logic of defeasible goals by proving two phasing theorems.
openaire +3 more sources
In this paper we study defeasible goals in Gabbay's labelled deductive systems. We prove the completeness of a simple and elegant proof theory for the labelled logic of defeasible goals by proving two phasing theorems.
openaire +3 more sources
2018
This chapter provides an analysis of defeasible legal reasoning as argumentation. It first provides a general account of the idea of defeasibility and introduces the idea of nonmonotonic reasoning. It then focuses on defeasible argumentation, considering how defeasible arguments can be constructed and how they can be defeated by rebutting and ...
openaire +2 more sources
This chapter provides an analysis of defeasible legal reasoning as argumentation. It first provides a general account of the idea of defeasibility and introduces the idea of nonmonotonic reasoning. It then focuses on defeasible argumentation, considering how defeasible arguments can be constructed and how they can be defeated by rebutting and ...
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
Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation
Journal of Logic and Computation, 1993Summary: Defeasible argumentation is concerned with studying plausible but, at the same time, fallible patterns of reasoning. Because plausible arguments can easily be developed, and not all of them can be in force at the same time, the main thrust of the theory is in deriving sound principles for adjudicating among conflicting lines of argumentation ...
openaire +2 more sources
Logics for Defeasible Argumentation
2001Logic is the science that deals with the formal principles and criteria of validity of patterns of inference. This chapter surveys logics for a particular group of patterns of inference, namely those where arguments for and against a certain claim are produced and evaluated, to test the tenability of the claim.
Prakken, H., Vreeswijk, G.A.W.
openaire +2 more sources
1994
Abstract Like all reasoning, defeasible reasoning involves inference. One makes an inference when one comes to have some belief on account of other beliefs that one has. The kind of relationship I intend by ‘on account of’ is one in which a person who makes an inference does or would put forward the beliefs on account of which she ...
openaire +1 more source
Abstract Like all reasoning, defeasible reasoning involves inference. One makes an inference when one comes to have some belief on account of other beliefs that one has. The kind of relationship I intend by ‘on account of’ is one in which a person who makes an inference does or would put forward the beliefs on account of which she ...
openaire +1 more source
Alchourron's Defeasible Conditionals and Defeasible Reasoning
1996Tohme, Fernando, Loui, Ronald P.
openaire +3 more sources
Defeasibility and Legal Indeterminacy
2012The chapter concerns what was perhaps one of the hottest subjects in recent jurisprudential inquiry, defeasibility, exploring its connection with another hot spot, legal indeterminacy. Considering linguistic therapy the lot of useful philosophical enquiry, it proceeds to the analysis of the “structure” of philosophical thought on the matter, proposing ...
openaire +2 more sources