Consistent Query Answering Using Relational Databases through Argumentation
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.
KeywordsRelational Database Strict Rule Dialectical Process Consistent Answer Argumentation Process
Unable to display preview. Download preview PDF.
- 2.Besnard, P., Hunter, A.: Elements of Argumentation. The MIT Press (2008)Google Scholar
- 3.Rahwan, I., Simari, G.R.: Argumentation in Artificial Intelligence. Springer (2009)Google Scholar
- 4.Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1) (1997)Google Scholar
- 7.García, A.J., Simari, G.R.: Defeasible logic programming an argumentative approach. TPLP, 95–138 (2004)Google Scholar
- 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.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