Zobrazeno 1 - 10
of 143
pro vyhledávání: '"Broersen, Jan"'
Publikováno v:
EPTCS 335, 2021, pp. 281-294
The formalization of action and obligation using logic languages is a topic of increasing relevance in the field of ethics for AI. Having an expressive syntactic and semantic framework to reason about agents' decisions in moral situations allows for
Externí odkaz:
http://arxiv.org/abs/2106.11506
We characterize four types of agentive knowledge using a stit semantics over branching discrete-time structures. These are \emph{ex ante} knowledge, \emph{ex interim} knowledge, \emph{ex post} knowledge, and know-how. The first three are notions that
Externí odkaz:
http://arxiv.org/abs/1911.11086
The relation between agentive action, knowledge, and obligation is central to the understanding of responsibility --a main topic in Artificial Intelligence. Based on the view that an appropriate formalization of said relation would contribute to the
Externí odkaz:
http://arxiv.org/abs/1903.10577
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming November 2021 123
Autor:
Duijf, Hein, Broersen, Jan
Publikováno v:
EPTCS 218, 2016, pp. 15-26
Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logical language. This paper contributes to another perspective on strategy
Externí odkaz:
http://arxiv.org/abs/1607.03355
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 2019 Apr 01. 176(4), 1097-1118.
Externí odkaz:
https://www.jstor.org/stable/45147361
Agents necessitating effects in newtonian time and space : from power and opportunity to effectivity
Autor:
Broersen, Jan
Publikováno v:
Synthese, 2019 Jan 01. 196(1), 31-68.
Externí odkaz:
https://www.jstor.org/stable/48704118
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
When there are two lines of argument that contradict each other but still end up with the same conclusion, this conclusion is called a floating conclusion. It is an open topic in skeptical defeasible reasoning if floating conclusions ought to be acce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______715::f668c52c9be2d49a723677bfe9e026b6