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

DOI10.1007/978-3-030-38808-9_11MaRDI QIDQ5896087zbMATHOpenAlexFDO

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)

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

Mathematics Subject Classification ID

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

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.

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

Cited in

(5)

• A stit logic of intentionality
• Knowledge and subjective oughts in STIT logic
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A deontic stit logic based on beliefs and expected utility
• Stit semantics for epistemic notions based on information disclosure in interactive settings

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)