2 citations · 3 across the 5 of their papers we have counts for
5 papers
A Logic-Based Analysis of Responsibility
Aldo Ivńn Ramírez Abarca
This paper presents a logic-based framework to analyze responsibility, which I refer to as intentional epistemic act-utilitarian stit theory (IEAUST). To be precise, IEAUST is used…
From ATL to Stit
Aldo Iván Ramírez Abarca
I present a technical embedding of alternating-time temporal logic into stit theory.
A Deontic Stit Logic Based on Beliefs and Expected Utility
Aldo Iván Ramírez Abarca, Jan Broersen
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 frame…
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings
Aldo Iván Ramírez Abarca, Jan Broersen
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, \e…
A Logic of Objective and Subjective Oughts (full paper with proofs)
Aldo Iván Ramírez Abarca, Jan Broersen
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…