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.

PDF (Published Version) - Published Version Restricted to Repository staff only

 

1

2

Abstract

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.

Actions (Repository Staff Only)

Item Control Page