We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this setting we discuss patterns of agent behavior called agent types.
Mehdi Dastani, Guido Governatori, Antonino Rotolo,