In this paper, we report about a line of work aimed to formally model via a logical framework -the Logic of "Inferable"L-DINF- (aspects of) the group dynamics of cooperative agents. We outline, in particular, the cognitive aspects built within our logic, that consist in features allowing a designer to model real-world situations encompassing joint intentions and plans with roles, preferences and costs concerning action execution, and involving aspects of a Theory of Mind, i.e., the ability to reason about beliefs of others.
Cognitive Aspects in Epistemic Logic L-DINF
Costantini S.
;Formisano A.
;Pitoni V.
2022-01-01
Abstract
In this paper, we report about a line of work aimed to formally model via a logical framework -the Logic of "Inferable"L-DINF- (aspects of) the group dynamics of cooperative agents. We outline, in particular, the cognitive aspects built within our logic, that consist in features allowing a designer to model real-world situations encompassing joint intentions and plans with roles, preferences and costs concerning action execution, and involving aspects of a Theory of Mind, i.e., the ability to reason about beliefs of others.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
