Formalizing organizational constraints: A semantic approach

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 2, Issue , 2010, Pages 823-830

  Van Riemsdijk, M Birna ^a   Hindriks, Koen V ^a   Jonker, Catholijn M ^a   Sierhuis, Maarten ^b  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Organization Aware Agents; Organizational Modelling Languages; Temporal Logic

Indexed keywords

AUTONOMOUS AGENTS; MULTI AGENT SYSTEMS; SPECIFICATIONS; TEMPORAL LOGIC;

AGENT ORGANIZATION; LINEAR TEMPORAL LOGIC; MULTIPLE INTERPRETATIONS; ORGANIZATIONAL CONSTRAINTS; ORGANIZATIONAL MODELING; ORGANIZATIONAL MODELLING; ORGANIZATIONAL STRUCTURES; SEMANTIC FRAMEWORK;

SEMANTICS;

EID: 77956516416     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. J. L. Arcos, M. Esteva, P. Noriega, J. A. Rodríguez-Aguilar, and C. Sierra. Engineering open environments with electronic institutions. Engineering applications of artificial intelligence., 18(2): 191-204, 2005.
2. J. Broersen. Strategic deontic temporal logic as a reduction to ATL, with an application to Chisholm's scenario. In L. Goble and J.-J. Meyer, editors, DEON'06, Volume 4048 of LNCS, pages 53-68. Springer, 2006.
3. J. Broersen. Issues in designing logical models for norm change. In G. Vouros, A. Artikis. K. Stathis, and J. Pitt, editors, OAMASV8, Volume 5368 of LNCS, pages 1-17, 2009.
4. M. Dastani, N. Tinnemeier, and J.-J. Ch. Meyer. A programming language for normative multi-agent systems. In V. Dignum, editor, Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global, 2009.
5. V. Dignum. A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, 2004.
6. V. Dignum, editor. Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global, 2009.
7. E. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pages 996-1072. Elsevier, Amsterdam, 1990.
8. B. Gateau, O. Boissier, D. Khadraoui, and E. Dubois. Controlling an interactive game with a multi-agent based normative organizational model. In COIN'06@ECAI, 2006.
9. K. V. Hindriks. Programming rational agents in GOAL. In R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors, Multi-Agent Programming: Languages, Tools and Applications. Springer, Berlin, 2009.
10. K. V. Hindriks, W. van der Hoek, and M. B. van Riemsdijk. Agent programming with temporally extended goals. In AAMAS'09, pages 137-144. IFAAMAS, 2009.
11. J. F. Hübner. Um Modelo de Reorganizacao de Sistemas Multiagentes. PhD thesis, 2003.
12. J. F. Hübner, O. Boissier, and R. H. Bordini. Normative programming for organisation management infrastructures. In (COIN@MALLOW009), 2009.
13. J. F. Hübner, J. S. Sichman, and O. Boissier. A model for the structural, functional, and deontic specification of organizations in multiagent systems. In SBIA'02, Volume 2507 of LNCS, pages 118-128. Springer, 2002.
14. J. F. Hübner, J. S. Sichman, and O. Boissier. Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels. International journal of AOSE, 1(3/4):370-395, 2007.
15. C. M. Jonker, A. Sharpanskykh, J. Treur, and P. Yolum. A framework for formal modeling and analysis of organizations. Appl. Intell, 27(1):49-66, 2007.
16. F. Meneguzzi and M. Luck. Norm-based behaviour modification in BDI agents. In AAMAS'09, pages 177-184, Budapest, 2009.
17. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.
18. M. Sierhuis, C. Jonker, B. v. Riemsdijk, and K. Hindriks. Towards organization aware agent-based simulation. International Journal of Intelligent Control and Systems, (Special Issue on Agent Directed Simulation), To appear.
19. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Goals in conflict: Semantic foundations of goals in agent programming. JAAMAS, 18(3):471-500, 2009.
20. M. B. van Riemsdijk, K. V. Hindriks, and C. M. Jonker. Organization-aware agent programming: A research agenda. In ESAW'09, Volume 5881 of LNAI, pages 98-112. Springer, 2009.
21. M. Wooldridge. Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems, 3(1):9-31, 2000.