Formalization of argument accrual: Acceptability semantics and dialectical proof procedure

Article type: Other

Authors: Gómez Lucero, Mauro J.

Affiliations: National Council of Scientific and Technical Research, Artificial Intelligence Research & Development Laboratory, Universidad Nacional del Sur, Bahía Blanca, Argentina. E-mail: [email protected]

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.

Keywords: Argumentation, commonsense reasoning, argument accrual

DOI: 10.3233/AIC-130569

Journal: AI Communications, vol. 26, no. 4, pp. 413-415, 2013