Argument construction and reinstatement in logics for defeasible reasoning

被引：23

作者：

Horty J.F. ^{[1
]}

机构：

[1] Philosophy Department, Inst. for Advanced Computer Studies, University of Maryland, College Park

来源：

Artificial Intelligence and Law | 2001年 / 9卷 / 1期

关键词：

Artificial Intelligence; Computational Linguistic; Logical System; Legal Aspect; Legal Reasoning;

D O I：

10.1023/A:1011288805074

中图分类号：

学科分类号：

摘要：

This paper points out some problems with two recent logical systems - one due to Prakken and Sartor, the other due to Kowalski and Toni - designed for the representation of defeasible arguments in general, but with a special emphasis on legal reasoning.

引用

页码：1 / 28

页数：27

共 19 条

[1]

Bondarenko A., Dung P.M., Kowalski R., Toni F., An abstract, argumentation-theoretic approach to default reasoning, Artificial Intelligence, 93, pp. 63-101, (1997)

[2]

Dung P.M., On the acceptability of arguments and its fundamental role in nonmonotonic reason, logic programming, and n-person games, Artificial Intelligence, 77, pp. 321-357, (1995)

[3]

Dung P.M., Kowalski R., Toni F., Synthesis of proof procedures for default reasoning, Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'96), pp. 313-324, (1996)

[4]

Etherington D., Formalizing nonmonotonic reasoning systems, Artificial Intelligence, 31, pp. 41-85, (1987)

[5]

Etherington D., Reiter R., On inheritance hierarchies with exceptions, Proceedings of the Third National Conference on Artificial Intelligence (AAAI-83), pp. 104-108, (1983)

[6]

Horty J., Some direct theories of nonmonotonic inheritance, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, pp. 111-187, (1994)

[7]

Horty J., Thomason R., Mixing strict and defeasible inheritance, Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), pp. 427-432, (1988)

[8]

Horty J., Thomason R., Touretzky D., A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence, 42, pp. 311-348, (1990)

[9]

Kowalski R., Toni F., Abstract argumentation, Artificial Intelligence and Law, 4, pp. 275-296, (1996)

[10]

Pollock J., Defeasible reasoning, Cognitive Science, 11, pp. 481-518, (1987)

← 1 2 →