An Argumentation Framework for Reasoning about Bounded Resources

被引：1

作者：

Besnard, Philippe ^{[1
]}

Gregoire, Eric ^{[1
]}

Raddaoui, Badran ^{[1
]}

机构：

[1] Univ Toulouse, CNRS, UMR 5505, IRIT, F-31065 Toulouse, France

来源：

2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1 | 2012年

关键词：

LOGIC;

D O I：

10.1109/ICTAI.2012.79

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper is intended to lay down the basic foundations of logic-based argumentation for reasoning about bounded resources. First, a simple variant of Boolean logic is introduced, allowing us to reason about consuming resources. An adapted tableau method is presented as a means for automated reasoning in the logic. Then, the main concepts of logic-based argumentation are revisited in this framework.

引用

页码：540 / 547

页数：8

共 20 条

[1]

Abrusci VM, 2000, ANN PURE APPL LOGIC, V101, P29, DOI 10.1016/S0168-0072(99)00014-7

[2] Argumentation in artificial intelligence [J].

Bench-Capon, T. J. M. ;

Dunne, Paul E. .

ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) :619-641

[3]

Besnard Philippe, 2010, 2010 IEEE International Conference on Information Reuse & Integration (IRI 2010), P239, DOI 10.1109/IRI.2010.5558935

[4] A logic-based theory of deductive arguments [J].

Besnard, P ;

Hunter, A .

ARTIFICIAL INTELLIGENCE, 2001, 128 (1-2) :203-235

[5]

Besnard P., 2008, Elements of Argumenta- tion

[6] Logical models of argument [J].

Chesñevar, CI ;

Maguitman, AG ;

Loui, RP .

ACM COMPUTING SURVEYS, 2000, 32 (04) :337-383

[7] ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES [J].

DUNG, PM .

ARTIFICIAL INTELLIGENCE, 1995, 77 (02) :321-357

[8] Defeasible logic programming:: an argumentative approach [J].

García, AJ ;

Simari, GR .

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 :95-138

[9] LINEAR LOGIC [J].

GIRARD, JY .

THEORETICAL COMPUTER SCIENCE, 1987, 50 (01) :1-102

[10] A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY [J].

KRAUSE, P ;

AMBLER, S ;

ELVANGGORANSSON, M ;

FOX, J .

COMPUTATIONAL INTELLIGENCE, 1995, 11 (01) :113-131

← 1 2 →