Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

© 2019 International Joint Conferences on Artificial Intelligence. All rights reserved. Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning. Prior works on inferring temporal logic speci...

Full description

Bibliographic Details
Main Authors:	Kim, Joseph, Muise, Christian, Shah, Ankit Jayesh, Agarwal, Shubham, Shah, Julie A
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	International Joint Conferences on Artificial Intelligence 2021
Online Access:	https://hdl.handle.net/1721.1/137327

Similar Items

Bayesian inference of temporal task specifications from demonstrations
by: Shah, Ankit Jayesh, et al.
Published: (2020)

Bayesianism and inference to the best explanation
by: Valeriano IRANZO
Published: (2008-01-01)

Interactive Robot Training for Temporal Tasks
by: Shah, Ankit Jayesh, et al.
Published: (2021)

Towards manipulation planning for multiple interlinked deformable linear objects
by: Shah, Ankit Jayesh, et al.
Published: (2017)

Planning for manipulation of interlinked deformable linear objects with applications to aircraft assembly
by: Shah, Ankit Jayesh
Published: (2016)

Bayesian perceptual inference in linear Gaussian models
by: Battaglia, Peter W.
Published: (2010)

Bayesian inference in epidemics: linear noise analysis
by: Samuel Bronstein, et al.
Published: (2023-01-01)

Semantic Information G Theory and Logical Bayesian Inference for Machine Learning
by: Chenguang Lu
Published: (2019-08-01)

Bayesian Nonparametric Inference of Switching Dynamic Linear Models
by: Fox, Emily Beth, et al.
Published: (2013)

Variational Bayesian inference of linear state space models
by: Chuanchao Pan, et al.
Published: (2019-11-01)

Reactive Task and Motion Planning under Temporal Logic Specifications
by: Li, Shen, et al.
Published: (2022)

Abduction and Inference to the Best Explanation
by: Valeriano Iranzo
Published: (2009-12-01)

Understanding, Explanation, and Active Inference
by: Thomas Parr, et al.
Published: (2021-11-01)

An Explanation of the Logic of Hmong RPA
by: Chô Ly
Published: (2020-07-01)

Learning Models of Sequential Decision-Making without Complete State Specification using Bayesian Nonparametric Inference and Active Querying
by: Unhelkar, Vaibhav V., et al.
Published: (2018)

Explanation and inference: Mechanistic and functional explanations guide property generalization
by: Tania eLombrozo, et al.
Published: (2014-09-01)

Causal inference in ethnographic research: Refining explanations with abductive logic, strength of evidence assessments, and graphical models.
by: Jeffrey G Snodgrass, et al.
Published: (2024-01-01)

Causal inference in ethnographic research: Refining explanations with abductive logic, strength of evidence assessments, and graphical models
by: Jeffrey G. Snodgrass, et al.
Published: (2024-01-01)

Bayesian inference for linear dynamic models with Dirichlet process mixtures
by: Caron, F, et al.
Published: (2008)

Variational Bayesian Inference in High-Dimensional Linear Mixed Models
by: Jieyi Yi, et al.
Published: (2022-01-01)

To integrate or not to integrate: Temporal dynamics of hierarchical Bayesian causal inference.
by: Máté Aller, et al.
Published: (2019-04-01)

Abduction, Bayesianism and Best Explanations in Physics
by: Andrés Rivadulla
Published: (2018-04-01)

Induction, deduction and inference to the best explanation
by: Rodolfo Gaeta
Published: (2021-06-01)

Fuzzy Linear Temporal Logic with Quality Constraints
by: Xianfeng Yu, et al.
Published: (2024-10-01)

Linear Temporal Logic for Regular Cost Functions
by: Denis Kuperberg
Published: (2014-02-01)

The Complexity of Generalized Satisfiability for Linear Temporal Logic
by: Michael Bauland, et al.
Published: (2009-01-01)

Method of marks for propositional linear temporal logic
by: Regimantas Pliuškevičius
Published: (2014-12-01)

Linear Temporal Logic-based Mission Planning
by: Anil Kumar, et al.
Published: (2016-06-01)

A Parallel Linear Temporal Logic Tableau
by: John C. McCabe-Dansted, et al.
Published: (2017-09-01)

Arguing for Explanations: Logic and the Special Disciplines
by: Thomas Schwartz
Published: (1984-01-01)

Multilevel linear modelling for FMRI group analysis using Bayesian inference.
by: Woolrich, M, et al.
Published: (2004)

Bayesian inference of biochemical kinetic parameters using the linear noise approximation
by: Finkenstädt Bärbel, et al.
Published: (2009-10-01)

Luminance reflectances: explanation and calculation of contrast/
by: 341019 Rindorff, Hans Jorgen
Published: (19--)

Achievable Minimally-Contrastive Counterfactual Explanations
by: Hosein Barzekar, et al.
Published: (2023-08-01)

Planning with linear temporal logic specifications: handling quantifiable and unquantifiable uncertainty
by: Yu, P, et al.
Published: (2025)

End-to-End Path Planning Under Linear Temporal Logic Specifications
by: Chaeeun Yang, et al.
Published: (2024-01-01)

Spatio-Temporal Forecasting of Global Horizontal Irradiance Using Bayesian Inference
by: Caston Sigauke, et al.
Published: (2022-12-01)

The effect of temporal information among events on Bayesian causal inference in rats
by: Kosuke eSawa, et al.
Published: (2014-10-01)

Planning for temporally extended goals in pure-past linear temporal logic
by: Bonassi, L, et al.
Published: (2023)

LEVEL (Logical Explanations & Visualizations of Estimates in Linear mixed models): recommendations for reporting multilevel data and analyses
by: Maria Jose Monsalves, et al.
Published: (2020-01-01)