Tiago de Lima

A Computationally Grounded Framework for Cognitive Attitudes (extended version)

2024 · arXiv (Cornell University)

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 semantics using belief bases. Our language includes five types …