## Preference-Based Abstract Argumentation for Case-Based Reasoning (with Appendix)

Adam Gould 1 , Guilherme Paulino-Passos 1 , Seema Dadhania 2 , Matthew Williams 2 , Francesca Toni 1

{

1 Department of Computing, Imperial College London, UK 2 Department of Surgery and Cancer, Imperial College London, UK adam.gould19, gppassos, s.dadhania, matthew.williams, f.toni } @imperial.ac.uk,

## Abstract

In the pursuit of enhancing the efficacy and flexibility of interpretable, data-driven classification models, this work introduces a novel incorporation of user-defined preferences with Abstract Argumentation and Case-Based Reasoning (CBR). Specifically, we introduce Preference-Based Abstract Argumentation for Case-Based Reasoning (which we call AA-CBRP ), allowing users to define multiple approaches to compare cases with an ordering that specifies their preference over these comparison approaches. We prove that the model inherently follows these preferences when making predictions and show that previous abstract argumentation for case-based reasoning approaches are insufficient at expressing preferences over constituents of an argument. We then demonstrate how this can be applied to a real-world medical dataset sourced from a clinical trial evaluating differing assessment methods of patients with a primary brain tumour. We show empirically that our approach outperforms other interpretable machine learning models on this dataset.

As a result, AA-CBR represents a novel paradigm as an intrinsically explainable classification model. The need for such models in high-stakes decision-making is becoming increasingly apparent. In medical domains, for instance, decision-support tools need to be understood by a clinician for trust to be established and disagreements to be resolved (Amann et al. 2020). Moreover, legal requirements, such as those established by GDPR (Goodman and Flaxman 2017), require explainable AI to varying extents.

## 1 Introduction

Abstract argumentation is a formalism for representing arguments and relationships between them, and for computing which arguments to accept (Dung 1995). It has been shown to be effective for recommendation systems (Rago et al. 2020), decision-making tasks (Amgoud and Prade 2009), reasoning with incomplete knowledge (Briguez et al. 2014) and approaches to explainable artificial intelligence ( ˇ yras C et al. 2021b).

Case-based reasoning (CBR) is a problem-solving methodology where new problems are solved by retrieving and adapting solutions from similar past cases. Approaches to combine CBR with abstract argumentation are successful for explaining the output of machine learning (Prakken and Ratsma 2022) or for making predictions (Cocarascu et al. 2020). Abstract Argumentation for Case-Based Reasoning (AA-CBR) ( ˇ yras, Satoh, and Toni 2016) is a data-driven C interpretable classification and explanation model which has been shown to have utility in many tasks, for example, as an interpretable binary classifier (Cocarascu, Cyras, and ˇ Toni 2018; Cocarascu et al. 2020; Paulino-Passos and Toni 2023), for cautiously monotonic reasoning (Paulino-Passos and Toni 2021a) or for explaining known legislative outcomes ( ˇ yras et al. 2019). C

However, previous approaches to AA-CBR are missing the ability to compare cases by user-defined preferences. Preferences allow stakeholders to influence a decision-making tool and inject domain-specific knowledge, resulting in more desirable reasoning systems or betterperforming models. Preferences have been integrated with argumentation systems through a variety of approaches, for example, preferences defined over abstract arguments in preference-based argumentation frameworks (Amgoud and Cayrol 1998); preferences defined over structured arguments in ASPIC+ (Modgil and Prakken 2013); preferences defined over values assigned to arguments as in value-based argumentation frameworks (Bench-Capon 2003); preferences defined by defeats of attack relations as with extended argumentation frameworks (Modgil 2009); preferences defined over constituents of an argument such as with AssumptionBased Argumentation with Preferences (ABA+) (Cyras and Toni 2016); and preferences over constituents of cases in which arguments are derived such as with case models 1 (Zheng, Grossi, and Verheij 2020).

Within healthcare, preferences allow for specialist expertise and patient goals to affect the decision-making process, leading to more agreeable courses of action (Politi et al. 2013). Moreover, preferences with argumentation have many applications within the medical domain ( ˇ yras et al. C 2021a; Kakas, Moraitis, and Spanoudakis 2018; Hunter and Williams 2012; Williams et al. 2015).

Despite this, there is yet to be an AA-CBR-based approach that can integrate preferences over the constituents of arguments. Considering the benefits of AA-CBR as an interpretable classification model, adding preferences will

1 Literature on AA-CBR, including this work, uses the terms 'arguments' and 'cases' interchangeably, however, in work on case models, these concepts are separate.

improve the model's utility, flexibility, and performance. In this work, we address the limitations of AA-CBR in this space and contribute the following:

- · Introduction of Preference-Based Abstract Argumentation for Case-Based Reasoning (AA-CBRP ), a model that allows preferences to be defined over comparison methods of cases.
- · Demonstration that AA-CBRP cannot be captured by existing AA-CBR methods.
- · Prove that AA-CBRP inherently respects preferences when making classifications, where possible.
- · Conduct an empirical study on a real-world medical data set sourced from a clinical trial on patients with a primary brain tumour.
- · Showcase how AA-CBRP models with preferences improve performance compared to existing AA-CBR approaches and outperform other interpretable machine learning models.

In Section 2 we provide the necessary preliminaries. We then demonstrate the motivation for integrating preferences with AA-CBR in Section 3. In Section 4, we introduce AA-CBRP . We explore properties in Section 5 and conduct an empirical evaluation of the models on a realworld medical dataset in Section 6. Section 7 discusses related work. We conclude in Section 8.

## 2 Preliminaries

## 2.1 Abstract Argumentation

An abstract argumentation framework (AF) (Dung 1995) is a pair ⟨ Args, ⇝ ⟩ where Args is a set of arguments and ⇝ ⊆ Args × Args is a binary relation between arguments. For arguments, α, β ∈ Args , α attacks β if α ⇝ β . An AF can be represented as a directed graph where nodes are arguments and edges represent attacks. A set of arguments E ⊆ Args defends an argument β ∈ Args if for all α ⇝ β there exists γ ∈ E such that γ ⇝ α . For determining which arguments to accept, we focus on the grounded extension (Dung 1995), which can be iteratively computed as G = ⋃ i ≥ 0 G i , where G 0 is the set of unattacked arguments and ∀ i ≥ 0 , G i +1 is the set of all arguments that G i defends.

## 2.2 Abstract Argumentation for Case-Based Reasoning (AA-CBR)

AA-CBR is a binary classification model utilising argumentation as the reasoner. It operates on a casebase D comprised of labelled examples of a generic characterisation . Given D and a new unlabelled example , N , AA-CBR assigns a label to the new case. Formally:

Definition 1 (Adapted from (Paulino-Passos and Toni 2021a; Cocarascu et al. 2020)) . Let D ⊆ X × Y be a finite casebase of labelled examples where X is a set of characterisations and Y = { δ, δ ¯ } is the set of possible outcomes. Each example is of the form ( x, y ) . Let ( x , δ δ ) be the default argument with δ the default outcome . Let N be an unlabelled example of the form ( x N , y ? ) with y ? an unknown outcome. The function AA-CBR ( D,x N ) assigns the new case an outcome as follows:

$$\text{AA-CBR} ( D, x _ { N } ) = \begin{cases} \delta & \text{if $(x_{\delta},\delta) \in \mathbb{G}$,} \\ \bar { \delta } & \text{otherwise.} \end{cases}$$

where G is the grounded extension of the argumentation framework derived from D and x N , known as AF D,x ( N ) .

AF D,x ( N ) is constructed with cases of differing outcomes modelled as arguments. It is assumed that characterisations of the data points are equipped with a partial order ≽ , which determines the direction of attacks within the casebase and is used to ensure attacks occur between cases with minimal difference. The new case ( x N , y ? ) is added to the AF by attacking cases considered irrelevant to it, as defined by a provided irrelevance relation ≁ .

Definition 2 (Adapted from (Paulino-Passos and Toni 2021a; Cocarascu et al. 2020)) . Let ≽ and ≁ be a partial order and binary relation defined over X , respectively. The argumentation framework AF D,x ( N ) mined from D and x N is ( Args, ⇝ ) in which:

- · Args = D ∪ { ( x , δ δ ) } ∪ { N }
- · for ( x , y α α ) , ( x , y β β ) ∈ D ∪ { ( x , δ δ ) } , it holds that ( x , y α α ) ⇝ ( x , y β β ) iff

̸

- 1. y α = y β , and

̸

- 2. either x α ≻ x β and ∃ ( x , y γ α ) ∈ D ∪ { ( x , δ δ ) } with x α ≻ x γ ≻ x β
- 3. or x α = x β ;
- · for ( x , y α α ) ∈ D ∪{ ( x , δ δ ) } , it holds that N ⇝ ( x , y α α ) iff N ≁ ( x , y α α ) .

̸

A casebase D is coherent iff there are no two cases ( x , y α α ) , ( x , y β β ) ∈ D such that x α = x β and y α = y β , and it is incoherent otherwise.

The second bullet of Definition 2 defines attacks between the cases in the casebase. Condition 2 ensures that attacks occur from greater cases to smaller ones according to the provided partial order. When multiple possible attacks occur, we enforce that attacks originate from the case with minimal difference compared to the attacked case. We refer to this as the most concise possible attack. Condition 3 defines symmetric attacks for an incoherent casebase.

## 2.3 AA-CBR with Stages

An extension to AA-CBR ( ˇ yras C et al. 2019) employs stages in the characterisations to represent dynamic features. Stages represent the time at which a case was recorded. If two cases have the same set of features, then the time measure is used to distinguish the cases. If the only difference between two cases is the time measure and the outcome, then it is possible that the change in outcome by the latter case is a result of features that have not been recorded. This approach recognises that not all data may be available and so uses a time measure as a proxy to reason about unknown data. This version of AA-CBR is not defined generally for any characterisation but instead only for a set of features and stages.

