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žené v:

Podrobná bibliografia
Vydané v:	Autonomous agents and multi-agent systems Ročník 39; číslo 1; s. 2
Hlavní autori:	Kuncová, Alexandra, Broersen, Jan, Duijf, Hein, Ramírez Abarca, Aldo Iván
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York Springer US 01.06.2025 Springer Nature B.V
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!