Programming Cognitive Agents in Defeasible Logic

Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences and actions, together with inference procedures. We discuss patterns of agent types in this setting. Finally, we illustrate the language by an example of an agent reasoning about web-services.

• Type: Conference
• Year: 2005
• Where: LPAR
• Authors: Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre
• Keywords: Agent Types, Defeasible Logic, LPAR 2005, Rule-based Agent Theories