Title :
Action concepts for describing organised interaction
Author :
Santos, Filipe A A ; Jones, Andrew J I ; Carmo, Jose M C L M
Author_Institution :
Dept. of Manage. Sci., ISCTE, Lisboa, Portugal
Abstract :
The main aim of this paper is to propose a set of action concepts useful for describing organised interaction. These action concepts focus on two distinctions: the distinction between direct and indirect action, and the distinction between successful and not necessarily successful action. The formal characterisation of these concepts is given by means of modal logic, following the same tradition in the logical characterisation of act descriptions as employed by Kanger (1972) and Porn (1970). The modal action operators proposed are also combined with a deontic logic and a conditional logic, in order to illustrate their application to the analysis of some simple organisations. The focus of interest is on the notion of transmission of agency, and on the characterisation of the conditions under which an organisation recognises that an agent has fulfilled the responsibilities assigned to him
Keywords :
algebraic specification; formal logic; act descriptions; action concepts; conditional logic; deontic logic; direct action; indirect action; logical characterisation; modal action operators; modal logic; organised interaction description; transmission of agency; Authorization; Birth disorders; Character recognition; Formal specifications; Humans; Law; Legal factors; Logic; Mathematics; Permission;
Conference_Titel :
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-7743-0
DOI :
10.1109/HICSS.1997.663195