SG3: Norm-governed interaction in organisations
The application of automated information-processing techniques to an ever increasing number and variety of activities of organisations (both public and private) creates an urgent need for improved formal models of agent-interaction, and of the norms which are intended to govern that interaction. Whether the agents involved are humans, or computer systems, or the members of hybrid systems in which human and artificial agents both play their parts, the problems involved in formally characterising their organised interaction are considerable. Formal techniques that will be used in characterising this interaction will include action logic, deontic logic and non-monotonic logics.
Our focus will be on the following topics, each of which takes up some central aspects of organisational behaviour:
SG3 will hold a yearly meeting. Work has already begun at the Workshop on Deontic and Non-MonoTonic Logics held at Rotterdam (Oct 4-5, 1993), where the revisable combination of norms (a topic shared with SG1) was considered.
The initial period, leading to the first main workshop, will focus on the preparation of tutorials to be presented at that workshop. Smaller, preparatory meetings between participants may be held before that time, as funds permit.
The second and third years should focus on further refinement of the emerging formal models, in the light of the test cases identified within 2, and in relation to the methods exhibited in SG1, SG2.