Stit semantics for epistemic notions based on information disclosure in interactive settings

DOI10.1007/978-3-030-38808-9_11zbMATH Open1496.03076arXiv1911.11086OpenAlexW2998802044MaRDI QIDQ5896087FDOQ5896087

Authors: Aldo Iván Ramírez Abarca, Jan Broersen 

Publication date: 8 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Abstract: 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 arose from game-theoretical analyses on the stages of information disclosure across the decision making process, and the fourth has gained prominence both in logics of action and in deontic logic as a means to formalize ability. In recent years, logicians in AI have argued that any comprehensive study of responsibility attribution and blameworthiness should include proper treatment of these kinds of knowledge. This paper intends to clarify previous attempts to formalize them in stit logic and to propose alternative interpretations that in our opinion are more akin to the study of responsibility in the stit tradition. The logic we present uses an extension with knowledge operators of the Xstit language, and formulas are evaluated with respect to branching discrete-time models. We also present an axiomatic system for this logic, and address its soundness and completeness.

Full work available at URL: https://arxiv.org/abs/1911.11086

Recommendations

• ACTION TYPES IN STIT SEMANTICS
• Knowledge and subjective oughts in STIT logic
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• Deontic epistemic stit logic distinguishing modes of mens rea

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cited In (3)

• A deontic stit logic based on beliefs and expected utility
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A stit logic of intentionality

This page was built for publication: Stit semantics for epistemic notions based on information disclosure in interactive settings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5896087)