Ben-Naim, Jonathan; David, Victor; Hunter, Anthony; (2025) An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation. In: Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Knowledge Representation & Reasoning in Planning & Scheduling: Melbourne, Australia. (In press).

Text KR_Modular_Decoding_of_Enthymeme.pdf - Accepted Version Access restricted to UCL open access staff until 2 February 2026. Download (452kB)

Abstract

An argument can be seen as a pair of premises and a claim they support. Human arguments are often approximate, with some premises left implicit, leading to an implicit inference of the claim, i.e., forming enthymemes. To better understand and use them, we must decode these approximate enthymemes, typically by identifying missing premises to make the inference explicit, and, as we propose, by also removing irrelevant content to improve argument quality in specific contexts. Often, multiple decodings of an enthymeme are possible. However, no formal method has yet been proposed for identifying higher-quality decodings. To pave the way, we introduce six types of criteria for evaluating aspects of decodings. Then, we introduce the concept of a criterion measure, designed to evaluate decodings based on a specific criterion. In parallel, we define desirable properties for criterion measures, referred to as axioms, and we systematically evaluate our criterion measures with respect to them. Finally, we introduce the notion of quality measure that combine specific criterion measures to give an overall evaluation of the quality of decodings.

Download activity - last month

Export as XMLCSVJSON

Download activity - last 12 months

Export as CSVXMLJSON

Downloads by country - last 12 months

Export as CSVXMLJSON

Archive Staff Only

View Item