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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Autonomous agents and multi-agent systems Ročník 39; číslo 1; s. 2
Hlavní autoři: Kuncová, Alexandra, Broersen, Jan, Duijf, Hein, Ramírez Abarca, Aldo Iván
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York Springer US 01.06.2025
Springer Nature B.V
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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