Open AccessProceedings Article
Skepticism and floating conclusions.
John F. Horty
- pp 391
Reads0
Chats0
TLDR
It is argued that the phenomenon of floating conclusions indicates a problem with the view that the skeptical consequences of such theories should be identified with the statements that are supported by each of their various extensions.Abstract:
The purpose of this paper is to question some commonly accepted patterns of reasoning involving nonmonotonic logics that generate multiple extensions. In particular, I argue that the phenomenon of floating conclusions indicates a problem with the view that the skeptical consequences of such theories should be identified with the statements that are supported by each of their various extensions.read more
Citations
More filters
Journal ArticleDOI
SCC-recursiveness: a general schema for argumentation semantics
TL;DR: This work proposes a general recursive schema for argumentation semantics, based on decomposition along the strongly connected components of the argumentation framework, and introduces four novel SCC-recursive semantics, able to overcome the limitations of preferred semantics, while differing in other respects.
Journal ArticleDOI
On principle-based evaluation of extension-based argumentation semantics
TL;DR: A set of general criteria for semantics evaluation is introduced by proposing a formal counterpart to several intuitive notions related to the concepts of maximality, defense, directionality, and skepticism.
MonographDOI
Reasons as Defaults
TL;DR: In this paper, the authors present a primer on default logic, focusing on the following: 1.1 Default rules 1.2.1 Binding defaults 1.3 Theories and scenarios 1.4.3 Extensions and conclusions 1.5.1 Theories with multiple extensions 1.6.2 Theories without extensions 2 From Defaults to Reasons 2.1.
Journal ArticleDOI
On judgment aggregation in abstract argumentation
TL;DR: It is claimed that collective irrationality should not be the only worry of judgment aggregation, and three aggregation operators that satisfy the condition above are introduced, and two definitions of compatibility are offered.
References
More filters
Journal ArticleDOI
A logic for default reasoning
TL;DR: This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.
Book
Entailment : the logic of relevance and necessity
TL;DR: The Description for this book, Entailment: The Logic of Relevance and Necessity, will be forthcoming.
Journal ArticleDOI
Non-monotonic logic I
Drew McDermott,Jon Doyle +1 more
TL;DR: A model and proof theories, a proof procedure, and applications for one non-monotonic logic are developed, and it is proved the completeness of the non-Monotonic predicate calculus and the decidability of theNon- monotonic sentential calculus.
Book
The mathematics of inheritance systems
TL;DR: A formal mathematical theory of inheritance is presented and it is shown how the defects in existing systems can be corrected, and how a correct implementation on a parallel marker propagation machine (PMPM) may be achieved through conditioning.