scholar.google.com › citations
With both components – the language translation and the model transformation – we prove our main correspondence result: any epistemic transition system can be transformed into a labelled stit model such that the analysis of knowing how in the former corresponds to that of epistemic ability in the latter.
Nov 6, 2024
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.
Nov 6, 2024 · In this paper we focus on two formalisms used to model both conceptions of ability: one formalism based on epistemic transition systems and the ...
Dive into the research topics of 'Ability and knowledge: from epistemic transition systems to labelled stit models'. Together they form a unique fingerprint.
Ability and knowledge: from epistemic transition systems to labelled stit models. Alexandra Kuncová, Jan Broersen, Hein Duijf, Aldo Iván Ramírez Abarca.
Ability and knowledge: from epistemic transition systems to labelled stit models. A Kuncová, J Broersen, H Duijf, AI Ramírez Abarca. Autonomous Agents and ...
This paper explores the analysis of ability, where ability is to be understood in the epistemic sense—in contrast to what might be called a causal sense.
Ability and knowledge: from epistemic transition systems to labelled stit models. Alexandra Kuncová; Jan Broersen; Aldo Iván Ramírez Abarca. OriginalPaper Open ...
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 ...
Dec 5, 2024 · Simon Rey, Ulle Endriss: Epistemic selection of ... Ability and knowledge: from epistemic transition systems to labelled stit models.