Research area

I am interested in formal models of interaction in a multidisciplinary perspective through the logical formalization of cognitive agents. These agents are characterized by their mental states (beliefs, desires, goals, intention, internalized norms, emotions, etc.). They can perform actions (physical or linguistic) and be a member of groups.

Current interests

These researches focus at this time on the integration of a theory of mental states in multi-agent simulations, group decision-making through voting, as well as associated automatic demonstration aspects.

I am also recently interested in hybrid architectures of artificial agents, where neural networks encode knowledge that is difficult to capture using logic.

Implemented systems

 

TouIST

I’m involved in the development of an interface for different solvers (SAT, BQF, SMT): TouIST.

 

ACT-R

During my postdoctoral year, I developed a proficiency in ACT-R cognitive architecture. (Short downloadable presentation.)

 

SESAME

I’m involved in the development of SESAME, an interface for writing argumentative semantics based on extensions in classical logic.

 

LoTREC

I’m involved in the design and implementation team of a generic theorems prover for modal logics named LoTREC

Theme: Overlay by Kaira Extra Text
Cape Town, South Africa