Modelling communication between cooperative systems

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.