Specifically, each case is characterised by F × S , where F is a set of features and S represents the set of all subsequences of ⟨ s , . . . , s 1 n ⟩ . A subsequence refers to either the empty sequence ⟨⟩ or a contiguous sequence of elements, starting from s 1 and can contain any number of consecutive elements up to and including s n . Acase may be represented as (( F , S α α ) , y α ) , where F α is the set of features, S α is the stages and y α is the outcome. For clarity, we will represent cases without the inner brackets, i.e. ( F , S α α , y α ) . The subsequence relation ⊑ can be defined as in ( ˇ yras et al. 2019): C for S , S α β ∈ S , S β ⊑ S α iff either S β = ⟨ s , . . . , s 1 k ⟩ , S α = ⟨ s , . . . , s 1 m ⟩ and k ≤ m ≤ n or S β = ⟨⟩ , the empty sequence. We can then define the AF S ( D, F ( N , S N )) mined from D and N for AA-CBR with Stages, as follows:

Definition 3 (Adapted from ( ˇ yras et al. 2019)) C . The argumentation framework AF S ( D, F ( N , S N )) corresponding to a casebase D , a default outcome δ ∈ Y and a new case N = ( F N , S N , y ? ) , is ( Args, ⇝ ) such that:

- · Args = D ∪ { ∅ ⟨⟩ ( , , δ ) } ∪ { ( F N , S N , y ? ) }
- · ( ∅ ⟨⟩ , , δ ) is called the default argument
- · For ( F , S α α , y α ) , ( F , S β β , y β ) ∈ Args , it holds that ( F , S α α , y α ) ⇝ ( F , S β β , y β ) iff

̸

- 1. y α = y β , and

(different outcomes)

- 2. either
- (a) F α ⊃ F β , and

(specificity)

̸

- (b) ∃ ( F , S , y ) ∈ D
- γ γ α with (concision)

i

either

F

α

⊃

F

γ

⊃

ii iii

F

β

,

or

F

γ

=

F

α

and

S

α

⊐

S

γ

,

or

F

β

=

F

γ

and

S

α

⊒

S

γ

⊐

S

β

;

3. or

- (a) F = F and S ⊐ S and
- β α α β (advance)

̸

- and S α S γ S β ;
- (b) ∃ ( F , S γ γ , y α ) ∈ D with F γ = F α ⊐ ⊐

(proximity)

̸

̸

- · for ( F , S α α , y α ) ∈ D ∪ { ∅ ⟨⟩ ( , , δ ) } , it holds that ( F N , S N , y ? ) ⇝ ( F , S α α , y α ) iff either F N ⊇ F α or S N ⊒ S α .

Intuitively, a case ( F , S α α , y α ) attacks a case ( F , S β β , y β ) iff their outcomes differ (condition 1 ) and one of the following conditions is met. Firstly, ( F , S α α , y α ) is more specific than ( F , S β β , y β ) and is the most concise such case. If there are multiple such cases, ( F , S α α , y α ) must be the closest by stages (condition 2 ). Secondly, if ( F , S α α , y α ) has advanced further and changed the outcome, it suggests that ( F , S β β , y β ) might be missing some features expected to be acquired as it progresses through the stages. Proximity identifies the earliest stage when the outcome change is expected (condition 3 ).

## 3 Motivations

The partial order used to define attacks in the casebase is a key choice affecting the performance and explanations generated by an AA-CBR model. Selecting a different partial order at model construction may result in varying model performance even when using the same dataset. Additionally, different partial orders have different semantic meanings, so the explanations will differ when describing how an

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-cda97a70-1405-45db-ba4a-25f4fceee99c.jpg)

̸

(a) With ≽ = ⊇ and ≁ = ⊇ , the prediction for N 1 is + , ignoring case C 3 , which a clinician might expect to be used if feature d is considered more important for this task.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-8b8516d3-74b9-4683-95af-74619758d4dd.jpg)

(b) With ≽ = ≽ lex and ≁ = ≁ lex , the prediction for N 1 is -, where C 3 is now instrumental in this classification.

(c) With ≽ = ≽ lex and ≁ = ≁ lex , the prediction for N 2 is -, despite c being a high-priority feature associated with outcome + used in case C 2 , which is ignored in this classification.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-ba31d2a6-d3f5-4485-85e0-bc6741d92053.jpg)

Figure 1: A comparison of scenarios utilising AA-CBR with a naive attempt to introduce preferences

AA-CBR model made its final prediction. However, using a single partial order limits users' ability to express domainspecific preferences over how cases are compared.

Example 1. Consider a simple medical assessment tool for assessing patients' well-being. The tool represents patient features using sets and classifies patients as either being in 'good' health (+) or 'poor' health ( -) .

A past patient ( C 1 ) who gets regular exercise (feature a ) and has a healthy diet (feature b ) is in good health is represented by the case ( { a, b } , +) . Similarly, a patient ( C 2 ) who has adequate sleep (feature c ) is represented by the case ( { } c , +) . In contrast, a patient ( C 3 ) who currently has an infection (feature d ) and is considered in poor health is rep-

Figure 2: An AF derived from AA-CBR with Stages as defined in Definition 3. Despite C ′ 1 having features and stages equal to N ′ , the outcome predicted for N ′ is -, which differs from C ′ 1 's outcome. The nearest cases property does not hold.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-fa03b58a-baa6-403a-b354-fab7e7bbf266.jpg)

resented by the case ( { d , } -) . If we have no information from a patient, we act cautiously and assume they have a poor health outcome, so the default case ( C 0 ) is ( ∅ -, ) .

̸

Figure 1a shows the AF derived from AA-CBR to classify new case N 1 with features { a, b, d } . Here, we use ≽ = ⊇ and ≁ = ⊇ as in ( ˇ yras, C Satoh, and Toni 2016) where casebase cases only attack those with an opposing outcome and a subset of features. N 1 attacks C 2 by irrelevance as C 2 presents with feature c , which N 1 does not present with. Case C 1 is unattacked, and attacks C 0 , so the default case is not accepted. The grounded extension is { N ,C ,C 1 3 1 } . As a result, we classify the new case with outcome + . Case C 3 is not used in this classification, and thus neither is feature d .

The outcome in Example 1 may be counter-intuitive to a clinician deeming that having an infection ( d ) and sleeping well ( c ) are more important for this health assessment. Thus, despite regular exercise ( a ) and a healthy diet ( b ) , the clinician may wish for the new case to be classified as having a poor health outcome. Because C 3 contains an important feature ( d ), the clinician would expect the classification to utilise this case. Introducing preferences over constituent parts of the argument structure can thus change the ordering of the arguments to achieve the desired behaviour. The partial order used can be modified to create preferences between groups of features.

Example 2. Let us split the characterisation of each data point into two sets: a high-priority feature set and a lowpriority feature set. 2 Between two cases, the one that has a superset of high-priority features attacks, but if the two cases have the same high-priority feature set, then the one that has a superset of low-priority features attacks. This lexicographic application can be achieved by a single partial order defined as follows:

Let X ⊆ F H × F L where F H = { c, d } is the set of possible high-priority features and F L = { a, b } is the possible set

2 This split is for presentation purposes only - each example contains the same features as in Example 1.

of low-priority features. A case is of the form (( H,L ,y ) ) where H contains the high-priority features and L the lowpriority features. Throughout this paper, we will remove the inner brackets when presenting cases for clarity.

Let ( H ,L α α ) ⊇ H ( H ,L β β ) iff H α ⊇ H β and ( H ,L α α ) ⊇ L ( H ,L β β ) iff L α ⊇ L β . The AA-CBR model can then be instantiated with a lexicographic application of these orders, ≽ lex , where ( H ,L α α ) ≽ lex ( H ,L β β ) iff

- 1. ( H ,L α α ) ⊃ H ( H ,L β β ) or
- 2. ( H ,L α α ) = H ( H ,L β β ) and ( H ,L α α ) ⊇ L ( H ,L β β ) .

We define the notion of irrelevance such that the attacks by the new case are the same as in Example 1:

̸

( H ,L α α ) ≁ lex ( H ,L β β ) iff H α ⊇ H β or L α ⊇ L β

̸

The AA-CBR model is instantiated with ≽ ≽ = lex and ≁ ≁ = lex and the cases in Example 1 are modified moving features to their respective priority feature sets.

The resulting AF is shown in Figure 1b. Now C 3 defends the default case because d is a higher priority feature not present in C 1 . The grounded extension is thus { N ,C ,C 1 3 0 } . The classification for N 1 is therefore -, as desired.

However, C 1 is now considered a more concise case (in the sense of Definition 2, item 2) to the default case compared to C 2 , preventing C 2 from attacking the default case. If we had another new case, N 2 , with features { a, c } , the expected outcome should be + , as both these features are only ever associated with this outcome in the casebase. Furthermore, C 2 should contribute to the classification as c is a high-priority feature. This situation is modelled in Figure 1c. With ≽ lex , C 2 is not used, and again, a high-priority feature is ignored. The grounded extension is { N ,C ,C 2 2 0 } , resulting in the counter-intuitive outcome, -, predicted for N 2 .

This illustrates how AA-CBR cannot effectively consider preferences over constituent parts of an argument. We require a new form of AA-CBR that respects these preferences by definition. Such a model should allow for an arbitrary number of preferences to be defined with no restrictions on how cases are characterised.

Definition 3 showcases a notion of preferences over comparisons of cases which introduced stages. This approach, however, is not generalised to work with characterisations beyond features and stages, nor allows for an arbitrary number of preferences to be defined. Furthermore, a useful property of AA-CBR relies on nearest cases , which are cases that are 'closest' by ≽ 3 : if all cases that are nearest to the new case agree on an outcome, then this is the outcome predicted. Whilst no definition of nearest cases is provided for AA-CBR with Stages in ( ˇ yras et al. 2019), we highlight an C example where this property would clearly be violated.

Example 3. Consider the casebase D ′ = { C , C , C ′ 0 ′ 1 ′ 2 , C ′ 3 } . The AF derived from AA-CBR with Stages for new case N ′ is shown in Figure 2. Note that the features and stages of C ′ 1 are the same as in N ′ . We, therefore, expect the predicted outcome for N ′ to be the same ( + ). However, this is not the case. The grounded extension is { N , C , C ′ ′ 1 ′ 2 } and the

3 We will provide a formal definition of nearest cases in our setting in Section 5.

predicted outcome for N ′ is -. Clearly, the nearest case condition does not hold.

Consequently, we cannot simply generalise the approach in AA-CBR with Stages. We need a new method that meets the requirements for allowing preferences to be defined and obeyed while ensuring that the nearest case property holds.

