Considering the structure of arguments allows users to analyze reasons for and against a conclusion; the warrant status of such a conclusion in the context of a knowledge base represents the main output of a dialectical process. A naive approach to computing such statuses is costly, and any update to the knowledge base potentially has a huge impact if done in this manner. We study the case of updates consisting of both additions and removals of pieces of knowledge in the Defeasible Logic Programming (DeLP) framework, first analyzing the complexity of the problem and then identifying conditions under which we can avoid unnecessary computations—central to this is the development of data structures to keep track of which results can potentially be affected by a given update. We also present experiments showing that our incremental algorithm yields significantly lower running times in practice, as well as overall fewer recomputations.

An incremental approach to structured argumentation over dynamic knowledge bases

Alfano G.;Greco S.;Parisi F.;
2018-01-01

Abstract

Considering the structure of arguments allows users to analyze reasons for and against a conclusion; the warrant status of such a conclusion in the context of a knowledge base represents the main output of a dialectical process. A naive approach to computing such statuses is costly, and any update to the knowledge base potentially has a huge impact if done in this manner. We study the case of updates consisting of both additions and removals of pieces of knowledge in the Defeasible Logic Programming (DeLP) framework, first analyzing the complexity of the problem and then identifying conditions under which we can avoid unnecessary computations—central to this is the development of data structures to keep track of which results can potentially be affected by a given update. We also present experiments showing that our incremental algorithm yields significantly lower running times in practice, as well as overall fewer recomputations.
2018
Structured argumentation, Incremental computation, Dynamic knowledge bases
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/319222
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 25
  • ???jsp.display-item.citation.isi??? 20
social impact