• 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