## 4 Preference-Based Abstract Argumentation for Case-Based Reasoning

We introduce AA-CBRP and its regular variant AA-CBRP ⟨⟩ , where a user can employ various preorders 4 defined over constituent parts of an argument. The preorders are sorted by preferences and applied using a lexicographic strategy. We begin by defining the collection of preorders.

Definition 4 (Preference Ordering) . Let P = ⟨ ≽ 1 , . . . , ≽ n ⟩ be a sequence of preorders, each defined over X . Each preorder, ≽ i , is a reflexive and transitive relation, with a corresponding strict preorder, ≻ i (which is irreflexive and transitive), and an equivalence relation, = i (which is reflexive, symmetric, and transitive). For cases ( x , y α α ) , ( x , y β β ) ∈ D ∪ { ( x , δ δ ) } , we define:

̸

- · x α ≻ i x β iff x α ≽ i x β and x β ≽ i x α
- · x α = i x β iff x α ≽ i x β and x β ≽ i x α

In simple terms, the ordering of P determines the preferences of the preorders. If two cases are equivalent by the first preorder, then a comparison under the second order can be used. If they are also equivalent by the second order, the third can be used. This process continues, using subsequent preorders when equivalence occurs. By incorporating multiple methods for comparing cases, we afford flexibility to select the approach that optimises performance and injects domain relevance. Consequently, we can create a new AACBR-based model that utilises P . To do so, we make use of the following shorthand:

Notation 1. We use x α ≽ [ j k : ] x β , where j ≤ k , to mean x α is equivalent or larger than x β on all preorders between orders ≽ j and ≽ k (inclusive). Formally:

$$x _ { \alpha } \succ _ { [ j ; k ] } x _ { \beta } \text{ iff } \forall i \in [ j, k ], x _ { \alpha } \succ _ { i } x _ { \beta }.$$

Shorthands for = [ j k : ] and ≻ [ j k : ] are defined analogously.

With this, we can create a definition similar to Definition 2 that enforces attacks in the direction defined by the sequence of partial orders and that attacks only originate from the most concise case possible, thus representing minimal change between cases. With the addition of multiple preorders, the concision condition must now consider the lexicographic application of the orders. We first define a notion of potential attacks for a particular order ≽ i , which describes attacks that would transpire if we do not consider concision.

4 Previous incarnations of AA-CBR use a partial order; as we use multiple orders to compare cases, each can be a preorder. For example, we have ( { c, d } { , a } ) ⊇ H ( { c, d } { } , b ) and ( { c, d } { } , b ) ⊇ H ( { c, d } { , a } ) but these two characterisations are not equivalent.

Definition 5 (Potential Attacks) . Let α = ( x , y α α ) and β = ( x , y β β ) . For α, β ∈ D ∪ { ( x , δ δ ) } , we define a potential attack on order ≽ i as: α p ⇝ i β iff

̸

i y α = y β , and ii x α ≻ i x β , and

$$\text{ii} \ x _ { \alpha } = _ { [ 1 \colon i - 1 ] } x _ { \beta }.$$

Intuitively, α potentially attacks β on order ≽ i when the outcomes of the cases are different ( ), i x α is strictly greater than x β by order ≻ i ( ii ) and they are equivalent on all orders before ≻ i ( iii ). Conditions ( ii ) and ( iii ) apply P lexicographically. We can subsequently restrict attacks to the most concise attacks.

Definition 6 (Casebase Attacks) . Let α = ( x , y α α ) and β = ( x , y β β ) . For α, β ∈ D ∪ { ( x , δ δ ) } , we define an attack on order ≽ i : α ⇝ i β iff

$$\stackrel { p } { \longrightarrow }$$

̸

$$\mathring { e } ^ { - } \\ \mathring { r } ^ { - } = \mathring { \alpha } \sim \mathring { \rho } _ { i } \ \beta \ \text{and} \\ \mathring { e }, \quad \mathring { i } \ \mathring { \psi } \gamma = ( x _ { \gamma }, y _ { \alpha } ) \in D \cup \{ ( x _ { \delta }, \delta ) \} \ \text{with} \ x _ { \alpha } \succ _ { [ 1 ; n ] } x _ { \gamma } \ \text{and} \\ \in \mathring { \alpha }, \quad \mathring { \alpha } \ \text{either} \ \gamma \ \stackrel { \mathring { p } } { \sim } _ { i } \beta \ \text{and} \ \exists l \geq i, x _ { \alpha } \succ _ { l } x _ { \gamma }, \\ \mathring { \alpha }, \quad \mathring { \alpha } \ \text{and} \ \exists l > i, \gamma \ \stackrel { \mathring { p } } { \sim } _ { l } \beta. \\ \mathring { \mathring { T } \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{matrix}$$

This definition states that case α attacks case β on order ≽ i if two conditions are met. Firstly, α potentially attacks β on order ≽ i ( ), and secondly, i α is the most concise case capable of such an attack ( ii ). Weillustrate the two conditions of concision in Figure 3, utilising the same characterisation approach as Example 2 and letting P = ⟨⊇ H , ⊇ ⟩ L .

- (a) Condition a details the circumstance where both α and γ can potentially attack β on order ≽ i and x γ is smaller than x α on at least one of the orders in P . As both α and γ are potential attackers of β , we know that they are both equivalent to β on all orders up to and including ≽ i -1 , that is x α = [1: i -1] x γ = [1: i -1] x β . Furthermore, as x α ≽ [1: n ] x γ , we know there is an l ′ such that l ≥ l ′ ≥ i in which x α = [ i -1: l ′ -1] x γ and x α ≻ l ′ x γ . This is to say, both x α and x γ are equivalent on all orders up to some order ≽ l ′ in which x α is greater than x γ . As a result, we can take γ as the more concise case. In Figure 3a, α potentially attacks β by ⊇ H but is blocked by the more concise case γ because they are equivalent on the first preorder, ⊇ H , i.e. both have features { c, d } , but γ is less specific on the second preorder as { a, b } ⊇ { a } .
- (b) Condition b covers the instance where α is greater than γ on ≽ i but γ cannot potentially attack β on order ≽ i as γ and β are equivalent on all orders up to and including ≽ i . γ is, therefore, only a more concise case if it can potentially attack by some order ≽ l where l &gt; i . This is because, by x α ≽ [1: n ] x γ , we have that α is greater than γ on all orders up to an including order ≽ l that is x α ≽ [1: ] l x γ . Therefore, we know that x α ≽ l x γ ≻ l x β and thus can take γ as a more concise case. In Figure 3b α potentially attacks β by ⊇ H but is blocked by γ which has an equivalent high-priority feature set as β (both of which are ∅ ) and γ has a superset of β 's low-priority features so γ attacks by order ⊇ L .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-8a2910ca-8881-4972-9217-5fdbe88d1060.jpg)

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-ede9e2ae-bfda-447f-b9ef-7ecca786f2ad.jpg)

γ

(a) γ is equivalent to α by order ⊇ H and smaller by order ⊇ L , blocking the attack from α .

(b) γ is smaller than α and equivalent to β by order ⊇ H but greater than β on order ⊇ L , thus blocking the attack from α .

Figure 3: Two AFs showcasing potential attacks that are blocked by more concise cases according to the two concision conditions

Furthermore, the constraint x α ≽ [1: n ] x γ in ( ii , Definition 6) ensures that the attacker α can never be blocked by a case that is greater by any preorder. If this did not hold, a nearest case may be irrelevant to a new case as in Example 3. This is discussed further in Section 5.

However, Definition 6 does not cover the circumstance where two cases may be equivalent to each other on all orders in P , leading to an incoherent casebase.

̸

Definition 7 (Coherent and Incoherent Casebases) . A casebase D is coherent iff there are no two cases ( x , y α α ) , ( x , y β β ) ∈ D such that x α = [1: n ] x β and y α = y β , and it is incoherent otherwise.

Incoherence is handled with symmetric attacks:

̸

Definition 8 (Incoherent Attacks) . For ( x , y α α ) , ( x , y β β ) ∈ D ∪ { ( x , δ δ ) } , we define an incoherent attack: ( x , y α α ) I ⇝ ( x , y β β ) iff x α = [1: n ] x β and y α = y β .

We have now defined all possible attacks between arguments in the casebase. We add the new case to the AF analogous to Definition 2, utilising a notion of irrelevance.

Definition 9 (New Case Attacks) . For ( x , y α α ) ∈ D ∪ { ( x , δ δ ) } and new case N = ( x N , y ? ) , we define a new case attack: N N ⇝ ( x , y α α ) iff N ≁ ( x , y α α ) .

With these attacks defined, we can now define the argumentation framework for AA-CBRP .

Definition 10 (Argumentation Framework drawn from P ) . The argumentation framework AF P ( D,x N ) mined from dataset D and a new case N , with a sequence of preorders P of length n is ( Args, ⇝ ) where

