๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Semantics for a theory of defeasible reasoning

โœ Scribed by Quoc Bao Vo; Norman Y. Foo; Joe Thurbon

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
353 KB
Volume
44
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Defeasible reasoning: A discussion of so
Defeasible reasoning: A discussion of some intuitions
โœ Grigoris Antoniou ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 115 KB

In this article, we discuss some issues related to the intuitions of defeasible reasoning, in particular floating conclusions, reinstatement, and zombie paths. Defeasible logic serves as the formal basis for our analysis. We also make some comments on the comparison between defeasible logics and the

Abductive inference in defeasible reason
Abductive inference in defeasible reasoning: a model for research programmes
โœ Claudio Delrieux ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 312 KB

Abduction is regarded as the inference process that goes from observations to explanations within a more general context or theoretical framework. There are good characterizations of abduction of surprising observations in monotonic theories. Also, in normal logic programs there are a tight relation

A compositional reasoning system for exe
A compositional reasoning system for executing nonmonotonic theories of reasoning
โœ J. Engelfriet; J. Treur ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 209 KB

In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be e