Title | ||
---|---|---|
Formalization of argument accrual: Acceptability semantics and dialectical proof procedure |
Abstract | ||
---|---|---|
Argumentation is a powerful paradigm able to formalize commonsense reasoning, finding application in different domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most of these argumentation-based formalizations do not model the notion of argument accrual, which has been recently gaining importance. This thesis defines a novel formalization of argument accrual, including a declarative characterization of this notion and an associated operational characterization addressing computation. The proposed formalization makes contributions to the existing accrual approaches, mainly concerning the answers obtained, answer explanation, accrual evaluation and comparison, and efficiency of computation. |
Year | DOI | Venue |
---|---|---|
2013 | 10.3233/AIC-130569 | AI Commun. |
Keywords | Field | DocType |
argumentation-based formalization,argument accrual,automated negotiation,acceptability semantics,dialectical proof procedure,declarative characterization,automated reasoning,novel formalization,accrual evaluation,commonsense reasoning,existing accrual approach,operational characterization | Automated reasoning,Accrual,Computer science,Argumentation theory,Commonsense reasoning,Artificial intelligence,Proof procedure,Dialectic,Semantics,Negotiation | Journal |
Volume | Issue | ISSN |
26 | 4 | 0921-7126 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
gomez lucero | 1 | 20 | 1.87 |
j mauro | 2 | 12 | 2.21 |