$$& A r g s = D \cup \{ ( x _ { \delta }, \d$$

As with Definition 1, the outcome predicted for N , written as AA-CBRP ( D,x N ) , is δ if ( x , δ δ ) is in the grounded extension G of the AF and ¯ δ otherwise.

We also define a regular variant of AA-CBRP that enforces that irrelevance is written in terms of the partial orders in P and that x δ is the least element by all orders in P . The regular variant naturally aligns with expectations that irrelevance is directly related to the partial order defining attacks. Moreover, regular AA-CBRP has desired properties that we discuss in Section 5.

Definition 11 (Regular) . The AF mined from D and N , with default argument ( x , δ δ ) is regular when:

̸

- 1. The irrelevance relation ≁ is defined as x α ≁ x β iff ∃ i, x α ≽ i x β .
- 2. x δ is the least element on all orders in P .

Definition 11 is a generalisation of the approach in (Paulino-Passos and Toni 2021a). We will use the notation AA-CBRP ⟨⟩ to refer to the regular variant of AA-CBRP with an arbitrary instantiation of P . We will populate the subscript with a sequence of preorders to refer to an instantiation of the model. Similarly, we will use AF P⟨⟩ ( D,x N ) to refer to the regular variant of AF P ( D,x N ) . To illustrate, consider the following:

Example 4. Based on Example 2, we can utilise AA-CBRP ⟨⟩ to create a model that obeys preferences in all circumstances. We let P = ⟨⊇ H , ⊇ ⟩ L and refer to this model as AA-CBRP ⟨⊇ H , ⊇ ⟩ L . AF P⟨⊇ H , ⊇ ⟩ L ( D,x N 1 ) is shown in Figure 4a and AF P⟨⊇ H , ⊇ ⟩ L ( D,x N 2 ) in Figure 4b. In both instances, the preferences are respected, and we see that the classification for N 1 and N 2 are determined by the most important features, d and c , respectively. C 1 is no longer considered a more concise case than C 2 , thus, they can now both attack C 0 . The grounded extension for AF P⟨⊇ H , ⊇ ⟩ L ( D,x N 1 ) is { N ,C ,C 1 3 0 } with the predicted outcome, -, as desired. For AF P⟨⊇ H , ⊇ ⟩ L ( D,x N 2 ) the grounded extension is { N ,C 2 2 } with the predicted outcome, + , again as desired.

Example 4 illustrates how, in general, AA-CBR by Definition 2 cannot capture AA-CBRP . C 2 and C 3 are cases that should be treated with similar importance within the casebase; both have a single high-priority feature but differing outcomes. With a single partial order, as in AA-CBR, we can only support one of two possible scenarios:

- 1. either C 2 and C 3 are considered incomparable to C 1 , allowing both C 2 and C 1 to attack C 0 but C 3 cannot attack C 1 as in Figure 1a,
- 2. or C 2 and C 3 are considered larger than C 1 by the partial order, allowing C 3 to attack C 1 but then C 1 is a more concise case than C 2 , meaning only C 1 can attack C 0 , as in Figure 1b and 1c.

AA-CBRP allows for C 2 and C 3 to be treated with similar importance within the casebase, but have C 3 still attack

(a) With AA-CBRP ⟨⊇ H , ⊇ ⟩ L , the outcome predicted for N 1 is as expected, following the fact that d is a high-priority feature.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-fae884c5-f3db-4fb1-a1af-54f4d1a9cfeb.jpg)

(b) With AA-CBRP ⟨⊇ H , ⊇ ⟩ L , the outcome predicted for N 2 is as expected, following the fact that c is a high-priority feature.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-45894d92-45a3-4ebd-a2b0-6350a3944fed.jpg)

Figure 4: A comparison of scenarios utilising AA-CBRP to introduce preferences as defined in Example 4.

C 1 and C 2 attack C 0 . We can thus conclude the following theorem:

Theorem 1. There exists a sequence of partial orders P and casebase D , such that there is no partial order, ≽ , in which AF D,x ( N ) constructed with ≽ is the same as AF P ( D,x N ) constructed with P and AA-CBR ( D,x N ) is the same as AA-CBRP ( D,x N ) .

Theorem 1 shows that AA-CBRP is capable of constructing AFs that AA-CBR (as defined by Definition 2) is not able to and, as a result, predictions made by AA-CBRP differ as well. Thus, AA-CBRP is a novel contribution that improves on AA-CBR with the use of preferences.

## 5 Nearest and Preferred Cases

With a coherent casebase, D , and a regular AF, we can identify cases which, when in agreement on an outcome, precisely determine the outcome predicted by AA-CBRP . In this section, we will present this formally 5 . Note that when D is coherent, the argumentation framework is guaranteed to be acyclic .

Proposition 1. The argumentation framework corresponding to AA-CBRP ⟨⟩ is guaranteed to be acyclic for a coherent D .

Previous approaches to AA-CBR have shown that for a coherent casebase if all cases that are nearest to the new case N have the same outcome, then that outcome

5 Proofs of results can be found in Appendix A.

Figure 5: AF P⟨⊇ ⊒⟩ , ( D,x N ) as defined in Example 5. The nearest cases property holds. C ′ 1 is not prevented from attacking as C ′ 3 is no longer considered a more concise case.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-b8245e17-987e-4b6e-98f2-8ca7b497dfdc.jpg)

will be predicted for N ( ˇ yras, C Satoh, and Toni 2016; Paulino-Passos and Toni 2021b). Here, we generalise this property for AA-CBRP ⟨⟩ .

Definition 12 (Nearest Case) . A case ( x , y α α ) ∈ D ∪ { ( x , δ δ ) } is nearest to N iff x N ≽ [1: n ] x α and ( x , y α α ) is maximally so, that is, there is no ( x , y β β ) ∈ D such that x N ≽ [1: n ] x β and x β ≽ [1: n ] x α and ∃ i, x β ≻ i x α .

Intuitively, this states a case ( x , y α α ) that is smaller to N on all orders in P is nearest when there does not exist another case, ( x , y β β ) , that is similarly smaller to N on all orders, no smaller than ( x , y α α ) on any orders and greater than ( x , y α α ) on at least one order. If ( x , y β β ) exists, it is a better candidate for being the nearest case than ( x , y α α ) . We can define the relationship between nearest and new cases as follows:

Theorem 2. If D is coherent and every nearest case to N is of the form ( x , y α ) for some outcome y ∈ Y , then AA-CBRP ⟨⟩ ( D,x N ) = y .

The constraint x α ≽ [1: n ] x γ in ( ii ) in Definition 6 ensures that Theorem 2 holds. It enforces that a case is only more concise than another if it is smaller by all orders in P . Without this constraint, an irrelevant case may prevent a nearest case from contributing to the classification by the concision. This explains the violation of the nearest cases theorem with AA-CBR with Stages in Example 3. AA-CBRP ⟨⟩ resolves this.

Example 5. To illustrate, we instantiate AA-CBRP ⟨⟩ with P = ⟨⊇ ⊒⟩ , and case characterisations corresponding to that of Definition 3. For x α = ( f α , s α ) and x β = ( f β , s β ) :

- · x α ⊇ x β iff f α ⊇ f β ,
- · x α ⊒ x β iff s α ⊒ s β .

We will refer to this model as AA-CBRP ⟨⊇ ⊒⟩ , .

The argumentation framework, AF P⟨⊇ ⊒⟩ , ( D,x N ) corresponding to the cases from Example 3 is shown in Figure 5. C ′ 3 is not smaller on all orders than C ′ 1 and therefore is no longer considered a more concise case. The grounded extension is { N , C , C ′ ′ 1 ′ 0 } and the predicted outcome is + as expected. As a result, C ′ 1 is able to affect the determination of N ′ , which results in the outcome predicted precisely agreeing. The nearest cases property clearly holds.

A modified variant of AA-CBR with Stages as described in Definition 3 can be derived from AA-CBRP ⟨⊇ ⊒⟩ , with condition 2. (b) i altered to F α ⊃ F γ ⊃ F β and S α ⊒ S γ . Moreover, by substituting P = ⟨ ≽ ⟩ , we can precisely capture AA-CBR as described in Definition 2 by AA-CBRP 6 . As a result, our method effectively generalises both of these previous approaches whilst ensuring the nearest case property holds in all circumstances.

However, we can make a stronger claim that preferences themselves are obeyed and used in determining the outcome of a new case. In Figure 4a, both C 3 and C 1 are nearest cases but do not agree on an outcome. Yet, the outcome predicted is the same as that for C 3 . This is not incidental; C 3 is a preferred case.

Definition 13 (Preferred Case) . A nearest case ( x , y α α ) is preferred for N if there is no other nearest case ( x , y β β ) such that ∃ j, x α = [1: j -1] x β and x β ≻ j x α .

Preferred cases are nearest cases that are maximally close to N by the most preferred order possible. As a result, we can prove a similar but stronger condition than that provided by nearest cases: if preferred cases agree on an outcome, then that is the outcome predicted for a new case.

Theorem 3. If D is coherent and every preferred case to N is of the form ( x , y α ) for some outcome y ∈ Y then AA-CBRP ⟨⟩ ( D,x N ) = y .

Preferred cases are a subset of nearest cases in which, by Theorem 3, the preferred cases alone are sufficient to decide the outcome of a new case when they agree on an outcome.

Example 6. Consider the argumentation framework, AF P⟨⊇ H , ⊇ ⟩ L ( D,x N 3 ) in Figure 6. C 1 and C 5 are each nearest cases to N 3 as they are maximally close to N 3 in the casebase as by Definition 12. However, these two nearest cases do not agree on an outcome. Only C 5 is a preferred case; it is maximally close to N 3 on the high-priority order ⊇ H . By Theorem 3, the outcome of N 3 is the same as the outcome of C 5 .

This occurs because C 1 is attacked by C 4 , which is not considered nearest or preferred but is more concise than C 5 . If C 4 were missing from this casebase, C 5 would fill the role and attack C 1 . Therefore, the existence of C 5 as a preferred case precisely determines the outcome predicted for N 3 .

Furthermore, by Definitions 5 and 6, we have that if there exists an attack from α to β , this attack must occur by the most preferred order of P possible.

Proposition 2. For cases α, β ∈ D , if ∃ i, α ⇝ i β then ∃ k &lt; i, α ⇝ k β .

This is easy to see since α ⇝ i β implies α p ⇝ i β , which in turn implies α = [1: i -1] β .

Consequently, the argumentation framework is constructed by obeying the preference orderings. Moreover, with Theorem 3, we know that preferred cases can determine

6 Derivations can be found in Appenix B.

̸

Figure 6: The argumentation framework as defined in Example 6. We see C 5 is the preferred case and despite disagreeing with nearest case C 1 , the outcome predicted for N 3 is the same as C 5 , as expected by Theorem 3.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00108v2-figure-45995578-01d1-4109-a4a9-0fc41c3bc168.jpg)

the outcome of a new case. We can thus conclude that the outcome predicted for a new case follows the user-defined preferences by construction.

## 6 Empirical Evaluation

In this section, we showcase how to utilise AA-CBRP models in a medical classification task with preferences defined over features derived from varying data sources. BrainWear (Dadhania et al. 2021; Dadhania et al. 2023) is a study exploring the utility of physical activity (PA) data collected via wrist-worn accelerometers in patients with a primary brain tumour. PA data complements traditional questionnaires, that allow patients to report their health status, known as patient reported outcomes (PRO). We can predict disease progression in new patients using AA-CBRP , with preferences defined over features derived from PA and PRO data 7 .

