Defeasible Logic Programming (DeLP) is an argumentation-based reasoning tool that allows users to contemplate reasons for and against certain conclusions - -the warrant status of literals in the knowledge base is the main output of this dialectical process. Since the computation of these warrant statuses is a costly endeavor, any update to the knowledge base has a huge impact if carried out naively. In this paper, we study the case of updates consisting only of additions of either strict or defeasible rules, identifying conditions under which we can avoid wasted effort and proposing a data structure to keep track of which literals' warrant status can potentially be affected by a given update. We report the results of a preliminary set of experiments showing that our incremental algorithm affords significantly lower running times in practice.

Incremental computation of warranted arguments in dynamic defeasible argumentation: The rule addition case

Alfano, Gianvincenzo;Greco, Sergio;Parisi, Francesco;
2018

Abstract

Defeasible Logic Programming (DeLP) is an argumentation-based reasoning tool that allows users to contemplate reasons for and against certain conclusions - -the warrant status of literals in the knowledge base is the main output of this dialectical process. Since the computation of these warrant statuses is a costly endeavor, any update to the knowledge base has a huge impact if carried out naively. In this paper, we study the case of updates consisting only of additions of either strict or defeasible rules, identifying conditions under which we can avoid wasted effort and proposing a data structure to keep track of which literals' warrant status can potentially be affected by a given update. We report the results of a preliminary set of experiments showing that our incremental algorithm affords significantly lower running times in practice.
9781450351911
Argumentation systems; Defeasible logic programming; Incremental computation; Structured argumentation; Software
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/285373
 Attenzione

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

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