Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Barteld Kooi"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 1-9 (2017)
We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthday'. Mike Hartley came up with a novel solution for 'One Hundred Prisoners and a Light Bulb'. Jonathan Welton designed 'A Blind Guess' and 'Abby's Birth
Externí odkaz:
https://doaj.org/article/ac0be5e05c5540c6811a450b13d354ab
Publikováno v:
Journal of Logic and Computation. 32:1142-1161
Recently, several logics modelling evidence have been proposed in the literature. These logics often also feature beliefs. We call the process or function that maps evidence to beliefs consolidation. In this paper, we use a four-valued modal logic of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2a8efae45c7cf738656b9af64fe5ced
https://doi.org/10.1093/logcom/exac030
https://doi.org/10.1093/logcom/exac030
Publikováno v:
Journal of Philosophical Logic.
The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2be16f6ac261c9bcb1b446588b6ae8e9
https://doi.org/10.1007/s10992-023-09699-3
https://doi.org/10.1007/s10992-023-09699-3
Autor:
Barteld Kooi, Allard Tamminga
Publikováno v:
Journal of Philosophical Logic, 52, 495-518
We present a method that generates two-sided sequent calculi for four-valued logics like first degree entailment (FDE). (We say that a logic is FDE-like if it has finitely many operators of finite arity, including negation, and if all of its operator
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::465d94165cc87e9ac830c2ffaad3d318
https://research.rug.nl/en/publications/6c15c945-98a7-4c11-92b1-33930e2c189e
https://research.rug.nl/en/publications/6c15c945-98a7-4c11-92b1-33930e2c189e
Publikováno v:
Artificial Intelligence, 268, 54-84. ELSEVIER SCIENCE BV
In this paper, we introduce a probabilistic dynamic epistemic logical framework that can be applied for reasoning and verifying conformant probabilistic plans in a single agent setting. In conformant probabilistic planning (CPP), we are looking for a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4be33705bf7ad88ab47ab2d3e391f3cd
https://doi.org/10.1016/j.artint.2018.12.001
https://doi.org/10.1016/j.artint.2018.12.001
Publikováno v:
Artificial Intelligence
Artificial Intelligence, 242(1), 80-106. ELSEVIER SCIENCE BV
Artificial Intelligence, 242(1), 80-106. ELSEVIER SCIENCE BV
In this paper we introduce arbitrary arrow update logic (AAUL). The logic AAUL takes arrow update logic, a dynamic epistemic logic where the accessibility relations of agents are updated rather than the set of possible worlds, and adds a quantifier o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b29dce962b96a4a731168331c10a4e88
https://doi.org/10.1016/j.artint.2016.10.003
https://doi.org/10.1016/j.artint.2016.10.003
Autor:
Barteld Kooi
Publikováno v:
The Review of Symbolic Logic, 9(3), 421-428. Cambridge University Press
In this paper it is shown that the Verification Thesis (all truths are knowable) is only susceptible to Fitch’s Paradox if one conflates the de re and de dicto interpretation of knowability. A formalisation shows that if one treats knowability as a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b8052b6830d4adf980acac5c94aea30
https://doi.org/10.1017/s1755020315000416
https://doi.org/10.1017/s1755020315000416
Publikováno v:
Information and Computation
Information and Computation, Elsevier, 2020, pp.104544. ⟨10.1016/j.ic.2020.104544⟩
Information and Computation, 2020, pp.104544. ⟨10.1016/j.ic.2020.104544⟩
INFORMATION AND COMPUTATION
Information and Computation, 275:104544. ACADEMIC PRESS INC ELSEVIER SCIENCE
Information and Computation, Elsevier, 2020, pp.104544. ⟨10.1016/j.ic.2020.104544⟩
Information and Computation, 2020, pp.104544. ⟨10.1016/j.ic.2020.104544⟩
INFORMATION AND COMPUTATION
Information and Computation, 275:104544. ACADEMIC PRESS INC ELSEVIER SCIENCE
International audience; In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d37ea6d47fa59984c39bc46c19892ea
http://arxiv.org/abs/1802.00914
http://arxiv.org/abs/1802.00914
Autor:
Hans van Ditmarsch, Barteld Kooi
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with on
Autor:
Hans van Ditmarsch, Barteld Kooi
Publikováno v:
One Hundred Prisoners and a Light Bulb ISBN: 9783319166933
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dbeedae2d3993ff9d22b7deeb564a643
https://doi.org/10.1007/978-3-319-16694-0_13
https://doi.org/10.1007/978-3-319-16694-0_13