## 6.1 Methodology

Each completed questionnaire is matched with an 8-week average of PA data centred on the questionnaire date. The objective is to predict if the patient has progressive disease or not, as labelled by the outcome of the next MRI scan following the questionnaire or the patient's mortality status. Furthermore, we can incorporate the number of previous instances of progressive disease for each patient, serving as a proxy for cancer progression. We conduct two experiments to evaluate the models. The first experiment solely utilises PA and PRO data, while the second incorporates both PA and PRO data along with the proxy measurement as stages. Each experiment consists of multiple AA-CBR(P ) models compared against similarly interpretable baseline models: a decision tree and a K-Nearest Neighbor (kNN).

In the first experiment, we compare AA-CBR with the ⊇ relation as defined in Example 1 (we denote this

7 Details on data can be found in Appendix D.

model as AA-CBR ⊇ ) and AA-CBR with ≽ lex (denoted AA-CBR ≽ lex ) as defined in Example 2 where PA and PRO features make up the full suite of features against, AA-CBRP ⟨⊇ pa , ⊇ pro ⟩ defined analogously to Example 4, where we treat the PA feature set as the high-priority set and the PRO feature set as the low-priority set. We have chosen these models to showcase how a naive instantiation of preferences in AA-CBR compares against our more sophisticated approach using AA-CBRP .

For the dynamic models, we compare AA-CBR with Stages as in Definition 3 using the proxy measurement as the stages. We compare this against AA-CBRP ⟨⊇ ⊒⟩ , as in Example 5. Finally, we look at AA-CBRP ⟨⊇ pa , ⊇ pro , ⊒⟩ where we combine both preferences over features with stages.

For all AA-CBR-based models, we use the empty set (and, where applicable, the empty sequence of stages) to characterise the default case. The default outcome is set to progressive disease.

## 6.2 Evaluation

We evaluate the performance of the models using accuracy, precision, recall and F1-score, with progressive disease as the 'positive' class (Hossin and Sulaiman 2015).

Table 1 shows results for the first experiment. We observe that AA-CBRP ⟨⊇ pa , ⊇ pro ⟩ outperforms the other models in terms of accuracy, recall, and F1 score. The decision tree and AA-CBR ⊇ perform similarly, but both are outperformed by the preference-based AA-CBRP ⟨⊇ pa , ⊇ pro ⟩ model. The introduction of preferences, in this instance, leads to improved classification performance but this cannot be done naively as with AA-CBR ≽ lex , which has the worst performance by almost all metrics. Clearly, our novel implementation that introduces preferences with AA-CBRP leads to an empirically better classifier for this task.

Table 2 shows the results for the second experiment. The decision-tree and k-nearest neighbor models are outperformed by the AA-CBRP models. Notably, we see that AA-CBRP ⟨⊇ ⊒⟩ , has an increase in performance compared to AA-CBR with Stages, highlighting how forcing the model to conform to Theorem 3 leads to more desirable empirical results. Furthermore, adding preferences over features with AA-CBRP ⟨⊇ pa , ⊇ pro , ⊒⟩ results in another increase in performance, again showcasing how preferences improve model performance.

Overall, we find that AA-CBRP is not only successful at this classification task but can effectively leverage preferences to increase model performance. Moreover, our approach is flexible and generalised, so it can support varying representations, such as through the introduction of stages with preferences which improves performance further compared to AA-CBR. This comes at a cost of increasing time complexity by a factor of m , where m is the number of partial orders 8 .

## 7 Related Work and Discussion

Preferences over arguments have been shown to resolve situations in which the direction of an attack is unclear.

8 Complexity results can be found in Appendix C.

Table 1: Results of the first experiment where we utilise solely PA and PRO features to predict progressive disease in patients.

| Model                     |   Accuracy |   Precision |   Recall |   F 1 |
|---------------------------|------------|-------------|----------|-------|
| Decision Tree             |       0.72 |        0.83 |     0.63 |  0.72 |
| k-Nearest Neighbor        |       0.68 |        0.88 |     0.5  |  0.64 |
| AA-CBR ⊇                  |       0.72 |        0.82 |     0.64 |  0.72 |
| AA-CBR ≽ lex              |       0.6  |        0.67 |     0.57 |  0.62 |
| AA-CBR- P ⟨⊇ pa , ⊇ pro ⟩ |       0.78 |        0.81 |     0.79 |  0.8  |

Table 2: Results of the second experiment where we utilise PA and PRO features in combination with a proxy measurement of previous disease progression to predict progressive disease in patients.

| Model                        |   Accuracy |   Precision |   Recall |   F 1 |
|------------------------------|------------|-------------|----------|-------|
| Decision Tree                |       0.75 |        0.94 |     0.58 |  0.72 |
| k-Nearest Neighbor           |       0.7  |        0.93 |     0.5  |  0.65 |
| AA-CBR with Stages           |       0.74 |        0.86 |     0.64 |  0.73 |
| AA-CBR- P ⟨⊇ , ⊒⟩            |       0.76 |        0.86 |     0.68 |  0.76 |
| AA-CBR- P ⟨⊇ pa , ⊇ pro , ⊒⟩ |       0.8  |        0.88 |     0.75 |  0.81 |

Approaches often introduce an ordering specifying preferences over arguments, as in (Amgoud and Cayrol 1998; Modgil 2009). Argumentation frameworks derived from AA-CBR with a single order can be viewed similarly, where the order defines preferences over the casebase. However, as shown in Example 1, this alone is insufficient when introducing local preferences over constituents of an argument for classification. Existing approaches for accommodating preferences over constituents of arguments have also been proposed, e.g. as in (Modgil and Prakken 2013; Cyras and Toni 2016; Kakas, Moraitis, and Spanoudakis 2018; Garc´ ıa and Simari 2014) for various structured argumentation frameworks. It is an open question as to whether these methods generalise or approximate our approach. As future work, it would be interesting to study whether any of these approaches correspond to our method.

Our empirical evaluation shows the usefulness of accommodating domain expertise in the form of preferences within the medical setting. It is widely acknowledged that healthcare providers have domain expertise that can influence the outcome of explainable AI systems (Pawar et al. 2020). Moreover, personalised healthcare and increased patient engagement can affect healthcare outcomes (Politi et al. 2013). Argumentation with preferences has already been shown to be effective for personalised healthcare. Specifically, in ( ˇ yras C et al. 2021a), the assumption-based argumentation model ABA + G is used to resolve patient preferences with clinical guidelines. In that approach, preferences are defined over both assumptions, which dictate the direction of attacks and goals, in turn defining which extension(s) to accept. Also, the Gorgias system (Kakas, Moraitis, and Spanoudakis 2018) applies argumentation with preferences to multiple healthcare scenarios, by allowing experts to ex- press preferences over outcomes of scenarios which lead to preference hierarchies then translated into arguments about outcomes. Like with AA-CBRP , both these approaches use preferences defined over constituents of arguments. However, these approaches derive rules from a knowledge base, e.g. clinical guidelines, rather than by case-based reasoning.

AA-CBRP is also related to case-based reasoning with precedential constraints, which has been extensively researched within the legal domain (Horty 2011; Horty and Bench-Capon 2012). Dimension-based precedential constraints (Horty 2019; Rigoni 2017) represent an approach in which a set of values sampled from varying dimensions defines a case. Each dimension is equipped with a partial order in which values at either end of the partial order agree with opposing outcomes. In a classification task (Odekerken, Bex, and Prakken 2023), past cases constrain dimensions of a new case to an outcome consistent with the casebase. However, an outcome may not be predicted if the casebase cannot constrain a new case, and its outcome will remain undecided. Previous work has shown how to enforce factor-based precedential constraints on AA-CBR ⊇ (Paulino-Passos and Toni 2021a), deciding non-constrained cases, but it does not incorporate a notion of preferences between the factors, which is captured by the preferences in AA-CBRP . Indeed, each preorder in P can be considered a generalised form of dimension in the precedential constraint sense. By introducing a lexicographic ordering over these 'dimensions', we enforce that an outcome must be predicted, and preferred cases constrain new cases. Moreover, our approach does not enforce that either end of a partial order must agree with an outcome. This is suitable in a healthcare setting where such a restriction should not always apply; for example, sustained blood pressure that is either too high or too low could both have negative health consequences.

## 8 Conclusion

In this paper, we introduced AA-CBRP as a novel method of including preferences with an AA-CBR-based approach. We have shown how preferences allow domain-specific knowledge or individual choices to guide the model and that existing approaches to AA-CBR cannot support this. Moreover, we prove that the desirable property of predictions abiding by the nearest cases, hold for AA-CBRP ⟨⟩ and present a stronger condition for preferred cases. Given this and that individual attacks always occur by the most preferred order, we conclude that the model inherently abides by the preferences by construction. We then show that the addition of preferences and the enforcement of the nearest and preferred cases conditions can empirically lead to increased performance in a medical classification task, outperforming that of other interpretable baseline models.

We have not explored methods of automatically deriving a preference ordering that directly optimises the model's performance. Methods such as the DEAr Methodology (Cocarascu et al. 2020) could be applied to utilise AA-CBRP ⟨⟩ to find characterisations and preference orderings that lead to the most optimal performance possible whilst still allowing for flexibility in user-defined preferences. Furthermore, we leave for future work the explo- ration of AA-CBRP ⟨⟩ variants, such as a cumulative model akin to cAA-CBR of (Paulino-Passos and Toni 2021a).

## Acknowledgements

Adam Gould is supported by UK Research and Innovation [UKRI Centre for Doctoral Training in AI for Healthcare grant number EP/S023283/1]. Francesca Toni and Guilherme Paulino-Passos were partially funded by the ERC under the EU's Horizon 2020 research and innovation programme (grant agreement No. 101020934). Toni was also partially funded by J.P. Morgan and the Royal Academy of Engineering, UK, under the Research Chairs and Senior Research Fellowships scheme. Seema Dadhania is supported by the Imperial College CRUK Centre Clinical Research Fellowship A27434. Matthew Williams is supported by the NIHR Imperial Biomedical Research Centre (BRC) and by ICHT NHS Trust.

We would like to thank the Computational Logic and Argumentation (CLArg) group and the Computational Oncology group, both at Imperial College London, for their feedback and support.

