Programming Cognitive Agents

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: MATES
• Authors: John-Jules Ch. Meyer
• Keywords: Agent Types, Defeasible Logic, MATES 2005, Rule-based Agent Theories