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

, &
Artificial Intelligence 318 (C):103897 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2023.103897

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Updating the dual systems model of temporal cognition: Reasoning with dynamic systems theory.Annette Hohenberger - 2019 - Behavioral and Brain Sciences 42.
Monte Carlo experiments and the defense of diffusion models in molecular population genetics.Michael R. Dietrich - 1996 - Biology and Philosophy 11 (3):339-356.
Dynamic topological logic.S. Artemov - unknown
Monte Carlo tree search in Kriegspiel.Paolo Ciancarini & Gian Piero Favini - 2010 - Artificial Intelligence 174 (11):670-684.
Executing Temporal Logic Programs.B. C. Moszkowski - 1986 - CUP Archive.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Why Monte Carlo Simulations Are Inferences and Not Experiments.Claus Beisbart & John D. Norton - 2012 - International Studies in the Philosophy of Science 26 (4):403-422.
Propositional temporal logics: decidability and completeness.O. Lichtenstein & A. Pneuli - 2000 - Logic Journal of the IGPL 8 (1):55-85.
Monte-Carlo tree search and rapid action value estimation in computer Go.Sylvain Gelly & David Silver - 2011 - Artificial Intelligence 175 (11):1856-1875.
Reasoning about actions in dynamic linear time temporal logic.L. Giordano, A. Martelli & C. Schwind - 2001 - Logic Journal of the IGPL 9 (2):273-288.
Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.
Reassessing equilibrium explanations: When are they causal explanations?Ashton T. Sperry-Taylor - 2019 - Synthese 198 (6):5577-5598.

Analytics

Added to PP
2023-03-06

Downloads
13 (#1,031,150)

6 months
7 (#419,182)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references