Abstract

. In cooperative systems many of the obligations, prohibitions and permissions that govern the behaviour of the system exist as a result of communication with users and/or other systems. In this paper we will discuss the role of illocutionary logic and deontic logic in modelling these communication processes and the resulting norms. The combination of illocutionary and deontic logic can be used to reason about communication structures. It is also possible to model the authorization relations, on the basis of which orders and requests can be made, and the delegation of these authoritizations in this logic. 1 Introduction In recent years there has been a growing interest in cooperative systems or cooperating agents(see e.g. [Po93]). However, little has been said about how these cooperating agents influence each other's behaviour. Each agent has certain capabilities, actions that it can perform. These actions can be material, such as opening a window, or communicative, such as providing...

Citations