François Schwarzentruber
3 أوراق في مجموعة PaperMetrix
أوراق هذا المؤلف
-
A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics
2017 · Adaptive Agents and Multi-Agents Systems
In the recent years, several concurrent logical systems for reasoning about agency and social interaction and for representing game properties have been proposed. The aim of the present paper is to put some order in …
-
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 …
-
A Simple Integration of Epistemic Logic and Reinforcement Learning
2025
We propose an integration of epistemic logic with reinforcement learning via a semantics that uses the concept of belief bases. In our framework, an agent's subjective state is identified with their belief base, which captures …