Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in [1].
Principles for Assumptions Generation in Enthymeme-Based Dialogue
Authors: Diego S. Orbe Leiva, Alejandro J. Garcia, Sebastian Gottifredi
JAIR 2025 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | This work introduces the concept of assumptions operator, which formalizes the mechanism for generating these assumptions, and proposes a set of principles to guide the construction of these operators. Said principles are inspired by Grice s Maxims of Conversation, as well as Govier s ARG conditions for cogent arguments. Then, in order to analyze how the used operator influences the dialogue and how that dialogue differs from the one in which the original argument is sent, we propose a framework to compare both scenarios, the former being the enthymemic one and the latter the complete one. Finally, we formally show that if the used assumptions operator complies with a set of the aforementioned principles, then most arguments in the complete dialogue have their counterpart in the enthymemic one. Furthermore, we show that under certain conditions, the enthymemic dialogue preserves some semantic properties from the complete one, specifically: conflict-freeness, acceptability and admissibility. |
| Researcher Affiliation | Academia | DIEGO S. ORBE LEIVA , Institute for Computer Science and Engineering (CONICET-UNS), Department of Computer Science & Engineering, Universidad Nacional del Sur, Argentina ALEJANDRO J. GARCÍA, Institute for Computer Science and Engineering (CONICET-UNS), Department of Computer Science & Engineering, Universidad Nacional del Sur, Argentina SEBASTIAN GOTTIFREDI, Institute for Computer Science and Engineering (CONICET-UNS), Department of Computer Science & Engineering,Universidad Nacional del Sur, Argentina |
| Pseudocode | No | The paper describes formal definitions, principles, and theorems. It uses mathematical notation and descriptive text for mechanisms and arguments but does not include any clearly labeled pseudocode or algorithm blocks. For example, Definition 5 ('Needed Assumptions Operator') defines a function using conditions and set operations, but it's not presented as a procedural algorithm. |
| Open Source Code | No | The paper does not contain any explicit statements about releasing source code, nor does it provide links to any code repositories or supplementary materials for code implementation. The work focuses on theoretical formalizations. |
| Open Datasets | No | The paper uses informal examples (e.g., 'Example 1.1 (Informal dialogue)', 'Example 3.1', 'Example 3.2') to illustrate theoretical concepts and formalizations. It does not use or refer to any specific public datasets for empirical evaluation or analysis. |
| Dataset Splits | No | The paper does not use any datasets for empirical evaluation, hence there is no information provided about training, test, or validation splits. |
| Hardware Specification | No | The paper focuses on theoretical contributions and formalizations of logical argumentation. It does not describe any experiments that would require specific hardware, and consequently, no hardware specifications are mentioned. |
| Software Dependencies | No | The paper discusses formalisms like ASPIC+ but does not mention any specific software, libraries, or tools with version numbers that were used for implementation or analysis. The work is purely theoretical. |
| Experiment Setup | No | The paper is theoretical, presenting concepts, principles, and formal proofs. It does not describe any empirical experiments, and therefore, there are no details regarding experimental setup, hyperparameters, or training configurations. |