We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
In this paper we describe the reproduction of emotional mechanisms in the cognitive agent CTS (Conscious Tutoring System). The model replicates the amygdala's emotional influ...
Usef Faghihi, Pierre Poirier, Daniel Dubois, Moham...
We present a novel bilateral telemanipulation control system called Pseudo-admittance, which is designed to mimic admittance control on systems where the master is an impedance-ty...
In a 2002 paper, we combined fuzzy logic with discrete-event systems (DESs) and established an automaton model of fuzzy DESs (FDESs). The model can effectively represent determinis...
One aim of intelligent tutoring systems is to tailor lessons to each individual student's needs. To do this a tutoring system requires a model of the student's knowledge...