A Formal Framework for Designing Boundedly Rational Agents Topics: Agent Models and Architectures; Agent Oriented Software Engineering; Cognitive Systems; Explainable Artificial Intelligence; Multi-Agent Systems In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, 705-714, 2022