8 citations · 11 across the 5 of their papers we have counts for
5 papers
The Knowledge-Behaviour Disconnect in LLM-based Chatbots
Jan Broersen
Large language model-based artificial conversational agents (like ChatGPT) give answers to all kinds of questions, and often enough these answers are correct. Just on the basis of…
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…
Representing Strategies
Hein Duijf, Jan Broersen
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 logica…