RECERCAT (Consorci de Serveis Universitaris de Catalunya) · 2010 · 56 citations · 6 references
ManagementOrganization StudiesInstitutional TheoryOrganizational TheorySystems DesignFormal OrganizationSpecification LanguagesFormal SpecificationsNormative Multi-agent SystemsSocial Reality Construction
In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and the concepts used in the implementation. Organisational specifications (deliberately) abstract from general practice, which creates a need to relate the abstract concepts used in the specification to concrete ones used in practice. A solution for this problem is the use of counts-as statements, which, by defining the social reality, provide the concrete concepts their institutional and organisational meaning. Continuing work on the implementation of counts-as to relate abstract and concrete concepts in agent-based systems, this paper investigates the implementation of countsas statements in Drools to relate abstract organisational specifications and its norms to concrete situations.
6
A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC
Alan Ross Anderson · Mind · 1958 · 215 citations
Humanities, Philosophy, Logic +8
Implementing norms in electronic institutions
Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar · 2005 · 145 citations
Law, Contract Law, Agency Theory +11
A Logic Based SLA Management Framework
Adrian Paschke, Jens Dietrich, K. Kuhla · 2005 · 47 citations