DocumentCode
322275
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
Volume
5
fYear
1997
fDate
7-10 Jan 1997
Firstpage
373
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location
Wailea, HI
ISSN
1060-3425
Print_ISBN
0-8186-7743-0
Type
conf
DOI
10.1109/HICSS.1997.663195
Filename
663195
Link To Document