Approximating stability for applied argument-based inquiry

Autor: Daphne Odekerken, Floris Bex, AnneMarie Borg, Bas Testerink
Jazyk: angličtina
Rok vydání: 2022
Předmět:
Zdroj: Intelligent Systems with Applications, Vol 16, Iss , Pp 200110- (2022)
Druh dokumentu: article
ISSN: 2667-3053
DOI: 10.1016/j.iswa.2022.200110
Popis: In argument-based inquiry, agents jointly construct arguments supporting or attacking a topic claim to find out if the claim can be accepted given the agents’ knowledge bases. While such inquiry systems can be used for various forms of automated information intake, several efficiency issues have so far prevented widespread application. In this paper, we aim to tackle these efficiency issues by exploring the notion of stability: can additional information change the justification status of the claim under discussion? Detecting stability is not tractable for every input, since the problem is CoNP-complete, yet in practical applications it is essential to guarantee efficient computation. This makes approximation a viable alternative. We present a sound approximation algorithm that recognises stability for many inputs in polynomial time and discuss several of its properties. In particular, we show that the algorithm is sound and identify constraints on the input under which it is complete. As a final contribution of this paper, we describe how the proposed algorithm is used in three different case studies at the Netherlands Police.
Databáze: Directory of Open Access Journals