Modelling communication between cooperative systems
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The role of illocutionary logic and deontic logic in modelling these communication processes and the resulting norms is discussed.
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.