[HTML][HTML] Notions of explainability and evaluation approaches for explainable artificial intelligence
Abstract Explainable Artificial Intelligence (XAI) has experienced a significant growth over
the last few years. This is due to the widespread application of machine learning, particularly …
the last few years. This is due to the widespread application of machine learning, particularly …
Explainable artificial intelligence: a systematic review
Explainable Artificial Intelligence (XAI) has experienced a significant growth over the last few
years. This is due to the widespread application of machine learning, particularly deep …
years. This is due to the widespread application of machine learning, particularly deep …
[PDF][PDF] LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.
Abstract In Reinforcement Learning (RL), an agent is guided by the rewards it receives from
the reward function. Unfortunately, it may take many interactions with the environment to …
the reward function. Unfortunately, it may take many interactions with the environment to …
Explainable planning
As AI is increasingly being adopted into application solutions, the challenge of supporting
interaction with humans is becoming more apparent. Partly this is to support integrated …
interaction with humans is becoming more apparent. Partly this is to support integrated …
Plan explanations as model reconciliation: Moving beyond explanation as soliloquy
When AI systems interact with humans in the loop, they are often called on to provide
explanations for their plans and behavior. Past work on plan explanations primarily involved …
explanations for their plans and behavior. Past work on plan explanations primarily involved …
The emerging landscape of explainable ai planning and decision making
T Chakraborti, S Sreedharan… - arXiv preprint arXiv …, 2020 - arxiv.org
In this paper, we provide a comprehensive outline of the different threads of work in
Explainable AI Planning (XAIP) that has emerged as a focus area in the last couple of years …
Explainable AI Planning (XAIP) that has emerged as a focus area in the last couple of years …
[PDF][PDF] Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.
G De Giacomo, MY Vardi - Ijcai, 2013 - repository.rice.edu
In this paper we look into the assumption of interpreting LTL over finite traces. In particular
we show that LTLf, ie, LTL under this assumption, is less expressive than what might appear …
we show that LTLf, ie, LTL under this assumption, is less expressive than what might appear …
[PDF][PDF] Plan Recognition as Planning Revisited.
Recent work on plan recognition as planning has shown great promise in the use of a
domain theory and general planning algorithms for the plan recognition problem. In this …
domain theory and general planning algorithms for the plan recognition problem. In this …
[HTML][HTML] Robot task planning and explanation in open and uncertain worlds
A long-standing goal of AI is to enable robots to plan in the face of uncertain and incomplete
information, and to handle task failure intelligently. This paper shows how to achieve this …
information, and to handle task failure intelligently. This paper shows how to achieve this …
Explainable security
L Vigano, D Magazzeni - 2020 IEEE European Symposium on …, 2020 - ieeexplore.ieee.org
In 2017, the Defense Advanced Research Projects Agency (DARPA) launched the
Explainable Artificial Intelligence (XAI) program that aims to create a suite of new AI …
Explainable Artificial Intelligence (XAI) program that aims to create a suite of new AI …