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

Full description

Saved in:
Bibliographic Details
Published in:Autonomous agents and multi-agent systems Vol. 39; no. 1; p. 2
Main Authors: Kuncová, Alexandra, Broersen, Jan, Duijf, Hein, Ramírez Abarca, Aldo Iván
Format: Journal Article
Language:English
Published: New York Springer US 01.06.2025
Springer Nature B.V
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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