Abstract I will argue for a novel variant of the knowledge norm practical reasoning. In Sect. 2, look at current variations reasoning and provide reasons to doubt these proposals. Sects. 3 4, develop my own proposal according which is apt Section 5 considers objections. Finally, 6 concerns normativity proposed its significance.

1. Instrumental reasoning. Aristotle identified practical reasoning as reasoning that concludes in an act, and he was thinking of a non-mental act such as tasting food. But reasoning is a mental process, which takes place in the reasoner's mind. Its conclusion must be a mental state or a mental event; it cannot be a non-mental act. I therefore identify practical reasoning as reasoning that conc...

CRRAR Surely one of the most important contributions of Trevor Bench-Capon to computer science, and especially to artificial intelligence and law, and for that matter to argumentation theory and cognitive science generally, is the model of value-based practical reasoning he has given us. He introduced value-based argumentation frameworks (VAF's) in (Bench-Capon, 2002; Bench-Capon, 2002a; Bench-...

Knowledge modeling perspectives on knowledge acquisition suggest that it is reasonable to analyze knowledge bases as collections of models. This paper focuses on those parts of the knowledge base that model the practical reasoning processes of human experts, and asks what properties those models might be expected to have. It surveys the general notion of a model and its connotations in informat...

In this paper we discuss arguments embodying practical reasoning — arguments as to what it is sensible for someone to do in a given situation. We draw attention to differences between practical reasoning and reasoning about beliefs, and suggest that practical arguments should be treated as a species of presumptive reasoning, best handled using argumentation schemes and associated critical quest...

By “practical reasoning” I shall understand reasoning about what to do. Doing something includes as the most elementary case (1) the immediate initiation of a change in the agent itself (typically a movement of some part or parts of its body). More complex cases are (2) the immediate initiation of a series of bodily movements and (3) adoption of an intention to initiate a sequence of bodily mov...

I need at the start to say something about the relevance of logic, probability, and decision theory to reasoning by oneself—inference and deliberation—and to reasoning with others. The matter is complicated because the terms “logic”, “theory of probability”, and “decision theory” are used sometimes to refer to formal mathematical theories of implication and consistency, sometimes to refer to th...

In virtual training scenarios, agent technology can be used to build a virtual tutor that assists a student during training. In a dialogue using argumentation schemes, the virtual tutor provides reasons to the students to explain why a particular action is the most sensible. The tutor determines the best action using practical reasoning. The justification of this action is selected based on the...

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problemat-ical. We present an algorithm that decides satissability of the DL ALC extended with transitive and inverse roles, role hierarc...