## References

Aaronson, N. K.; Ahmedzai, S.; Bergman, B.; Bullinger, M.; Cull, A.; Duez, N. J.; Filiberti, A.; Flechtner, H.; Fleishman, S. B.; Haes, J. C. J. M. d.; Kaasa, S.; Klee, M.; Osoba, D.; Razavi, D.; Rofe, P. B.; Schraub, S.; Sneeuw, K.; Sullivan, M.; and Takeda, F. 1993. The european organization for research and treatment of cancer qlq-c30: A qualityof-life instrument for use in international clinical trials in oncology. JNCI Journal of the National Cancer Institute 85(5):365-376.

Amann, J.; Blasimme, A.; Vayena, E.; Frey, D.; Madai, V. I.; and Consortium, P. 2020. Explainability for artificial intelligence in healthcare: a multidisciplinary perspective. BMC medical informatics and decision making 20:1-9.

Amgoud, L., and Cayrol, C. 1998. On the acceptability of arguments in preference-based argumentation. In Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence , UAI'98, 1-7. Morgan Kaufmann Publishers Inc.

Amgoud, L., and Prade, H. 2009. Using arguments for making and explaining decisions. Artificial Intelligence 173(3):413-436.

Bench-Capon, T. J. 2003. Persuasion in practical argument using value-based argumentation frameworks. Journal of Logic and Computation 13(3):429-448.

Briguez, C. E.; Bud´ an, M. C.; Deagustini, C. A.; Maguitman, A. G.; Capobianco, M.; and Simari, G. R. 2014. Argument-based mixed recommenders and their application to movie suggestion. Expert Systems with Applications 41(14):6467-6482.

Cocarascu, O.; Stylianou, A.; Cyras, K.; and Toni, F. ˇ 2020. Data-empowered argumentation for dialectically explainable predictions. In ECAI 2020 . IOS Press. 2449-2456.

Cocarascu, O.; Cyras, K.; and Toni, F. ˇ 2018. Explanatory predictions with artificial neural networks and argumenta- tion. In Proceedings of the 2ndWorkshop onExplainable Artificial Intelligence (XAI 2018) .

Cyras, K., and Toni, F. 2016. ABA+: assumption-based argumentation with preferences. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016 , 553-556. AAAI Press.

Dadhania, S.; Pakzad-Shahabi, L.; Calvez, K. L.; Saleem, W.; Wang, J.; Mohammed, W.; Mistry, S.; and Williams, M. 2021. BrainWear: Longitudinal, objective assessment of physical activity in 42 high grade glioma (HGG) patients. Neuro-Oncology 23(Supplement 4):iv3-iv3.

Dadhania, S.; Pakzad-Shahabi, L.; Mistry, S.; and Williams, M. 2023. Triaxial accelerometer-measured physical activity and functional behaviours among people with high grade glioma: The BrainWear study. PLOS ONE 18(5):e0285399.

Doherty, A.; Jackson, D.; Hammerla, N.; Pl¨ otz, T.; Olivier, P.; Granat, M. H.; White, T.; Van Hees, V. T.; Trenell, M. I.; Owen, C. G.; et al. 2017. Large scale population assessment of physical activity using wrist worn accelerometers: the uk biobank study. PloS one 12(2):e0169649.

Doherty, A.; Smith-Byrne, K.; Ferreira, T.; Holmes, M. V.; Holmes, C.; Pulit, S. L.; and Lindgren, C. M. 2018. Gwas identifies 14 loci for device-measured physical activity and sleep duration. Nature communications 9(1):1-8.

Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2):321-357.

Dunne, P. E., and Wooldridge, M. 2009. Complexity of abstract argumentation. Argumentation in artificial intelligence 85-104.

Fayers, P. M.; Aaronson, N. K.; Bjordal, K.; Groenvold, M.; Curran, D.; and Bottomley, A. 2001. The eortc qlq-c30 scoring manual (3rd edition).

Garc´ ıa, A. J., and Simari, G. R. 2014. Defeasible logic programming: Delp-servers, contextual queries, and explanations for answers. Argument &amp; Computation 5(1):63-88.

Goodman, B., and Flaxman, S. 2017. European union regulations on algorithmic decision making and a 'right to explanation'. AI Magazine 38(3):50-57.

Horty, J. F., and Bench-Capon, T. J. M. 2012. A factor-based definition of precedential constraint. Artificial Intelligence and Law 20(2):181-214.

Horty, J. F. 2011. Rules and reasons in the theory of precedent. Legal Theory 17(1):1-33.

Horty, J. 2019. Reasoning with dimensions and magnitudes. Artificial Intelligence and Law 27(3):309-345.

Hossin, M., and Sulaiman, M. N. 2015. A review on evaluation metrics for data classification evaluations. International journal of data mining &amp; knowledge management process 5(2):1.

Hunter, A., and Williams, M. 2012. Aggregating evidence about the positive and negative effects of treatments. Artificial Intelligence in Medicine 56(3):173-190.

Kakas, A. C.; Moraitis, P.; and Spanoudakis, N. I. 2018. Gorgias: Applying argumentation. Argument &amp; Computation 10(1):55-81.

Modgil, S., and Prakken, H. 2013. A general account of argumentation with preferences. Artificial Intelligence 195:361-397.

Modgil, S. 2009. Reasoning about preferences in argumentation frameworks. Artificial Intelligence 173(9-10):901-934.

Odekerken, D.; Bex, F.; and Prakken, H. 2023. Based Reasoning with Incomplete Cases .

PrecedentIOS Press. 33-42.

Paulino-Passos, G., and Toni, F. 2021a. Monotonicity and noise-tolerance in case-based reasoning with abstract argumentation. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning , 508-518.

Paulino-Passos, G., and Toni, F. 2021b. Monotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation (with Appendix). arXiv:2107.06413 [cs].

Paulino-Passos, G., and Toni, F. 2023. Learning Case Relevance in Case-Based Reasoning with Abstract Argumentation . IOS Press. 95-100.

Pawar, U.; O'Shea, D.; Rea, S.; and O'Reilly, R. 2020. Explainable ai in healthcare. In 2020 International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA) . IEEE.

Politi, M. C.; Dizon, D. S.; Frosch, D. L.; Kuzemchak, M. D.; and Stiggelbout, A. M. 2013. Importance of clarifying patients' desired role in shared decision making to match their level of engagement with their preferences. BMJ 347(dec02 1):f7066-f7066.

Prakken, H., and Ratsma, R. 2022. A top-level model of case-based argumentation for explanation: Formalisation and experiments. Argument &amp; Computation 13:159-194.

Rago, A.; Cocarascu, O.; Bechlivanidis, C.; and Toni, F. 2020. Argumentation as a Framework for Interactive Explanations for Recommendations. In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning , 805-815.

Rigoni, A. 2017. Representing dimensions within the reason model of precedent. Artificial Intelligence and Law 26(1):1-22.

Walmsley, R.; Chan, S.; Smith-Byrne, K.; Ramakrishnan, R.; Woodward, M.; Rahimi, K.; Dwyer, T.; Bennett, D.; and Doherty, A. 2022. Reallocation of time between device-measured movement behaviours and risk of incident cardiovascular disease. British journal of sports medicine 56(18):1008-1017.

Willetts, M.; Hollowell, S.; Aslett, L.; Holmes, C.; and Doherty, A. 2018. Statistical machine learning of sleep and physical activity phenotypes from sensor data in 96,220 uk biobank participants. Scientific reports 8(1):1-10.

Williams, M.; Liu, Z. W.; Hunter, A.; and Macbeth, F. 2015. An updated systematic review of lung chemo-radiotherapy using a new evidence aggregation method. Lung Cancer 87(3):290-295.

Zheng, H.; Grossi, D.; and Verheij, B. 2020. Case-based reasoning with precedent models: Preliminary report. In Frontiers in Artificial Intelligence and Applications . IOS Press. 443-450.

ˇ yras, K.; Birch, D.; Guo, Y.; Toni, F.; Dulay, R.; Turvey, C S.; Greenberg, D.; and Hapuarachchi, T. 2019. Explanations by arbitrated argumentative dispute. Expert Systems with Applications 127:141-156.

ˇ yras, C K.; Oliveira, T.; Karamlou, A.; and Toni, F. 2021a. Assumption-based argumentation with preferences and goals for patient-centric reasoning with interacting clinical guidelines. Argument &amp; Computation 12(2):149-189.

ˇ yras, C K.; Rago, A.; Albini, E.; Baroni, P.; and Toni, F. 2021b. Argumentative xai: A survey. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence , IJCAI-2021. International Joint Conferences on Artificial Intelligence Organization.

ˇ yras, K.; Satoh, K.; and Toni, F. C 2016. Abstract argumentation for case-based reasoning. In Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning . AAAI Press.

## A Theorem Proofs

## A.1 Proof of Theorem 3

This proof generalises that of (Paulino-Passos and Toni 2021b).

Proof. We begin by establishing that for a coherent D , and when every preferred case to N is in the form of ( x , y α ) , each argument in G i is either labelled as N or corresponds to a case ( x , y β ) , where G is the union of all G i sets. In simpler terms, every case within the subsets of the grounded set is either labelled as N or shares the same outcome as the preferred cases. We prove this by induction on i :

̸

̸

̸

- 1. For the base case, we must show this property holds for G 0 which contains only unattacked arguments. N is always unattacked and so is an element of G 0 . Other unattacked cases may also be in G 0 so we let β = ( x , y β β ) ∈ G 0 be such a case. We must show that y β = y . If β is preferred for N then y β = y as required. We now consider if β is not preferred for N . If ∃ i, x N ≽ i x β , then, as we are dealing with regular AA-CBRP ⟨⟩ , N ≁ β , leading to N N ⇝ β which cannot be as β is unattacked. So we must have have that x N ≽ [1: n ] x β . Assume towards contradiction that y β = o . As β is not a preferred case, there must exist a preferred case α = ( x , y α ) such that x α p ⇝ i x β for some i . We know α must exist by definition of preferred cases and because D is finite. By Definition 6, either α ⇝ i β or there exists a case γ = ( x , y γ ) that is a more concise attacker of β and we have ∃ l ≥ i, γ ⇝ l β . In either circumstance, this cannot be as β must be unattacked. Thus, we have a contradiction, so our previous assumption, that y β = o , does not hold and we have y β = y as required.

