Programming cognitive agents in defeasible logic

  • Authors:
  • Mehdi Dastani;Guido Governatori;Antonino Rotolo;Leendert van der Torre

  • Affiliations:
  • Intelligent Systems Group, Utrecht University;School of ITEE, University of Queensland;CIRSFID, University of Bologna;CWI, Amsterdam, and Delft University of Technology

  • Venue:
  • LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.