Zobrazeno 1 - 10
of 202
pro vyhledávání: '"French, Tim"'
Publikováno v:
The undecidability of quantified announcements. Studia Logica, 104(4) pages 597-640, 2016
This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic (APAL), group announcement logic (GAL), and coalition announcement logic (CAL). In APAL we consider th
Externí odkaz:
http://arxiv.org/abs/2405.15671
Although a few approaches are proposed to convert relational databases to graphs, there is a genuine lack of systematic evaluation across a wider spectrum of databases. Recognising the important issue of query mapping, this paper proposes an approach
Externí odkaz:
http://arxiv.org/abs/2310.01080
We present Q-Cogni, an algorithmically integrated causal reinforcement learning framework that redesigns Q-Learning with an autonomous causal structure discovery method to improve the learning process with causal inference. Q-Cogni achieves optimal l
Externí odkaz:
http://arxiv.org/abs/2302.13240
Dynamic epistemic logics consider formal representations of agents' knowledge, and how the knowledge of agents changes in response to informative events, such as public announcements. Quantifying over informative events allows us to ask whether it is
Externí odkaz:
http://arxiv.org/abs/2206.00903
Autor:
French, Tim, Smoker, Tom
Description logics are a powerful tool for describing ontological knowledge bases. That is, they give a factual account of the world in terms of individuals, concepts and relations. In the presence of uncertainty, such factual accounts are not feasib
Externí odkaz:
http://arxiv.org/abs/2108.13036
Publikováno v:
EPTCS 335, 2021, pp. 129-138
Quantification over public announcements shifts the perspective from reasoning strictly about the results of a particular announcement to reasoning about the existence of an announcement that achieves some certain epistemic goal. Depending on the typ
Externí odkaz:
http://arxiv.org/abs/2106.11498
Autor:
Alvi, Maira, Batstone, Damien, Mbamba, Christian Kazadi, Keymer, Philip, French, Tim, Ward, Andrew, Dwyer, Jason, Cardell-Oliver, Rachel
Publikováno v:
In Water Research 15 October 2023 245
We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or "by the throw of dice". This system consists of possible worlds that assign distributions to independent random variables, and agents who assign probabi
Externí odkaz:
http://arxiv.org/abs/1812.11741
Publikováno v:
Studia Logica 109(3): 639-681, 2021
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement
Externí odkaz:
http://arxiv.org/abs/1803.01696