Intuitions and the modelling of defeasible reasoning: some case studies

07/09/2002
by   Henry Prakken, et al.
0

The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, viz. reinstatement and floating conclusions. I shall argue that Horty's counterexamples, although they significantly raise our understanding of these reasoning patterns, do not show their invalidity. Some of them reflect patterns which, if made explicit in the formalisation, avoid the unwanted inference without having to give up the criticised inference principles. Other examples seem to involve hidden assumptions about the specific problem which, if made explicit, are nothing but extra information that defeat the defeasible inference. These considerations will be put in a wider perspective by reflecting on the nature of defeasible reasoning principles as principles of justified acceptance rather than `real' logical inference.

READ FULL TEXT
research
03/28/2023

Explicit Planning Helps Language Models in Logical Reasoning

Language models have been shown to perform remarkably well on a wide ran...
research
03/04/2002

Stereotypical Reasoning: Logical Properties

Stereotypical reasoning assumes that the situation at hand is one of a k...
research
05/10/2022

A Quantitative Symbolic Approach to Individual Human Reasoning

Cognitive theories for reasoning are about understanding how humans come...
research
07/17/2022

Certain and Uncertain Inference with Trivalent Conditionals

Research on indicative conditionals usually aims either at determining t...
research
03/08/2000

Declarative Representation of Revision Strategies

In this paper we introduce a nonmonotonic framework for belief revision ...
research
03/27/2013

Inference Policies

It is suggested that an AI inference system should reflect an inference ...
research
10/24/2019

A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning

The Lax Logical Framework, LLFP, was introduced, by a team including the...

Please sign up or login with your details

Forgot password? Click here to reset