Generalized Abstract Argumentation: Handling Arguments in FOL Fragments

MARTÍN O. MOGUILLANSKY; NICOLÁS D. ROTSTEIN; MARCELO A. FALAPPA; GUILLERMO R. SIMARI

LECTURE NOTES IN COMPUTER SCIENCE

Springer

Lugar: New York; Año: 2009 vol. 5590 p. 144 - 155

0302-9743

Generalized argumentation frameworks relate formulae in classical logic to arguments based on the Dung’s classic framework. The main purpose of the generalization is to provide a theory capable of reasoning (following argumentation technics) about inconsistent knowledge bases (KB) expressed in FOL fragments. Consequently, the notion of argument is related to a single formula in the KB. This allows to share the same primitive elements from both, the framework (arguments) and, the KB (formulae). A framework with such features would not only allow to manage a wide range of knowledge representation languages, but also to cope with the dynamics of knowledge in a straightforward manner.