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

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 form...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Autonomous agents and multi-agent systems Jg. 39; H. 1; S. 2
Hauptverfasser: Kuncová, Alexandra, Broersen, Jan, Duijf, Hein, Ramírez Abarca, Aldo Iván
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York Springer US 01.06.2025
Springer Nature B.V
Schlagworte:
Artificial Intelligence
Computer Science
Computer Systems Organization and Communication Networks
Epistemology
Formalism
Knowledge
Language
Logic
Software Engineering/Programming and Operating Systems
User Interfaces and Human Computer Interaction
Ability
Stit theory
Transition system
Multiagent system
Modal logic
Knowledge
ISSN:1387-2532, 1573-7454
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:1387-2532
1573-7454
DOI:10.1007/s10458-024-09661-w