Back to Search
Start Over
Action concepts for describing organised interaction
- Source :
- HICSS (5)
- Publication Year :
- 2002
- Publisher :
- IEEE Comput. Soc. Press, 2002.
-
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.
- Subjects :
- Predicate logic
Computer science
Normal modal logic
business.industry
Deontic logic
Algebraic specification
Multimodal logic
Modal logic
Higher-order logic
Signature (logic)
Epistemology
Philosophy of logic
Description logic
Epistemic modal logic
Accessibility relation
Dynamic logic (modal logic)
Artificial intelligence
business
Autoepistemic logic
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- Proceedings of the Thirtieth Hawaii International Conference on System Sciences
- Accession number :
- edsair.doi...........197df02b3b1b81a5471fbf43f4f5122f
- Full Text :
- https://doi.org/10.1109/hicss.1997.663195