̸

- 2. In the inductive step, we assume the property holds for G i and show it holds for G i +1 . Let β = ( x , y β β ) ∈ G i +1 \ G k (if β ∈ G i , the property holds by the induction hypothesis). So, by definition of the grounded extension, β is defended by G i , which is conflict-free so N cannot attack β , thus we have x N ≽ [1: n ] x β . Again, if β is a preferred case to N , then y β = y as required. We now consider when β is not a preferred case. Assume towards contradiction that y β = o . As β is not a preferred case, there must exist a preferred case α = ( x , y α ) such that x α p ⇝ i x β for some i . As before, either α ⇝ i β or there exists a case γ = ( x , y γ ) that is a more concise attacker of β , and we have ∃ l ≥ i, γ ⇝ l β . Let η be the attacker of β . As G i defends β , there must exist a θ ∈ G i such that θ ⇝ η . By the inductive hypothesis, θ is either N or θ = ( x , y θ ) . θ cannot be N as for η to be equal to α or a more concise case than α , we must have x α ≽ [1: n ] x η and as α is a preferred case to N , we have x N ≽ [1: n ] x α . So x N ≽ [1: n ] x η , which means η is not irrelevant to N and, thus, cannot be attacked by N . So we have instead θ = ( x , y θ ) . But in this case, θ cannot possibly attack η in defence of β because y θ = y η = y . We, therefore, have a contradiction, so y β = y as required.

Wecan thus conclude that every argument in the grounded set, G , is either N or of the form ( x , y β ) .

̸

As a consequence, if y = ¯ δ , (that is all preferred cases agree on the non-default outcome), then ( x , δ δ ) ∈ G because as we have just shown, all arguments in G excluding N must have the outcome o . As a result, the predicted outcome for N must be o as required by the theorem.

If y = δ , then we must show that ( x , δ δ ) ∈ G . If ( x , δ δ ) is unattacked, the default case is in the grounded extension as required. Consider instead if ( x , δ δ ) is attacked by a case β . As we are dealing with regular AA-CBRP ⟨⟩ , ( x , δ δ ) can never be irrelevant to N and so β cannot be N . Thus, β is of the form ( x , δ β ¯ ) and is therefore not in G because, as have shown, all arguments in G must have outcome o . We know that D is coherent, so the AF is acyclic by Proposition 1 and G is a stable extension, meaning every argument not in G is attacked by an argument in it. So there exists some argument in G that attacks β and defends the default argument. By definition, G contains every argument it defends, so the default argument is also in G . Therefore, the outcome predicted for N will be o as required by the theorem.

## Proof of Theorem 2

Proof. We first show that given the finite set, Γ , of all cases nearest to N in D , there is always at least one case that is preferred for N . Assume towards contradiction that no cases in Γ are preferred for N . So for a case, ( x , y α α ) ∈ Γ there exists another case, ( x , y β β ) ∈ Γ such that ∃ j, x α = [1: j -1] x β and x β ≻ j x α by definition of preferred cases. We can say that α is less preferred than β or α ≪ β . We show this relation is transitive: if we assume α ≪ β and β ≪ γ , then we know that x α = [1: j -1] x β and x β ≻ j x α for some j and x β = [1: k -1] x γ and x γ ≻ k x β for some k . As a result, we have that x α = [1:min( j,k ) -1] x γ and x α ≻ min( j,k ) x γ which gives us that α ≪ γ .

So for cases α, β ∈ Γ , if we have that α ≪ β and we know that β is not a preferred case, then there must exist another case, γ ∈ Γ , in which β ≪ γ . However, by our assumption, γ is also not a preferred case. As Γ is finite, there must be a sequence in which α ≪ β ≪ γ ≪ . . . ≪ γ . But this cannot be as it implies by transitivity of ≪ that ∃ j, x γ ≻ j x γ , which is a contradiction. Therefore, Γ must contain at least a single preferred case.

If all nearest cases agree on an outcome, then all the preferred cases, of which we have shown that at least one must exist, will agree on an outcome, and so by Theorem 3, we have proved this theorem as required.

## A.2 Proof of Proposition 1

Proof. First, as D is coherent, the set of incoherent attacks I ⇝ will be empty, so there will not be any symmetric attacks. Secondly, as N cannot be attacked, it cannot be part of cycles in the graph. As N ⇝ only originates from N , we do not need to consider these.

We now consider only ⇝ = ( ⋃ n i =1 ⇝ i ) , where n corresponds to the size of P ≽ . For any attack ( x , y α α ) ⇝ ( x , y β β ) , we know that either ( x α ≻ 1 x β ) or ( ∃ i &gt; 1 , x α = 1 x β and x α ≻ i x β ) . This means that across a path of attacks, ( x , y α α ) ⇝ . . . ⇝ ( x , y β β ) ⇝ . . . ⇝ ( x , y γ γ ) , we have that x α ≽ 1 x γ . If at any point in the path of attacks, we have x α ≻ 1 x β then we must have x α ≻ 1 x γ because a case in a path of attacks can never get more specific on the first order. If, say, all cases in the path were all equal on the first order, that is x α = 1 x β = 1 . . . = 1 x γ , then attacks in the path will never need to consider the first order by the lexicographic ordering of the specificity relations and so we can apply the previous reasoning for ≽ 2 . That is, along the path of attacks, we must have x α ≽ 2 x γ and if x α ≻ 2 x β then x α ≻ 2 x γ . We can extend this reasoning arbitrarily until the last order.

If we assume towards a contradiction that we have a cycle, we will have a path such that ( x , y 1 1 ) ⇝ ( x , y 2 2 ) ⇝ . . . ⇝ ( x , y q q ) ⇝ ( x , y 1 1 ) . We know that the first and last cases in this path are equal in the first order, and as a path of attacks can never get more specific in the first order, all cases in this path must be equal in the first order, that is x 1 = 1 x 2 = 1 . . . = 1 x q = 1 x 1 . As we apply lexicographic ordering and all the cases are equal on the first order, this path of attacks only ever considers orders from ≽ 2 onwards. But again, we know that the first and last cases are equal in the second order, so we must have x 1 = 2 x 2 = 2 . . . = 2 x q = 2 x 1 . We apply this reasoning across all orders until we eventually get that the only possible attacks that can occur are on the last order, ≽ n . But then we would have x 1 ≻ n x 1 which is a contradiction.

## B Deriving Existing Formulations from AA-CBRP

## B.1 Deriving AA-CBR from AA-CBRP

To capture Definition 2 in AA-CBRP , we must show that wecan precisely derive Args and ⇝ when instantiating with P = ⟨ ≽ ⟩ where ≽ is an arbitrary partial order defined over the characterisations of the casebase. By Definition 10, we have:

- · Args = D ∪ { ( x , δ δ ) } ∪ { N } ,
- · ⇝ ⇝ = 1 ∪ I ⇝ ∪ N ⇝ .

Args is as required. We will now show that ⇝ corresponds to that of Definition 2. By Definition 6 we have α ⇝ 1 β iff

̸

