Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dung, P.: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming and n-person Games. Artif. Intell. 77, 321–357 (1995)
Moguillansky, M., Rotstein, N., Falappa, M.: A Theoretical Model to Handle Ontology Debugging & Change Through Argumentation. In: IWOD (2008)
Rotstein, N., Moguillansky, M., García, A., Simari, G.: An Abstract Argumentation Framework for Handling Dynamics. In: NMR, pp. 131–139 (2008)
Rotstein, N., Moguillansky, M., Falappa, M., García, A., Simari, G.: Argument Theory Change: Revision Upon Warrant. In: COMMA, pp. 336–347 (2008)
Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics. Artif. Intell. 82(1-2), 353–367 (1996)
Baader, F.: Logic-Based Knowledge Representation. Artif. Intell., Today 13–41 (1999)
Besnard, P., Hunter, A.: Practical First-Order Argumentation. In: AAAI, pp. 590–595 (2005)
Vreeswijk, G.: Abstract Argumentation Systems. Artif. Intell. 90(1-2), 225–279 (1997)
Martínez, D.C., García, A.J., Simari, G.R.: Modelling Well-Structured Argumentation Lines. In: IJCAI, pp. 465–470 (2007)
Baroni, P., Giacomin, M.: On Principle-Based Evaluation of Extension-Based Argumentation Semantics. Artificial Intelligence 171(10-15), 675–700 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moguillansky, M.O., Rotstein, N.D., Falappa, M.A., Simari, G.R. (2009). Generalized Abstract Argumentation: Handling Arguments in FOL Fragments. In: Sossai, C., Chemello, G. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2009. Lecture Notes in Computer Science(), vol 5590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02906-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-02906-6_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02905-9
Online ISBN: 978-3-642-02906-6
eBook Packages: Computer ScienceComputer Science (R0)