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!

Buďte první, kdo okomentuje tento záznam!