Consistent Query Answering Using Relational Databases through Argumentation

  • Cristhian A. D. Deagustini
  • Santiago E. Fulladoza Dalibón
  • Sebastián Gottifredi
  • Marcelo A. Falappa
  • Guillermo R. Simari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7447)

Abstract

This paper introduces a framework that integrates a reasoner based on defeasible argumentation with a large information repository backed by one or several relational databases. In our scenario, we assume that the databases involved are updated by external independent applications, possibly introducing inconsistencies in a particular database, or leading to inconsistency among the subset of databases that refer to the same data. Argumentation reasoning will contribute with the possibility of obtaining consistent answers from the information repository with the properties described. We present the Database Integration for Defeasible Logic Programming (DBI-DeLP) framework, which enables commonsense reasoning based on Defeasible Logic Programming (DeLP) by extending the system capabilities to handle large amounts of data and providing consistent answers for queries posed to it.

Keywords

Relational Database Strict Rule Dialectical Process Consistent Answer Argumentation Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artif. Intell. 171, 619–641 (2007)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Besnard, P., Hunter, A.: Elements of Argumentation. The MIT Press (2008)Google Scholar
  3. 3.
    Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence. Springer (2009)Google Scholar
  4. 4.
    Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1) (1997)Google Scholar
  5. 5.
    Dung, P., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170(2), 114–159 (2006)MathSciNetMATHCrossRefGoogle Scholar
  6. 6.
    Amgoud, L., Kaci, S.: An Argumentation Framework for Merging Conflicting Knowledge Bases: The Prioritized Case. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 527–538. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    García, A.J., Simari, G.R.: Defeasible logic programming an argumentative approach. TPLP, 95–138 (2004)Google Scholar
  8. 8.
    Stolzenburg, F., García, A.J., Chesñevar, C.I., Simari, G.R.: Computing generalized specificity. Journal of Applied Non-Classical Logics 13(1), 87–113 (2003)MATHCrossRefGoogle Scholar
  9. 9.
    Santos, E., Martins, J.P., Galhardas, H.: An argumentation-based approach to database repair. In: 19th European Conf. on AI (ECAI), pp. 125–130 (2010)Google Scholar
  10. 10.
    Celle, A., Bertossi, L.: Querying Inconsistent Databases: Algorithms and Implementation. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 942–956. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  11. 11.
    Bertossi, L.: Consistent query answering in databases. SIGMOD Record 35(2), 68–76 (2006)CrossRefGoogle Scholar
  12. 12.
    Bassiliades, N., Antoniou, G., Vlahavas, I.P.: A defeasible logic reasoner for the semantic web. Int. J. Semantic Web Inf. Syst. 2(1), 1–41 (2006)CrossRefGoogle Scholar
  13. 13.
    Bertossi, L., Hunter, A., Schaub, T.: Introduction to Inconsistency Tolerance. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 1–14. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Cristhian A. D. Deagustini
    • 1
    • 2
    • 3
  • Santiago E. Fulladoza Dalibón
    • 1
    • 2
    • 3
  • Sebastián Gottifredi
    • 1
    • 3
  • Marcelo A. Falappa
    • 1
    • 3
  • Guillermo R. Simari
    • 1
  1. 1.Artificial Intelligence Research and Development Laboratory, Department of Computer Science and EngineeringUniversidad Nacional del SurBahía BlancaArgentina
  2. 2.Faculty of Administrative ScienciesUniversidad Nacional de Entre RíosConcordiaArgentina
  3. 3.Consejo Nacional de Investigaciones Científicas y TécnicasArgentina

Personalised recommendations