T OWARDS I NTERPRETABLE D EEP R EINFORCEMENT L EARNING WITH H UMAN -F RIENDLY P ROTOTYPES
Anonymous authors
Paper under double-blind review
A BSTRACT
Despite recent success of deep learning models in research settings, their application in sensitive domains remains limited because of their opaque decision-making processes.
Taking to this challenge, people have proposed various eXplainable AI (XAI) techniques designed to calibrate trust and understandability of black-box models, with the vast majority of work focused on supervised learning.
Here, we focus on making an “interpretable-by-design” deep reinforcement learning agent which is forced to use human-friendly prototypes in its decisions, thus making its reasoning process clear.
Our proposed method, dubbed Prototype-Wrapper Network (PW-Net), wraps around any neural agent backbone, and results indicate that it does not worsen performance relative to black-box models.
Most importantly, we found in a user study that PW-Nets supported better trust calibration and task performance relative to standard interpretability approaches and black-boxes.
I NTRODUCTION
Deep reinforcement learning (RL) models have achieved state-of-the-art results in Go (Silver et al., 2016), Chess (Silver et al., 2017), Atari (Mnih et al., 2015), self-driving cars (Kiran et al., 2021), and robotic control (Kober et al., 2013).
However, the usage of these agents in truly sensitive domains is limited due to the opaque nature of such systems.
Extracting a deep model’s rationale in a human interpretable format remains a challenging problem, but doing so would be highly useful to troubleshoot an agent’s actions and by extension its possible failure states (Rudin et al., 2022).
One popular approach to do so is with post-hoc explanation methods, which give after-the-fact rationales for model predictions mostly through some form of saliency map (Bach et al., 2015) or exemplar (Lipton, 2016).
However, whilst popular, these approaches may be incomplete or unsuitable for explanation (Slack et al., 2020; Atrey et al., 2019), and recent work has instead started to focus on pre-hoc interpretability (Rudin, 2019).
The core idea behind this latter paradigm is to design inherently explainable models, so that you can clearly see and understand their decision-making process in such a way that you can calibrate user trust and predict the system’s capabilities.
In this paper, we present (to the best of our knowledge) the first inherently interpretable, well performing, deep reinforcement learning (RL) agent that uses an intuitive exemplar-based approach for decision making.
Specifically, we train a “wrapper” model called Prototype-Wrapper Network (PWNet) that can be added to any pre-trained agent, which allows them to be “interpretable-by-design”, offering the same intuitive reasoning process as popular pre-hoc methods (Li et al., 2018).
Crucially however, when using PW-Nets, the main advantages of post-hoc approaches remain in-tact, in that the black-box model’s performance is not lost, and it does not need to be retrained from scratch, which we demonstrate across multiple domains notoriously difficult for XAI.
R ELATED W ORK
This paper builds upon recent work building prototype-based neural networks for interpretable supervised learning.
Such networks are interpretable by design because they utilize these prototypes in their forward pass by classifying test instances based upon their proximity to these prototypes, thus allowing users to intuitively understand predictions.
Perhaps the first notable example of this was by
Li et al.
(2018) who learned prototypes in latent space which classified test instances using their Ldistance to each prototype.
Work in this area was followed up by Chen et al.
(2019) who used image “parts” rather than the whole instance.
This helped spawn many followup works in NLP (Ming et al., 2019), fairness (Tucker & Shah, 2022), and computer vision tasks (Donnelly et al., 2022; Davoudi & Komeili, 2021).
These prior works establish the value of prototype-based neural nets, but they focus on traditional classification tasks; we are similarly inspired by such methods but seek to build interpretable agents in RL settings.
Whilst we are not the first to build interpretable RL models (Vouros, 2022; Milani et al., 2022), most prior research uses interpretable proxy models (such as trees) to imitate agents in symbolic domains.
However, these techniques do not apply to richer domains with high-dimensional inputs (such as raw pixels) that we focus on in this work.
To date, most work in these deep RL settings has focused on post-hoc approximations involving attention weights (Zambaldi et al., 2018; Mott et al., 2019), or trees Liu et al.
, but these methods do not allow transparency of the agent’s actions or intent (Rudin et al., 2022).
Another interesting approach distills recurrent neural network (RNN) policies into finite-state-machines Danesh et al. (2021); Koul et al. , but the approach does not always reveal easily analyzable results, and is restricted to RNNs. Perhaps the most relevant approach is that by Annasamy & Sycara (2019) who learn exemplars to explain Atari games, but their method only works in discrete action spaces, and suffers a performance gap relative to blackbox counterparts.
In contrast to these approaches, PW-Nets are designed to be human-interpretable, generalize to any neural-based agent with any action space, do not lose model performance relative to black-box agents, and do not rely on post-hoc approximations prone to error.
User studies in deep RL trying to predict an agent’s actions have shown mixed results (Anderson et al., 2020), with the focus now moving towards arguable more useful tasks such as identifying defective models (Olson et al., 2021).
In the prototype literature, studies have generally focused on how “similar” test instances look to prototypes used (Das et al., 2020; Rymarczyk et al., 2021), but this does not evaluate if the explanation is useful in downstream applications, or appropriately calibrates trust in users (Sanneman & Shah, 2022).
In contrast to these studies, we ask users to simulate model behaviour to predict failure cases, an application recently suggested (Rudin et al., 2022), thus helping to calibrate appropriate trust and assist in downstream tasks.
M ETHOD
Section 3.1 first details our assumptions of a Markov environment and trained neural agent, before
Section 3.2 describes the proposed Prototype Wrapper Network (PW-Net), which creates a “wrapper” around the agent to make a new end-to-end interpretable policy that reasons with human-defined prototypes.
Finally, Section 3.3 gives certain performance guarantees for the system which shows it will always closely approximate the performance of a black-box agent.
3. M ARKOV F RAMEWORK
Our technique assumes access to a neural agent pretrained in a Markov Decision Process (MDP).
An MDP is defined by the ( S, A, T, R, γ ) tuple (Sutton & Barto, 2018).
S is the set of states;
A ∈ R M is the sets of M − dimensional actions; T : S ×
A −→ S is the probabilistic transition between states due to actions.
We note that actions in RL, unlike outputs of simple classifiers, may be multi-dimensional (e.g., a car must control both steering and acceleration at the same time).
We therefore dub each dimension in R M a separate “action.”
Lastly, γ and R define the discount factor and reward function, respectively.
In standard RL training methods, the goal is to find the policy, π : s ∈ S −→ A , that maximizes the expected discounted reward.
Our approach only requires access to a pre-trained black box policy, π bb ; any existing method from prior art may be used to generate such a policy (Sutton et al., 2000; Williams, 1992).
Assuming a neural net instantiation of this policy with a final linear layer, we may decompose π bb into an encoder f enc , alongside the last layer with weights W and bias b as follows:
π bb ( s ) =
W f enc ( s ) + b .
3. P ROTOTYPE -W RAPPER N ETWORK
Our primary contribution is a prototype wrapper neural net model, PW-Net, that converts black-box neural models into prototype-based agents for RL by forcing them to use human-understandable concepts, effectively creating a new policy.
The overall network diagram is depicted in Figure 1, instantiated for a car racing domain in which a simulated car must steer, brake, and accelerate.
# ℎ !,# ℎ !,
# ℎ !,#
Similarity Function …
Steering = 0. Braking = 0.
Accelerate = 0.
SimilarityScore 0.
Turn Left
Transformations
Pre-TrainedAgent State:
Weight Values
Possible Range +1 -  (−1,+1) [0,./012/34)
Turn Right
Accelerate
Human-DefinedPrototype Layer
Tanh(.)
ReLU(.) $ $ $ % $ $ $ % $ % " !,# # !,# # !,# " !,# " !,# … %!
HumanDefinedWeightMatrix
In the wrapper model, a state, s , is mapped to a latent representation, z , via the original encoder network: z = f enc ( s ) .
The network defines, for each action i ∈
[1 , M ] , a set of prototypes that, when combined, dictate action a [ i ] .
In Figure 1, for example, the steering action is associated with prototypes for a left and right turn.
For each prototype, for each action, a separate “projection network,” h i,j maps from z to a specific representation, z i,j for that action and prototype.
Within that space for action i and prototype j , we use the similarity function from Chen et al.
(2019) to score the distance between z i,j and prototype p i,j ; lastly, those similarity scores are combined via a linear weight matrix, W ′ to produce actions.
This process is defined more formally in Equation 1.
[Equation]
We created “human-friendly” prototypes by specifying a set of prototypical states ( s pi,j ) that, when encoded, were used as the latent prototypes, p i,j = h i,j ( f enc ( s pi,j )) , in the network.
For example, in the self-driving car experiments here, one prototypical state was an example of a car turning left and another state was an example of the car turning right; when encoded, these latent prototypes represent different ways of turning.
Prior literature in prototype-based neural networks indicates how one could train our wrapper model to learn its own prototypes (Chen et al., 2019).
However, our human-defined prototypes are motivated by recent literature showing prototype networks benefit from putting humans in the learning loop (Bontempelli et al., 2022), coinciding with work showing learning human-interpretable disentangled representations is both empirically and theoretically impossible without useful inductive biases or human supervision (Locatello et al., 2019).
We also manually defined W ′ to control the relationship between prototypes and actions.
Intuitively, W ′ i,j corresponds to how prototype p i,j should effect action a i .
In our self-driving car example, awas the turning rate: by setting W ′ [-
-]1 , 1 = − 1; W ′ [-
-]1 , 2 =
+1 , we specified that the car’s turning rate should equal the difference between the similarity to a prototypical left and right turn.
In principle, one could combine many similarity scores for the same action, but from a performance perspective, we never found the need to use more than two (although this is likely situation- and task-dependent).
W ′ guarantees that each prototype is associated with intuitive action(s), if it was learned then each prototype could correspond to multiple actions which is bad, e.g. we don’t want the prototype image for “Accelerate” to contribute to the output action “Braking” (see Fig. 1).
Given manually-specified prototypical states and W ′ , the only trainable parts of PW-Net were the projection networks, h i,j , with parameters ϕ .
These multiple transformations are necessary for performance (e.g. see Table 1).
In experiments, we trained h i,j using gradient-based optimization to minimize a supervision loss between the PW-Net and the black-box policy, π bb , in specific states.
The training data for this process was generated by running the agent in its native domain for n iterations and collating the state action pairs into dataset D ← { ( s, π bb ( s )) ∼ P ( S ) } ni =0 .
PW-Net’s explanation is a classic case-based reasoning one, where explanations are of the form “I am going to do action x, because this situation is similar to a previous prototypical situation when
I also did action x” Leake (1996).
Since our model is inherently interpretable, the explanation does not need to be generated, it is naturally produced when deciding each action to take.
The explanation can be a local explanation which explains the individual actions of an agent (see Fig. 1), or a global explanation of the car’s understood concepts which we use for our user study (see Fig. 3).
3. P ERFORMANCE G UARANTEES
Here, we show that PW-Nets learn a comparable policy to the unwrapped black-box model, indicating that agent performance is unlikely to degrade when using our more interpretable architecture that reasons with the prototypical concepts.
Given that both the black-box model and PW-Net share a common encoder, f enc , we therefore seek to prove that the output of a PW-Net from z , which we dub f ′ pw ( z ) , equals the output of the black-box model from z , f bb ( z ) , for all z .
For simplicity, we consider only the first action, a 1 with:
[Equation]
+ W ′ 12 log (cid:18)
d 212 +d 212 + ϵ (cid:19) . Equation 2 simply restates how action a 1 is calculated based on prototypes.
For simplicity, we only consider two prototypes per action (thus, two entries for W ′ 1 ,j ).
The range of the similarity function is (0 , log(1 /ϵ )] ; thus, the range of possible values of a ′ 1 is set by W ′ 1 j .
Assuming W ′ 1 , 1 > 0; W ′ 1 , 2 < 0 , a ′ 1 ∈ [ W ′ 1 , 2 log(1 /ϵ ) , W ′ 1 , 1 log(1 /ϵ )] .
We note that the similarity function decreases monotonically with distance, so it is invertible for legal values.
Therefore, even if p i,j were fixed, a sufficiently-parametrized h i,j could learn to output any similarity score simply by placing z i,j at the correct distance from p i,j .
Hence, as long as the black box policy outputs always fall within a finite range, a PW-Net policy can closely match the output.
In experiments, we found one linear layer was not enough to accomplish this, two was sufficient (which we used), and more showed no benefit.
Two important assumptions are worth highlighting.
First, we assumed that for each action there were at least two entries in W ′ and that they had opposite signs.
The similarity function always generates positive outputs; thus, to match a black box policy with both positive and negative values, it is important to use both positive and negative weights in W ′ .
In practice, we found this necessary in the self-driving car experiment.
Second, we assumed independent h i,j for all i, j .
Prior work in prototype-based neural nets often locate all prototypes within a single latent space.
However, given a fixed W ′ , and without separate h i,j , every state-action pair generated by π bb creates a set of (potentially incompatible) constraints for the relative locations of prototypes.
In practice, we found that learning separate h i,j was necessary for performance, which we show in the next two sections.
The earlier discussion found that PW-Nets may mimic a black-box policy for almost all z by assuming that h i,j may be learned to output any desired similarity score between z i,j and p i,j .
However, there are a small number of notable exceptions: precisely the z corresponding to prototype states.
By definition, the distance between between such encodings and the prototype will be zero, which specifies the PW-Net output for such states.
Note however, we are not trying to perfectly mimic the agent, instead we seek to use it as a “guide” whilst learning a new policy that reasons with the prototypes, so this is not a large issue and no performance degradation was noticed whilst using PW-Net instead of black-box policies in experiments.
C ONTINUOUS A CTION S PACES
Here we test the assertion that PW-Nets can perform on par with any black-box agent by testing them in a deep RL domain with multiple continuous output actions and a state space of only raw pixels.
In addition, another domain with symbolic inputs is tested to further display generality.
PW-Nets are compared against several baselines and the best methods are determined by how close the average reward is compared to the black-box. As an aside, how well the interpretable model approaches the black-box predictions at test time is also reported.
4. E XPERIMENT S ETUP
The deep RL domain tested here is the Car Racing problem from OpenAI’s gym environment, the agent receives rewards for driving around the track as fast as possible and avoiding swerving off the road.
We use a pre-trained model (partly to avoid any bias) from Jain (2022) which solved the environment using Proximal Policy Optimization (PPO).
The agent has three continuous output actions (see Fig. 1).
Similarly, for a symbolic problem, the Bipedal Walker environment from Open
AI’s gym Box2d was chosen, where the agent receives rewards for simply walking straight and not falling over.
For this latter domain a pre-trained model from Barhate (2022b) was used which solved the problem with the Twin Delayed DDPG (TD3) algorithm.
The agent has four continuous output actions (see Appendix A for prototypes used).
We compared first to k -Means in the space z with the same number of clusters as the number of prototypes used in PW-Net, before mapping each centroid onto the nearest training example to get the prototypes.
Then, in contrast to the other methods, we allowed k -Means to learn the weight parameters in the last layer to help it.
As another baseline, we followed the same protocol as PW-Net, but only a single transformation is used which houses all prototypes together in the same latent space which we call PW-Net*.
In addition, this baseline learns the prototypes as trainable parameters, and once training is complete, they are mapped onto the nearest training example.
This can be best thought of as an ablation test of PW-Net, however it bears resemblance to Chen et al.
(2019) and their ProtoPNet model, so we also implemented the clustering and separation losses suggested by [Table] the authors (adapted for continuous domains) to help the baseline further (see Appendix B).
Lastly, we also compare to VIPER by Bastani et al.
, but we adapt their algorithm here by using uniform sampling (which is implemented in their code base as an alternative) instead of the weighted sampling they discuss (which needs q-values), which allows us to use it in experiments.
Two metrics were used, average reward and mean-squared error (MSE).
Reward was calculated by training each method 5 times, and taking the average reward accumulated across 30 simulations.
The second metric took the MSE of the black-box model’s actions compared to the interpretable model’s actions each iteration, to see how closely methods approximate the oracle.
Since PWNet is optimising a function which (1) matches the original agent, and (2) uses the human-defined prototypes, it will not 100% match the agent’s predictions, indeed we don’t want it to, we want it to learn a new policy which reasons in a new way with the prototypes and W ′ .
MSE is included to make sure part (1) of the optimisation is working.
4. R ESULTS
Table 1 shows the results in continuous action domains.
In the deep RL domain Car Racing, only
PW-Net (M=218.72, SE=0.04) was capable of achieving the same average reward as the blackbox (M=218.41, SE=3.).
Moreover, PW-Net achieved the closest predictions to the black-box (i.e., the MSE was smallest).
In Bipedal Walker, again PW-Net (M=304.77, SE=6.72) was capable of achieving near the same average reward as the black-box (M=310.71, SE=1.47), although PW-Net* did achieve notable reward too (M=190.41, SE=59.51).
k -Means performed the worst overall, with the lowest reward and highest MSE, with VIPER fairing only slightly better.
Note that VIPER only works in symbolic domains, so we could not test it on Car Racing.
D ISCRETE A CTION S PACES
Here again PW-Nets are tested, but in discrete domains to help prove generality.
As before, a deep RL domain using raw-pixels as state representations is tested, alongside a symbolic domain as an aside.
The same baselines and metrics are used, although with some minor modifications.
5. E XPERIMENT S ETUP
The deep RL domain tested is Atari Pong from OpenAI’s gym environment, the agent receives rewards for scoring against the opponent, and losses rewards for being scored against.
The agent has six discrete actions corresponding to moving up or down, and we use a pre-trained model from
S¸ent¨urk (2022) which solved the environment using the DQN algorithm.
Similarity, for the symbolic problem, the Lunar Lander environment was chosen, where the agent gets reward by landing the spaceship successfully and safely in the shortest time possible.
The agent has four actions corresponding to doing nothing, or firing its engine on different sides.
A pre-trained model from Barhate (2022a) was used which solved the problem with the TD3 algorithm (see Appendix for prototypes).
As baselines, we again compared to k -Means, but this time by dividing the training data in the space z using each separate action, and clustering each with k = 1 , before mapping each centroid onto the nearest training example.
Then, in contrast to the last experiment, we didn’t allow k -Means to [Table] learn the weight parameters in the last layer since each can easily be associated with an appropriate action.
PW-Net* was again used here [Table] but this time using the exact same clustering and separation losses suggested by Chen et al.
[Table] since they developed the losses for discrete classification problems they will work here.
Lastly, we again compare to VIPER by Bastani et al.
(2018) using the uniform sampling variation of their algorithm [Table]
Two metrics were used, reward and accuracy.
Reward was calculated by training each methodtimes [Table] and taking the average reward accumulated across 30 simulations.
The second metric took the accuracy of the black-box model’s actions compared to the interpretable model’s actions at test time. This has the same functionality as MSE in the previous section
[Table]
but now adapted for discrete domains.
5. R ESULTS
Table 2 shows the results of using PW-Nets in discrete action spaces.
In Pong, PW-Net achieved the highest reward (M=10.72, SE=0.26) relative to PW-Net* (M=8.85, SE=1.69)
[Table]
and k -Means (M=- 21., SE=0.), which was also closest to the black-box’s reward (M=11.94, SE=0.16).
Interesting divergences happen where PW-Net* achieves lower Accuracy (M=84.84, SE=0.76) compared to
PW-Net (M=88.93, SE=0.00), indicating that PW-Net was better at learning from the black-box.
In
Lunar Lander, again only PW-Net variations were able to reach a comparable reward to the black box.
Specifically, PW-Net achieved a reward (M=216.94, SE=16.92) which was comparable to the black-box (M=212.94, SE=2.63), as did PW-Net* (M=124.54, SE=120.53).
Larger divergence happens when comparing accuracy, as PW-Net (M=97.63, SE=.0) achieves significantly higher results than PW-Net* (M=88.67, SE=0.01), indicating that the former is again better able to learn from the original black-box function.
Although marginally better than k -Means, VIPER performs badly overall (M=-408.81, SE=60.98), perhaps suggesting that decision trees will struggle in their current form to generalize beyond relatively simple domains such as Cartpole where they are usually tested successfully (Bastani et al., 2018;
Silva et al., 2020).
Lastly, note the pre-trained Pong model was 5% stochastic, so reaching high performance with PW-Net was impossible.
So, considering the two experiments thus far, it is clear that PW-Net generalizes the best overall both in terms of reward and MSE/Accuracy, particularly in deep RL settings which is our focus here.
A natural question to ask is how sensitive the performance of PW-Net is to the prototypes chosen, so we performed a test on all four domains where the prototypes were randomly chosen from the training data 30 times with 30 simulations ran each time.
Results showed no notable difference to the black-box in Car Racing (Reward: M=218.57, SE=0.09, MSE), Atari Pong (Reward; M=10.71,
SE=0.29), Lunar Lander (Reward; M=213.78, SE=11.19), or Bipedal Walker (Reward: M=309.44,
SE=1.79).
So, overall, PW-Nets are very robust to the prototypes chosen.
However, as we shall now see, user task performance crucially depends upon choosing human-friendly prototypes.
U SER S TUDY
Here we test if PW-Nets can improve a user’s ability to predict in distribution (ID) successes and out-of-distribution (OOD) failures in a simple self-driving car domain, an application seen as highly sought after (Rudin et al., 2022). We setup the materials such that all ID situations were driven successfully by the car, and all OOD situations were ones in which it crashed (see Fig. 5). The explanation shown to users is a global explanation of the car, which for the experiment group using
PW-Net is shown in Figure 3. Two different control groups are compared to our “Human-Friendly Prototype” experiment group which used PW-Net’s global explanation.
The first is a “Non-Human Friendly” group which uses the same prototypes as our network, but rearranges them randomly.
So, the weight matrix and actions remain the same, but different prototype images are associated with each.
The purpose of this comparison is to show that although the performance of the network itself does not hinge on associating human-friendly prototypes with intuitive actions, the performance of humans does.
Note this is an actual PW-Net we trained that performed just as well as the other models here (even though the prototypes were purposefully “badly chosen”).
This group was easily controlled because they saw the same amount of information in each question as the experiment group, whilst being presented in a similar way (see Fig. 6 and 7).
Secondly, we compare our network to a full black-box, where people are simply told “The car has learned to drive very well by practicing for millions upon millions of simulations” .
This group was controlled by giving users this additional text in the explanation to replace the prototype images which were omitted in their explanation of how the car works (see Fig. 6).
The rationale here is that these images needed to be replaced with comparable information in order to control the cognitive load between groups.
After seeing the current situation of the car, participants are shown the explanation, and then asked to predict if the car will drive safely or not on a scale of 1-5, where 1 corresponds to “Strongly Disagree” and 5 to “Strongly Agree”.
Note numeric scales were used (not a traditional Likert one) so the data could be confidently analyzed using t-tests (Carifio & Perla, 2008).
So, the two hypotheses tested are: H1:
Users require human-interpretable prototypes to perform well in model simulation tasks.
H2: When people receive no explanation, they will struggle to predict OOD failures by overestimating the system’s capabilities.
Participants.
Comparing to similar studies (Kenny et al., 2021), we anticipated a medium effect size, but pilot studies showed a large effect.
Hence, anticipating a medium-large effect, we chose an alpha of 0.05, a power of 0.8, and an effect size of 0.65, which predicted through a power analysis that a sample size of 30 was required in each group to avoid p -hacking.
Hence, 90 people in total were recruited from prolific.co, 30 per group, all paid $12 per hour to complete the study.
All participants were restricted to being native English speakers, using desktop computers, in either the
U.S. or the U.K.
This study passed ethics review of the institution.
Materials.
20 materials were shown to users, 10 in distribution (ID), and 10 out-of-distribution (OOD), the latter was generated from the open source modification to the Car Racing environment provided by Woodcock (2016), 5 of which showed red obstacles the car should avoid, and the other 5 of which showed unusual roads not seen normally in the environment (such as t-junctions).
All ID situations were gathered form the original domain, driven successfully by the car, and labelled as “driving safe”.
The OOD situations were real failure cases of the car, where all trained models either (1) drove off the road crashing, or (2) hit the obstacles.
If the car did either of these latter things, it was labelled as “not driving safely”.
All these questions can be seen in Figure 5 to make the ID and OOD materials clear.
After the questions, users where shown where the car did/didn’t drive safe, and asked to complete the NASA TLX perceived workload questionnaire.
6. R ESULTS .
Each participant’s scores were averaged both for ID and OOD materials, which formed the distributions of interest.
H1: Fig.
2(A) shows a large difference in predicting ID success.
Specifically, those who received “Human-Friendly Prototypes” (M=4.48, SD=0.43) compared to participants in the “Non-Human Friendly Prototypes” control group (M=2.19, SD=0.78) demonstrated better ability to predict when the system would drive safe, t (58)=13.8, p < .0001, showing human-friendly prototypes had a large effect on people’s task performance. This lends evidence that prototypes need to be carefully chosen in order to maximise the effectiveness of PW-Net global explanations.
H2: Fig.
2(B) shows a significant difference in predicting OOD failures between participants who [Figure] received “Human-Friendly Prototypes” (M=2.24, SD=0.68) and participants in the “Black-Box” control group (M=3.48, SD=0.75).
The prior demonstrated significantly better ability to predict when the system would not drive safe, t (58)
= -6.53, p < .0001, showing that prototypes give a global understanding of the system which allows people to predict OOD-based system failures better than no explanation.
This is interesting in that it shows people who see no explanation are overly confident in the black-box’s abilities, leading to inappropriate trust, which PW-Nets actively avoid.
Aside from testing our original hypotheses, additional post-hoc analysis considered the groups from a pure accuracy perspective, where scores of 4/5 were taken as the user predicting the car would drive safely, and scores of 1/2 as the user predicting the car would not drive safely, a score ofwas always marked as incorrect, since the user is uncertain either way.
The human-friendly group was better at predicting if the car would drive safe or not (M=0.75, SD=0.14), than the non-human friendly group (M=0.37, SD=0.15), and the black-box group (M=0.57, SD=0.10), with both results achieving statistical significance p < .05.
This ability to accurately predict a system is considered an important proxy metric for trust calibration (Hoffman et al., 2018; Sanneman & Shah, 2022).
Hence, it is reasonable to posit that PW-Net may have a role to play in calibrating appropriate user trust of AI systems, something which is seen as a core application for XAI, but has proven difficult to demonstrate in practice (Silva et al., 2022).
Lastly, the NASA TLX questionnaire showed there was a significant difference in people’s perceived workload between participants who received “Human-Friendly Prototypes” (M = 5.80, SD = 1.74) and participants in the “Non-Human Friendly” control group (M = 7.25, SD = 2.63).
The control recorded a higher workload, t (58) =
-2.45, p < .02, showing that badly chosen prototypes make the task of the using the system significantly more taxing on people.
C ONCLUSION AND D ISCUSSION
The world at large has grown increasingly excited about possible applications for deep RL in domains such as self-driving cars and human-robot interaction.
However, without complete transparency in the agent’s actions and intent, it is not feasible to use the systems in truly sensitive domains (Rudin, 2019).
Here, we have showcased an accessible way to force any deep RL agent to use human understandable concepts in an interpretable way, hopefully taking a step towards having a common language between AI and humans as has been suggested lately (Kim, 2022).
Results demonstrated that the technique does not loose model performance and generalizes across discrete and continuous action spaces.
In addition, a user study showed real applicability of the technique to assist human task performance in predicting model failure (and success) states, alongside calibrating appropriate user trust.
R EPRODUCIBILITY S TATEMENT
All original code used is uploaded with this submission via a zip file, making reputability trivial.
For the user study, we also included all four groups surveys as PDFs in the same zip file, so people may recreate the study results if they wish (anonymized during peer review)
E THICS S TATEMENT
One of the potential ethical considerations of using prototypes for explanations is that the examples used must perserve user privacy.
Considering this, if PW-Nets were used in downstream applications, some consideration is going to need to be given to this.
However, when compared to more generic nearest neighbor algorithms, PW-Nets have a big advantage here in that there is a much smaller group of exemplars which may be possibly presented to users so the efforts on algorithm designers to preserve privacy will be much easier
A P ROTOTYPES C HOSEN
In this appendix we explain how the prototypes were chosen for each domain.
A. C AR R ACING
In this domain there are three action outputs, steering, braking, and accelerating.
Steering has a possible range from -1 to +1, with negative values turning left, and positive values turning right,means to drive straight on.
Accelerating and Braking both have values from 0 to ∞ .
When choosing the prototypes for PW-Nets, we broke steering down into two concepts of “turning left” and “turning right”, with a prototype representing each concept.
For accelerating and braking, we only chose one prototype each.
For accelerating a state of a straight road was chosen, since this is typically seen as a safe situation to accelerate, and for braking the motion of taking a turn was chosen, since it is necessary for a car to always brake when turning a corner in order to drive safely, these where seen as being somewhat interpretable for people (see Fig. 2).
Note that many more concepts could be used to dictate when the car brakes or accelerates.
For example, if there are obstacles on the road, then one could correspond a prototypical example of these objects to the action “braking”.
That way, when the car sees such an obstacle, it will brake and explain why is is braking (i.e., due to its similarity to the prototype with the obstacle).
However, here for simplicity (and to demonstrate multiple/single options), we only associate one concept with the actions braking and accelerating, whilst associating two with steering.
A. A TARI P ONG
In this domain there are six action outputs, action 0 and 1 are placeholders and do nothing, action& 4 makes the racket go up, and action 3 & 5 makes the racket go down.
The prototypes used in our tests are shown in Fig.
4, with near identical ones used for the duplicate actions.
A. S YMBOLIC D OMAINS
Although the focus of this paper is on deep RL, these domains were included to help prove the generality of PW-Nets as proposed in Section 3.3.
For Lunar Lander and Bipedal Walker we defined “ideal” prototypical examples of each concept in the action-space where the action of interest was 1 or -1 and all others 0, which we then mapped to the nearest training example.
Lunar Lander had 1 for the action of interest, and 0 for the others (four prototypes in total).
Bipedal Walker had two prototypes for each output action since they ranged from -1 to +1 (so 8 prototypes in total), each representing the concept of one of its limbs moving forward or backwards (e.g., “Right Hip Moving
Forwards”).
B L OSSES IN PW-N ET *
When learning all the prototypes in the same latent space z , we followed prior literature in Chen et al.
and used their separation and clustering losses as described below:
[Equation]
[Equation] [Equation] where n is the number of instances in a batch, j is a prototype for one of the classes in P , f ( . ) is the encoder, and z is the latent representation of some patch in test instance x i .
However, in our domains we are considering whole instances, and not parts of them, so the losses become:
[Equation]
In the continuous actions spaces, the losses had to be modified to work, so they became:
[Equation]
where P simply represents the number of prototypes used.
Intuitively speaking, the first loss forces all prototypes to be close to the data distribution, so that when they are mapped to real instances they do not change much.
The second loss forces all prototypes to be far apart from each other.
Each loss had to be scaled in optimization with parameters λ 1 and λ 2 , respectively.
In discrete domains, we set the values to 0.8, and 0.08 [following Chen et al.
(2019)], but
in continuous domains we found 0.08, [Figure] [Figure] and 0.008 worked better.
The denominator in Equation (8) simply accounts for i and j occasionally being equal to each other, the loss could also be rewritten as:
[Equation]
C U SER S TUDY DESIGNS
Rather than include the user surveys in this manuscript, we uploaded them in the accompanying zip file in the interests of keeping this document to a reasonable size (both in terms of file size and document length). However, we do show some screenshots here in Appendix E.
D T RANSFORMATION A RCHITECTURE
Each PW-Net model here used multiple transformations
h i,j to convert z into a latent space in which it could have its similarity measured against human-defined prototypes.
The architecture for each of these is specified in Table 3.
In practice, the prototype sizes were usually 50 in length.
[Table]
E U SER S TUDY : S URVEY D ETAILS
Our study was designed to see if people can predict OOD-based failures and ID-based successes based on the explanations given.
For the ease of readers, we have included all OOD/ID materials shown to users in Figure 5.
Then, Figures 6 and 7 show an example of the actual survey questions asked in all four groups.
Please consult the supplementary material to see the full surveys.
Note we
[Figure]
are happy to share the surveys so other researchers do not have to rewrite them from scratch if they wish to reproduce the results.
E. T HE T RAINING D ATA G ROUP : O MITTED R ESULTS F ROM U SER S TUDY
Note that there was a fourth group in our user study dubbed the “Training Data” group (see Fig.
7B).
However, due to concerns the Training-Data group here was not as well controlled as the others (due to the additional text prompt reminding users that they are only seeing a small sample of training data), we removed it from the main paper, but we show it here in Figure 8 in case some readers are interested in the results nevertheless.
This additional text was added as an attempt to control for the fact users were not reading associated actions with each prototype in the group, so they needed additional cognitive load to be equal to the experimental group.
However, it was ultimately decided to omit the group from the main paper as it was seen as too likely to be a possible confounding factor.
Specifically, Fig.
8(A) shows a significant difference in predicting OOD failures.
In particular, when comparing participants who received “Human-Friendly Prototypes” (M=2.24, SD=0.68) to participants in the “Training-Data” control group (M=2.79, SD=0.57), the prior demonstrated better ability to predict when the system would not drive safe, t (58) =
-3.32, p < .002.
This shows that prototypes give a global understanding of the system’s capabilities which allow people to confidently predict OOD-based system failures better than observing segments of training data.
However, we reiterate that these results may not reproduce if the instructions in Step 2 were more minimal (see
Fig. 7B). [Figure] [Figure]
F A DDITIONAL PW-N ET R ESULTS
To help further prove the generality of PW-Nets, we include some more case studies here of their performance in different domains.
[Figure]
[Table]
F. C ART P OLE
Here, we trained a DQN model to perform in the cart-pole domain from Open AI’s gym environment.
It is a symbolic domain with a four-dimensional state space corresponding to cart position, cart velocity, pole angle, and pole velocity at tip.
The output actions are simply to go left or go right.
To succeed in the environment, the agent must remain balanced for 200 actions.
The DQN learned to perform perfectly in the domain, achieving an average reward of 200 across 150 simulations.
Following Algorithm 1, we first collected simulation input-output data forsimulations, corresponding to 20,000 datapoints for training the PW-Net.
To pick the prototypes, this data was partitioned into two groups corresponding to each action, and the mean centre of the cluster was used to get the prototype for each action which was the closest mapping in the real data.
We trained five PW-Nets on these data, for 30 epochs, and ran 30 simulations each time to collect the results.
Overall, the PW-Net perfectly performed in the domain with an average reward of± 0.00, and an accuracy of 98.81%, showing that it approaches the same function as the black-box, but the constraints of using the prototypes means it inevitably learns to reason in a different manner more intuitive for humans.
The other algorithms PW-Net* and VIPER also achieve similar results, showing that Cart Pole is a relatively simple domain compared to the others tested in the main paper.
Notably, VIPER achieves a better reward than PW-Net*, but only slightly.
F. A TARI B REAKOUT
Here, we used a pre-trained model from Greydanus.
The model uses the Asynchronous Advantage
Actor-Critic (A3C) approach.
Like Atari Pong, the domain’s input state space is raw pixels, and there are six output actions.
The model achieves reward for rebounding the ball on screen to hit obstacles above it, and not missing the ball.
We limit the number of actions per episode toto (1) avoid the episode going on too long, and (2) to see which agent performs best as quickly as possible.
The A3C model learned to perform well in the domain, achieving an average reward of around 26.
across 30 simulations.
Following Algorithm 1, we first collected simulation input-output data for 30 simulations, corresponding to 30,000 datapoints for training the PW-Net.
To pick the prototypes, this data was partitioned into two six corresponding to each action, and the mean centre of the cluster was used to get the nearest prototype for each action.
We trained five PW-Nets on these data, for 50 epochs, and ran 30 simulations each time to collect the results, and the same was done for PW-Net* and k -means.
Overall, the PW-Net performed well in the domain with an average reward of 28.14, and an accuracy of 92.44, showing that it approaches the same function as the black-box, but the constraints of using the prototypes means it inevitably learns to reason in a different manner more intuitive for humans.
The other algorithms PW-Net* and k-means achieve 23.41, and 0.00 reward, respectively.
This shows that again, PW-Net* performs well, but better performance is achieved using human-defined prototypes and multiple transformations (see Fig. 1).
k -means performs poorly in this domain, showing the necessity for using transformations in PW-Nets.
Interestingly, the agent here uses a recurrent neural network-based policy.
So, this further proves the generality of PW-Nets into different architecture choices.