Research vision and topics
The general aim of my research is to develop formal models of interaction between cognitive agents. I have mainly worked in the area of artificial intelligence (AI) with strong interaction with other disciplines such as economics, philosophy and cognitive sciences.
Formal methods have been widely used in AI for modeling intelligent systems as well as different aspects of social interaction between artificial and/or human agents (e.g., a team of robots or a virtual agent or a social robot interacting with a human). In my work I use logic and game theory as formal tools for building models of interaction between cognitive agents.
I am interested in both the expressivity aspect and the computational aspect of formal models of interaction. First of all, I develop logical languages and semantics that are sufficiently expressive to represent interesting aspects of social interaction. Secondly, I study their mathematical and computational properties including axiomatizability, completeness, decidability and complexity. Finally, I provide decision procedures for such languages and semantics (e.g., for satisfiability checking and model checking) and leverage them to automate the reasoning and decision-making of artificial agents.
The following are my current research topics:
- Logics for autonomous agents and multi-agent systems
- Epistemic logic, logics of cognitive attitudes and emotions, logics of action, deontic logic
- Cognitive and epistemic planning
- Machine ethics
- Epistemic game theory
- Models of influence and persuasion
- Models of opinion diffusion in social networks
- Multi-agent learning
- Logic-based methods for explainable AI