$$\alpha \, \nu _ { 1 } \, \rho \, \mathbb { m$$

We know that condition ii (b) cannot hold as there is only one order. By this same reasoning, we also know that in condition ii (a), we can only let l = 1 . Furthermore, by utilising Definition 5 we get α ⇝ 1 β iff

̸

- i y α = y β , and
- ii x α ≻ 1 x β , and

iii ∄ γ = ( x , y γ α ) ∈ D ∪ { ( x , δ δ ) } and x γ ≻ 1 x β and x α ≻ 1 x γ ,

Which is logically equivalent to the second bullet point, points 1. and 2. of Definition 2.

̸

By Definition 8, we have ( x , y α α ) I ⇝ ( x , y β β ) iff y α = y β , and x α = 1 x β . This is logically equivalent to bullet 2, point 1 and point 3. of Definition 2.

Finally, by Definition 9, we have N N ⇝ ( x , y α α ) iff N ≁ ( x , y α α ) , which is the same as the final bullet of Definition 2. Putting this all together gives:

- · Args = D ∪ { ( x , δ δ ) } ∪ { N }
- · for ( x , y α α ) , ( x , y β β ) ∈ D ∪ { ( x , y δ δ ) } , it holds that ( x , y α α ) ⇝ ( x , y β β ) iff

̸

- 1. y α = y β , and

̸

- 2. either x α ≻ x β and ∃ ( x , y γ α ) ∈ D ∪ { ( x , y δ δ ) } with x α ≻ x γ ≻ x β
- 3. or x α = x β
- · for ( x , y α α ) ∈ D ∪{ ( x , y δ δ ) } , it holds that N ⇝ ( x , y α α ) iff N ≁ ( x , y α α ) .

which is precisely Definition 2.

## B.2 Deriving a variant of AA-CBR With Stages from AA-CBRP ⟨⟩

We aim to capture Definition 3 in AA-CBRP ⟨⟩ but with condition 2. (b) i altered to F α ⊃ F γ ⊃ F β and S α ⊒ S γ . Moreover, Definition 3 was defined only for a coherent casebase and does not include symmetric attacks, we will include these in our derivation. We will refer to this as capturing a 'variant of Definition3'. Note that we use a regular variant here because AA-CBR with Stages is defined utilising the default case containing the smallest elements by the ⊇ and ⊒ relations and ≁ is defined in terms of these orders akin to Definition 11.

We must show that we can derive Args and ⇝ from Definition 10. We let P = ⟨⊇ ⊒⟩ , , and x δ = ( ∅ ⟨⟩ , ) . By Definition 10, we have that Args = D ∪ { ( x , δ δ ) } ∪ { N } as required.

Again by Definition 10, we have ⇝ ⇝ = 1 ∪ ⇝ 2 ∪ I ⇝ ∪ N ⇝ .

By Definition 6, we have α ⇝ 1 β iff

- i α p ⇝ 1 β and
- ii ∄ γ = ( x , y γ α ) ∈ D ∪ { ( x , δ δ ) } with x α ≽ 1 x γ and x α ≽ 2 x γ and
- (a) either γ p ⇝ 1 β and ∃ l ≥ 1 , x α ≻ l x γ

̸

$$& \text{either} \, \gamma \sim \overset { p } { \long$$

- (b) or γ ⇝ β and ∃ l &gt; 1 , γ ⇝ β .

As there are two orders, we know that in ii (a), we can set l to either 1 or 2 and in ii (b) l can only be set to 2. Substituting this we get α ⇝ 1 β iff

$$\begin{array} {$$

$$\text{and}$$

- (a) either γ p ⇝ 1 β and ( x α ≻ 1 x γ or x α ≻ 2 x γ ),

̸

- (b) or γ p ⇝ 1 β and γ p ⇝ 2 β .

By applying Definition 5 it holds that α ⇝ 1 β iff

̸

- i y α = y β , and
- ii x α ≻ 1 x β , and
- iii ∄ γ = ( x , y γ α ) ∈ D ∪ { ( x , δ δ ) } with x α ≽ 1 x γ and x α ≽ 2 x γ and
- (a) either x γ ≻ 1 x β and ( x α ≻ 1 x γ or x α ≻ 2 x γ ),
- (b) or x γ ≻ 2 x β and x γ = 1 x β .

̸

Note that we use the fact that γ p ⇝ 2 β implies γ p ⇝ 1 β to remove the latter term. We can rearrange this to get α ⇝ 1 β iff

̸

- i y α = y β , and
- ii x α ≻ 1 x β , and

̸

- iii ∃ ( F , S γ γ , y α ) ∈ D with
- i either x α ≻ 1 x γ ≻ 1 x β and x α ≽ 2 x γ ,
- ii or x γ = 1 x α and x α ≻ 2 x γ

iii or x β = 1 x γ and x α ≽ 2 x γ ≻ 2 x β

which corresponds to bullet 3, point 2, (a) and (b) of the modified variant of Definition 3 as required.

Again by Definition 6, we have α ⇝ 2 β iff

- i α p ⇝ 2 β and
- ii ∄ γ = ( x , y γ α ) ∈ D ∪ { ( x , δ δ ) } with x α ≽ 1 x γ and x α ≽ 2 x γ and
- (a) either γ p ⇝ 2 β and ∃ l ≥ 2 , x α ≻ l x γ ,

̸

- (b) or γ p ⇝ 2 β and ∃ l &gt; 2 , γ p ⇝ l β .

As the length of P is 2, we know that in ii (a), l must be set to 2 and ii (b) does not hold. We therefore get α ⇝ 2 β iff

- i α p ⇝ 2 β and
- ii ∄ γ = ( x , y γ α ) ∈ D ∪ { ( x , δ δ ) } with x α ≽ 1 x γ and x α ≽ 2 x γ and
- (a) γ p ⇝ 2 β and x α ≻ 2 x γ .

Applying Definition 5, it holds that α ⇝ 2 β iff

̸

i y α = y β , and

- ii x α ≻ 2 x β , and x α = 1 x β .
- iii ∄ γ = ( x , y γ α ) ∈ D ∪ { ( x , δ δ ) } with x α ≽ 1 x γ and x α ≽ 2 x γ and

(a) x γ = 1 x β and x γ ≻ 2 x β and x α ≻ 2 x γ .

This corresponds to bullet 3, point 3 of the modified variant of Definition 3 as required.

̸

̸

̸

As we are using the regular variant, AA-CBRP ⟨⟩ , we have by Definitions 9 and 11: N N ⇝ ( x , y α α ) iff ∃ i, x N ≽ i x α . This is equivalent to: N N ⇝ ( x , y α α ) iff x N ≽ 1 x α or x N ≽ 2 x α as required. This corresponds to the final bullet of Definition 3.

̸

For symmetric attacks, by Definition 8, we have that ( x , y α α ) I ⇝ ( x , y β β ) iff x α = 1 x β and x α = 2 x β and y α = y β as required.

## C Complexity Results

The time complexity of AA-CBRP can be divided into three main parts: AF construction with the casebase, identification of new case attacks, and computing the grounded extension. The construction of the AF using the casebase is a one-time cost that can be amortised over the number of times that a prediction is made for a new case. Assuming that each partial order takes O (1) to compute, the one-time cost of AF construction has a worst-case time complexity of O n m ( 3 ) where n is the size of the casebase, and m is the number of partial orders in P . This is compared to AACBR, which has a worst-case time complexity of O n ( 3 ) . For regular AA-CBRP ⟨⟩ , the time complexity of finding new case attacks is O nm ( ) , compared to O n ( ) for AA-CBR. The computation of the grounded extension is the same for both AA-CBR and AA-CBRP and is known to be in P (Dunne and Wooldridge 2009). The increase in time complexity when adding preferences to AA-CBR is marginal given that it is expected that m&lt;&lt;n .

## D Experiment Methodology

## D.1 Data

Data from 78 patients was provided by the BrainWear study (Dadhania et al. 2023). All patient data was collected with informed, written consent. The original study was approved by the South West-Cornwall &amp; Plymouth Research Ethics Committee (18/SW/0136). The use of realworld healthcare data within this context showcases how AA-CBRP can be used to create explainable AI models that are intrinsically interpretable and thus suitable to be applied within a high-stakes decision-making scenario. 17 Patients without a high-grade glioma (the disease of focus) were excluded, followed by 2 patients with insufficient Physical Activity data quality, 21 patients who did not complete at least two PRO questionnaires and 5 who lacked data from a least one scan. This left 31 eligible patients.

We extracted 110 data points from the 31 patients with applicable data. Each data point can be represented by a binary set of features extracted from a questionnaire and the surrounding physical activity data and labelled by the outcome of the MRI scan following the questionnaire or survival status at the end of the study. Additionally, each data point can be assigned a proxy time measure of the patient's cancer journey.

Patient Reported Outcome (PRO) Questionnaires During the study, patients periodically completed questionnaires reporting their symptoms, outlooks, ability to function, and overall quality of life. We focus on the EORTC QLQ-C30 questionnaire and brain tumour-specific BN20 module (Aaronson et al. 1993). Each scale is scored from 1-100 (Fayers et al. 2001). We utilised the following five scales: fatigue ( fa ) , global health QoL ( ql ) , physical functioning ( pf ) , future uncertainty ( fu ) and motor dysfunction ( md ) in accordance with (Dadhania et al. 2023). For each scale, a binary feature is extracted, denoting an observed change of at least 50% compared to a baseline questionnaire completed by each patient. We take an increase and a decrease of 50% as distinct features. We, therefore, have the following PRO features: F pro = { faI, faD, qlI, qlD, pfI, pfD, fuI, fuD, mdI, mdD } where the suffixes 'I' and 'D' represent an increase and decrease of the scale respectively.

Physical Activity Data Every patient was given an Axivity AX3 wrist-worn accelerometer, which measures acceleration in milligravity (mg) units in the x, y, and z directions at 100 Hz. Data was processed with the UK Biobank accelerometer analysis pipeline, which provided an average acceleration value for each 30-second epoch and a classification of the likely physical behaviour of the patient at that time. These behaviours are sleep ( sl ) , sedentary behaviour ( sb ) , conducting light tasks ( lt ) , moderate activity ( ma ) and walking ( wa ) (Walmsley et al. 2022; Doherty et al. 2018; Willetts et al. 2018; Doherty et al. 2017). A data point could be extracted if there exists physical activity data covering 50% of an 8-week period centred on a completed questionnaire. For each patient, the time spent conducting each behaviour was averaged across the eight weeks. A binary feature denotes if the time spent doing each behaviour changed by at least 50%, compared to a baseline measurement, taken as an average of the PA for the first two weeks each patient was in the study. We, therefore, have the following PA features F pa = { slI, slD, sbI, sbD, ltI, ltD, maI, maD, waI, waD } .

Patient Outcomes Patients had recurring MRI scans over the course of the study. The raw imaging data was not provided, but a clinician labelled each image, indicating that the patient's disease was either progressive or stable. Each data point was labelled utilising the first MRI scan following the completed questionnaire, with an outcome of 1 representing progressive disease (pd) and 0 representing stable disease (sd). If there was no MRI scan following a questionnaire, we took the outcome by the survival status of the patient at the time of data collation, with 1 indicating that the patient had died at this time and 0 indicating otherwise. Thus, labelling mirrors the concept of progression-free survival.

Furthermore, we can consider the number of times a patient has previously had an MRI showcasing progressive disease at the time of the completed questionnaire as a proxy measure for the progression of their cancer. We could, therefore, define stages (as in the notion of AA-CBR with Stages), S pd = ⟨ pd , pd 0 1 , pd 2 , pd 3 ⟩ .

Data Points Of the 110 data points, 60 have been used as training data (thus making up the casebase for the AA-CBRbased models), and 50 are held out for testing.

## D.2 Baseline Models

The decision tree (gini criteria) was selected due to providing tree-like explanations which can also be provided for AA-CBR ( ˇ yras et al. 2019). The kNN (with k=3 and utilisC ing hamming distance) was selected because this model also utilises case-based reasoning. For these baseline models, a binary feature vector is constructed, where for each value in F pa ∪ F pro , a 1 represents that the feature is present and a

0 otherwise. Stages were one-hot encoded and appended to the feature vector for experiments that utilised them.
Adam Gould Guilherme Paulino-Passos Seema Dadhania Matthew Williams Francesca Toni
Preference-Based Abstract Argumentation for Case-Based Reasoning (with Appendix)
In the pursuit of enhancing the efficacy and flexibility of interpretable,
data-driven classification models, this work introduces a novel incorporation
of user-defined preferences with Abstract Argumentation and Case-Based
Reasoning (CBR). Specifically, we introduce Preference-Based Abstract
Argumentation for Case-Based Reasoning (which we call AA-CBR-P), allowing users
to define multiple approaches to compare cases with an ordering that specifies
their preference over these comparison approaches. We prove that the model
inherently follows these preferences when making predictions and show that
previous abstract argumentation for case-based reasoning approaches are
insufficient at expressing preferences over constituents of an argument. We
then demonstrate how this can be applied to a real-world medical dataset
sourced from a clinical trial evaluating differing assessment methods of
patients with a primary brain tumour. We show empirically that our approach
outperforms other interpretable machine learning models on this dataset.