Ability and knowledge: from epistemic transition systems to labelled stit models

Alexandra Kuncová*, Jan Broersen, Hein Duijf, Aldo Iván Ramírez Abarca

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

It is possible to know that one can guarantee a certain result and yet not know how to guarantee it. In such cases one has the ability to guarantee something in a causal sense, but not in an epistemic sense. In this paper we focus on two formalisms used to model both conceptions of ability: one formalism based on epistemic transition systems and the other on labelled stit models. We show a strong correspondence between the two formalisms by providing mappings from the former to the latter for both the languages and the structures. Moreover, we demonstrate that our extension of labelled stit logic is more expressive than the logic of epistemic transition systems.

Original languageEnglish
Article number2
Pages (from-to)1-41
Number of pages41
JournalAutonomous Agents and Multi-Agent Systems
Volume39
Issue number1
Early online date6 Nov 2024
DOIs
Publication statusPublished - 2025

Bibliographical note

Publisher Copyright:
© The Author(s) 2024.

Keywords

  • Ability
  • Knowledge
  • Modal logic
  • Multiagent system
  • Stit theory
  • Transition system

Fingerprint

Dive into the research topics of 'Ability and knowledge: from epistemic transition systems to labelled stit models'. Together they form a unique fingerprint.

Cite this