A Computationally Grounded Framework for Cognitive Attitudes (extended version)

Tiago de Lima, Emiliano Lorini, Elise Perrotin +1

We introduce a novel language for reasoning about agents' cognitive attitudes of both epistemic and motivational type. We interpret it by means of a computationally grounded semant…