Practical reasoning as presumptive argumentation using action based alternating transition systems
Practical reasoning as presumptive argumentation using action based alternating transition systems
复制标题
DOI：
10.1016/j.artint.2007.04.009
复制
发表时间：
2007-07-01
影响因子：
14.4
通讯作者：
Bench-Capon, Trevor
中科院分区：
文献类型：
--
作者：
Atkinson, Katie;Bench-Capon, Trevor
在本文中，我们描述了一种方法来实践推理，推理什么是最好的一个特定的代理人做在给定的情况下，根据推定的理由，通过实例化的参数方案，然后通过一系列的关键问题进行检查的行动。我们确定了实践推理的三个特殊方面，将其与理论推理区分开来。接下来，我们提供了一个论证方案和一组相关的关键问题，这些问题能够捕捉到这些特征。为了使论证方案和关键问题都能得到精确的解释，我们使用了一个基于语义的交替转换系统的语义结构作为它们定义的基础。然后，我们通过一个详细的例子来说明这种方法的实际推理可以应用到解决问题的情况下，并简要描述了一些其他以前的一般方法的应用。在第二个例子中，我们将我们的帐户的社会法律范式协调多代理系统。本文的贡献是提供坚实的基础上的一个众所周知的模型，代表一组代理人的行动的影响的假设参数的基础上的实际推理的方法。(c)2007 Elsevier B.V.保留所有权利。
In this paper we describe an approach to practical reasoning, reasoning about what it is best for a particular agent to do in a given situation, based on presumptive justifications of action through the instantiation of an argument scheme, which is then subject to examination through a series of critical questions. We identify three particular aspects of practical reasoning which distinguish it from theoretical reasoning. We next provide an argument scheme and an associated set of critical questions which is able to capture these features. In order that both the argument scheme and the critical questions can be given precise interpretations we use the semantic structure of an Action-Based Alternating Transition System as the basis for their definition. We then work through a detailed example to show how this approach to practical reasoning can be applied to a problem solving situation, and briefly describe some other previous applications of the general approach. In a second example we relate our account to the social laws paradigm for co-ordinating multi-agent systems. The contribution of the paper is to provide firm foundations for an approach to practical reasoning based on presumptive argument in terms of a well-known model for representing the effects of actions of a group of agents. (c) 2007 Elsevier B.V. All rights reserved.