A Dialectical Formalisation of Preferred Subtheories Reasoning Under Resource Bounds

TY - JOUR

T1 - A Dialectical Formalisation of Preferred Subtheories Reasoning Under Resource Bounds

AU - Modgil, Sanjay

N1 - Publisher Copyright: © 2025 The Author(s)

PY - 2025/5

Y1 - 2025/5

N2 - Dialectical Classical Argumentation (Dialectical Cl-Arg) has been shown to satisfy rationality postulates under resource bounds. In particular, the consistency and non-contamination postulates are satisfied despite dropping the assumption of logical omniscience and the consistency and subset minimality checks on arguments’ premises that are deployed by standard approaches to Cl-Arg. This paper studies Dialectical Cl-Arg’s formalisation of Preferred Subtheories (PS) non-monotonic reasoning under resource bounds. The contribution of this paper is twofold. First,we establish soundness and completeness for Dialectical Cl-Arg’s credulous consequence relation under the preferred semantics and credulous PS consequences. This result paves the way for the use of argument game proof theories and dialogues that establish membership of arguments in admissible (and so preferred) extensions, and hence the credulous PS consequences of a belief base. Second, we refine the non-standard characteristic function for Dialectical Cl-Arg, and use this refined function to show soundness for Dialectical Cl-Arg consequences under the grounded semantics and resource-bounded sceptical PS consequence. We provide a counterexample thatshows that completeness does not hold. However, we also show that the grounded consequences defined by Dialectical Cl-Arg strictly subsume the grounded consequences defined by standard Cl- Arg formalisations of PS, so that we recover sceptical PS consequences that one would intuitively expect to hold.

AB - Dialectical Classical Argumentation (Dialectical Cl-Arg) has been shown to satisfy rationality postulates under resource bounds. In particular, the consistency and non-contamination postulates are satisfied despite dropping the assumption of logical omniscience and the consistency and subset minimality checks on arguments’ premises that are deployed by standard approaches to Cl-Arg. This paper studies Dialectical Cl-Arg’s formalisation of Preferred Subtheories (PS) non-monotonic reasoning under resource bounds. The contribution of this paper is twofold. First,we establish soundness and completeness for Dialectical Cl-Arg’s credulous consequence relation under the preferred semantics and credulous PS consequences. This result paves the way for the use of argument game proof theories and dialogues that establish membership of arguments in admissible (and so preferred) extensions, and hence the credulous PS consequences of a belief base. Second, we refine the non-standard characteristic function for Dialectical Cl-Arg, and use this refined function to show soundness for Dialectical Cl-Arg consequences under the grounded semantics and resource-bounded sceptical PS consequence. We provide a counterexample thatshows that completeness does not hold. However, we also show that the grounded consequences defined by Dialectical Cl-Arg strictly subsume the grounded consequences defined by standard Cl- Arg formalisations of PS, so that we recover sceptical PS consequences that one would intuitively expect to hold.

UR - http://www.scopus.com/inward/record.url?scp=85217974837&partnerID=8YFLogxK

U2 - 10.1016/j.ijar.2025.109385

DO - 10.1016/j.ijar.2025.109385

M3 - Article

SN - 0888-613X

VL - 180

JO - INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

JF - INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

M1 - 109385

ER -