An abstract argumentation framework and the semantics, often called Dungean semantics, give a general framework for nonmonotonic logics. In the last fifteen years, a great number of papers in computational argumentation adopt Dungean semantics as a fundamental principle for evaluating various kinds of defeasible consequences. Recently, many papers address problems not only with theoretical reas...

We outline a formal theory of argumentation-theoretic reasoning which uniies and generalises many existing approaches to default reasoning, and which promises to be useful for practical reasoning in general and legal reasoning in particular. We discuss an extension of the argumentation theory to the problem of reconciling connicting arguments .

In “Practical Rationality at Work – A New Argumentation Model” (2018, pp.193-230) Sàágua and Baumtrog offer what they call “a new ideal model of integrated practical reasoning argumentation.” I will argue that their only really original contribution is a reconceptualization argumentation schemes as producing pro tanto reasons, such both wrong-headed in itself makes less than other models, not m...

This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified account of practical reasoning that treats reasoning about what action should be chosen as presumptive argumentation using argument schemes and associated critical questions. This paper describes how this account can be ex...

most contemporary clinical reasoning tests typically assess non-automatic thinking. therefore, a test is needed to measure automatic reasoning or pattern recognition, which has been largely neglected in clinical reasoning tests. the puzzle test (pt) is dedicated to assess automatic clinical reasoning in routine situations. this test has been introduced first in 2009 by monajemi et al in the oly...

Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditions. In addition, reasoning with insufficient input information is formulated to yield meaningful results. In both rule-base verification and reasoning with insufficient data, heuristic methods like backward-chained re...

Practical reasoning, reasoning about what actions should be chosen, is highly dependent both on the individual values of the agent concerned and on what others choose to do. We discuss how value based argumentation about what to do can be performed without making assumptions about the preferences of the other agents. We then show how expected utility calculations relate to the valuebased argume...

In this paper we present an approach to abductive reasoning in law by examining it in the context of an argumentation scheme for practical reasoning. We present a particular scheme, based on an established scheme for practical reasoning, that can be used to reason abductively about how an agent might have acted to reach a particular scenario, and the motivations for doing so. Plausibility here ...

In this report we discuss the typology of dialogues given by Walton and Krabbe and offer a precise interpretation of them. We go on to discuss one of these dialogue types persuasion in the context of practical reasoning and the problems associated with such reasoning. We propose a perspective on practical reasoning as presumptive justification and critical questions, giving an extension to the ...

Description Logics knowledge bases are traditionally divided into a terminological part (Tbox), and an assertional part (Abox). However, most of recent results on practical algorithms are confined to terminological reasoning only. Due to the applications of Description Logics for databases and the so-called “Semantic Web”, there is a growing interest for practical algorithms for Abox reasoning....