Dynamic Epistemic Logic Games with Epistemic Temporal Goals
- URL: http://arxiv.org/abs/2001.07141v1
- Date: Mon, 20 Jan 2020 15:27:23 GMT
- Title: Dynamic Epistemic Logic Games with Epistemic Temporal Goals
- Authors: Bastien Maubert, Aniello Murano, Sophie Pinchinat, Fran\c{c}ois
Schwarzentruber and Silvia Stranieri
- Abstract summary: Dynamic Epistemic Logic (DEL) is a logical framework in which one can describe in great detail how actions are perceived by the agents, and how they affect the world.
Del games were recently introduced as a way to define classes of games with imperfect information where the actions available to the players are described very precisely.
This framework makes it possible to define easily, for instance, classes of games where players can only use public actions or public announcements.
- Score: 15.009194182281453
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Dynamic Epistemic Logic (DEL) is a logical framework in which one can
describe in great detail how actions are perceived by the agents, and how they
affect the world. DEL games were recently introduced as a way to define classes
of games with imperfect information where the actions available to the players
are described very precisely. This framework makes it possible to define
easily, for instance, classes of games where players can only use public
actions or public announcements. These games have been studied for reachability
objectives, where the aim is to reach a situation satisfying some epistemic
property expressed in epistemic logic; several (un)decidability results have
been established. In this work we show that the decidability results obtained
for reachability objectives extend to a much more general class of winning
conditions, namely those expressible in the epistemic temporal logic LTLK. To
do so we establish that the infinite game structures generated by DEL public
actions are regular, and we describe how to obtain finite representations on
which we rely to solve them.
Related papers
- GTBench: Uncovering the Strategic Reasoning Limitations of LLMs via Game-Theoretic Evaluations [87.99872683336395]
Large Language Models (LLMs) are integrated into critical real-world applications.
This paper evaluates LLMs' reasoning abilities in competitive environments.
We first propose GTBench, a language-driven environment composing 10 widely recognized tasks.
arXiv Detail & Related papers (2024-02-19T18:23:36Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
We use a novel semantic approach to achieve decidability.
Specifically, we augment the logic of knowledge S5$_n$ and with an interaction axiom called (knowledge) commutativity.
We prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest.
arXiv Detail & Related papers (2023-07-28T11:26:26Z) - DELPHIC: Practical DEL Planning via Possibilities (Extended Version) [76.75197961194182]
This work aims to push the envelop of practical DEL planning.
We propose an equivalent semantics defined using, as main building block, so-called possibilities.
To substantiate this claim, we implement both approaches in ASP and we set up an experimental evaluation to compare DELPHIC with the traditional, Kripke-based approach.
arXiv Detail & Related papers (2023-07-28T10:09:45Z) - Promptable Game Models: Text-Guided Game Simulation via Masked Diffusion
Models [68.85478477006178]
We present a Promptable Game Model (PGM) for neural video game simulators.
It allows a user to play the game by prompting it with high- and low-level action sequences.
Most captivatingly, our PGM unlocks the director's mode, where the game is played by specifying goals for the agents in the form of a prompt.
Our method significantly outperforms existing neural video game simulators in terms of rendering quality and unlocks applications beyond the capabilities of the current state of the art.
arXiv Detail & Related papers (2023-03-23T17:43:17Z) - Learning the Effects of Physical Actions in a Multi-modal Environment [17.757831697284498]
Large Language Models (LLMs) handle physical commonsense information inadequately.
We introduce the multi-modal task of predicting the outcomes of actions solely from realistic sensory inputs.
We show that multi-modal models can capture physical commonsense when augmented with visual information.
arXiv Detail & Related papers (2023-01-27T16:49:52Z) - Inherently Explainable Reinforcement Learning in Natural Language [14.117921448623342]
We focus on the task of creating a reinforcement learning agent that is inherently explainable.
This Hierarchically Explainable Reinforcement Learning agent operates in Interactive Fictions, text-based game environments.
Our agent is designed to treat explainability as a first-class citizen.
arXiv Detail & Related papers (2021-12-16T14:24:35Z) - Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
We are motivated to cover both commonsense and temporary knowledge clues hierarchically.
Specifically, we propose a general formalism of knowledge units by extracting backbone constituents of the sentence.
We then construct a supergraph on top of the fact units, allowing for the benefit of sentence-level (relations among fact groups) and entity-level interactions.
arXiv Detail & Related papers (2021-05-21T13:11:13Z) - Deep Reinforcement Learning with Stacked Hierarchical Attention for
Text-based Games [64.11746320061965]
We study reinforcement learning for text-based games, which are interactive simulations in the context of natural language.
We aim to conduct explicit reasoning with knowledge graphs for decision making, so that the actions of an agent are generated and supported by an interpretable inference procedure.
We extensively evaluate our method on a number of man-made benchmark games, and the experimental results demonstrate that our method performs better than existing text-based agents.
arXiv Detail & Related papers (2020-10-22T12:40:22Z) - Multi-Player Games with LDL Goals over Finite Traces [5.0082351824883045]
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reasoning about concurrent and multi-agent systems.
We investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using LDLf.
arXiv Detail & Related papers (2020-08-13T02:11:06Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.