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!

Be the first to leave a comment!