4.7 Article

Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search

Related references

Note: Only part of the references are listed.
Article Computer Science, Interdisciplinary Applications

Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees

Giuseppe Bombara et al.

Summary: This article discusses inferring high-level descriptions of a system from its execution traces using Signal Temporal Logic (STL) formulae and decision-tree-based framework, with an extension to online learning scenario. The approach offers advantages of interpretability and applicability, demonstrated through fault detection and anomaly detection case studies in automotive and maritime systems.

ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS (2021)

Article Computer Science, Artificial Intelligence

Evaluating XAI: A comparison of rule-based and example-based explanations

Jasper van der Waa et al.

Summary: The resurgence of Explainable AI is driven by advancements in Artificial Intelligence, but there is a lack of valid evaluations on the impact of different explanation styles on user experience and behavior. Rule-based and example-based explanations have effects on system understanding and persuasion in the context of diabetes self-management, but do not improve task performance.

ARTIFICIAL INTELLIGENCE (2021)

Article Computer Science, Artificial Intelligence

Evaluating local explanation methods on ground truth

Riccardo Guidotti

Summary: Evaluating local explanation methods is challenging due to the lack of a shared definition of explanation. A proposed approach measures how correct local explanations are compared to a synthetic ground truth explanation. This methodology allows for easy evaluation and characterization of the quality of local explanation methods.

ARTIFICIAL INTELLIGENCE (2021)

Article Computer Science, Artificial Intelligence

Grad-CAM: Visual Explanations from Deep Networks via Gradient-Based Localization

Ramprasaath R. Selvaraju et al.

INTERNATIONAL JOURNAL OF COMPUTER VISION (2020)

Article Computer Science, Software Engineering

Mining parametric temporal logic properties in model-based design for cyber-physical systems

Bardh Hoxha et al.

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2018)

Article Physics, Multidisciplinary

MOTiFS: Monte Carlo Tree Search Based Feature Selection

Muhammad Umar Chaudhry et al.

ENTROPY (2018)

Article Automation & Control Systems

Temporal Logics for Learning and Detection of Anomalous Behavior

Zhaodan Kong et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2017)

Article Computer Science, Artificial Intelligence

Explaining prediction models and individual predictions with feature contributions

Erik Strumbelj et al.

KNOWLEDGE AND INFORMATION SYSTEMS (2014)

Article Computer Science, Artificial Intelligence

A Survey of Monte Carlo Tree Search Methods

Cameron B. Browne et al.

IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES (2012)

Article Computer Science, Theory & Methods

Robustness of temporal logic specifications for continuous-time signals

Georgios E. Fainekos et al.

THEORETICAL COMPUTER SCIENCE (2009)

Article Computer Science, Artificial Intelligence

Finite-time analysis of the multiarmed bandit problem

P Auer et al.

MACHINE LEARNING (2002)