Contextual deliberation of cognitive agents in defeasible logic

Dastani, M., Governatori, G., Rotolo, A., Song, I., and van der Torre, L. (2007) Contextual deliberation of cognitive agents in defeasible logic. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (1) 148. pp. 607-609. From: Sixth Internatoinal Joint Conference on Autonomous Agents and Multiagent Systems, 14-18 May 2007, Honolulu, Hawaii.

[img] PDF (Published Version) - Published Version
Restricted to Repository staff only

View at Publisher Website:


In this paper we raise the question how, as a further sophistication to coordinate the interaction among mental attitudes, to define the proof theory of nested rules for a general theory of nested rules) and preferences among rules. Surprisingly, this complex language gives us just the right expressive power to describe a wide class of interaction phenomena: the rule leading to desire to travel by train may be preferred to the rule leading to a desire to travel by plane (r1 is preferred to r2), maybe as a second alternative, or the train rule may even be replaced by the plane rule (r1 into r2), maybe due to experienced train delays. The new language can be used to describe a new class of patterns of the coordination of interaction, e.g., when social agents turn into selfish agents, maybe when the agent does not have sufficient resources. Due to space limitations, we focus only on the formal aspects of the new logic.

Item ID: 27831
Item Type: Conference Item (Research - E1)
ISBN: 978-81-904262-7-5
Keywords: cognitive agents, defeasible logic, rule-based systems
Related URLs:
Date Deposited: 05 Jul 2013 01:50
FoR Codes: 08 INFORMATION AND COMPUTING SCIENCES > 0801 Artificial Intelligence and Image Processing > 080101 Adaptive Agents and Intelligent Robotics @ 100%
SEO Codes: 89 INFORMATION AND COMMUNICATION SERVICES > 8902 Computer Software and Services > 890201 Application Software Packages (excl. Computer Games) @ 100%
Downloads: Total: 2
More Statistics

Actions (Repository Staff Only)

Item Control Page Item Control Page