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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Moguillansky, M. O., Rotstein, N. D., Falappa, M. A., & Simari, G. R. (2009). Generalized abstract argumentation: Handling arguments in FOL fragments. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5590 LNAI, pp. 144–155). https://doi.org/10.1007/978-3-642-02906-6_14
Mendeley helps you to discover research relevant for your work.