A logic for agent organizations

Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models

Volumn , Issue , 2009, Pages 220-240

  Dignum, Virginia ^a,b   Dignum, Frank ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b Benelux Artificial Intelligence Association   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 83055170465     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-256-5.ch009     Document Type: Chapter

References (42)

1. Boutelier, C. (2004). Toward a logic for qualitative decision theory. In: Doyle, J., Sandewall, E., and Torasso, P., editors, Principles of Knowledge Representation and Reasoning (KR'94).
2. Burns, T., & Stalker, G. (1961). The management of innovation. Tavistock, London.
3. Carley, K. (2002). Computational organization science: A new frontier. PNAS, 99(3), 7257-7262.
4. Cholvy, L., & Garion, C. (2001). An attempt to adapt a logic of conditional preferences for reasoning with contrary to duties. Fundamenta Informaticae, 47.
5. Cholvy, L., Garion, C., & Saurel, C. (2005). Ability in a multi-agent context: A model in the situation calculus. In: Proceedings of CLIMA VI.
6. Cohen, M. (1986). Artificial intelligence and the dynamic performance of organization designs. In: March, J. and Weissinger-Baylon, R., editors, Ambiguity and Command: Organizational Perspectives on Military Decision Making, (pp. 53-71). Pitman.
7. Dastani, M., Dignum, V., & Dignum, F. (2003). Role assignment in open agent societies. In: Proceedings of AAMAS03. ACM Press.
8. Davidsson, P. (2002) Agent based social simulation: A computer science view. Journal of Artificial Societies and Social Simulation, 5.
9. Dignum, V., & Dignum, F. (2006). Towards formal semantics for reorganization. Technical Report UU-CS-2006-60, ICS - Utrecht University.
10. Dignum, V., & Dignum, F. (2007a). Coordinating tasks in agent organizations. Or: Can we ask you to read this paper? In: Pablo Noriega et al., editors, Coordination, Organization, Institutions and Norms in MAS (COIN II), volume 4386 of LNAI, Springer.
11. Dignum, V., & Dignum, F. (2007b). Understanding organizational congruence: Formal model and simulation framework. In: Proceedings of ADS-2007@SpringSim, Spring Simulation Multi-conference, pages 178-184.
12. Dignum, V., Meyer, J., Dignum, F., & Weigand, H. (2003). Formal specification of interaction in agent societies. In: Formal Approaches to Agent-Based Systems (FAABS), volume F2699 of LNAI. Springer.
13. Dignum, V. & Tick, C. (2007) Agent-based Analysis of Organizations: Formalization and Simulation. Proceedings of IAT'07, IEEE, (pp. 244-247).
14. Duncan, R. (1979). What is the right organizational structure: Decision tree analysis provides the answer. Organizational Dynamics, Winter: pp. 59-80.
15. Elgesem, D. (1997). The model logic of agency. Nordic Journal of Philosophical Logic, 2(2), 1-46.
16. Emerson, E. (1990). Temporal and modal logic. In: van Leeuwen, J., editor, Handbook of Theoretical Computer Science, B, 955-1072. MIT Press.
17. Entin, E. E., Diedrich, F. J., Kleinman, D. L., Kemple, W. G., Hocevar, S. G., Rubineau, B., and Serfaty, D. (2003). When do organizations need to change (part ii)? Incongruence in action. In: Command and Control Research and Technology Symposium.
18. Entin, E. E., & Serfaty, D. (1999). Adaptive team coordination. Journal of Human Factors, 41, 321-325.
19. Entin, E. E., Weil, S. A., Kleinman, D. L., Hutchins, S. G., Hocevar, S. P., Kemple, W. G., & Serfaty, D. (2004). Inducing adaptation in organizations: Concept and experiment design. In: Proceedings of the 2004 International Command and Control Research and Technology Symposium.
20. Fox, M. (1981). An organizational view of distributed systems. Transactions on Systems Man, and Cybernetics, 11(1), 70-80.
21. Galbraith, J. (1977). Organization Design. Addison-Wesley.
22. Governatori, G., Gelati, J., Rotolo, A., & Sartor, G. (2002). Actions, institutions, powers. preliminary notes. In: G. Lindeman et al., editor, Proceedings of RASTA'02, volume 318 of Mitteilung, pages 131-147. Fachbereich Informatik, Universitt Hamburg.
23. Grossi, D., Dignum, F., Dignum, V., Dastani, M., & Royakkers, L. (2007a). Structural aspects of the evaluation of agent organizations. In: Pablo Noriega et al., editors, Coordination, Organization, Institutions and Norms in Agent Systems (COIN II), volume 4386 of LNAI. Springer.
24. Grossi, D., Royakkers, L., & Dignum, F. (2007b). Organizational structure and responsibility. an analysis in a dynamic logic of organized collective agency. Journal of AI and Law, to appear.
25. Harel, D. (1984). Dynamic logic. In: Gabbay, D. and Guenthner, F., editors, Handbook of Philosophical Logic, 2, 497-6049. D. Reidel Publishing Company.
26. Harrison, R., Lin, Z., Carroll, G., & Carley, K. (2007). Simulation modeling in organizational and management research. Academy of Management Review, to appear.
27. Hübner, J., Sichman, J., & Boissier, O. (2006). S-Moise+: A middleware for developing organized multiagent systems. In: O. Boissier, et al., editors, Coordination, Organization, Institutions and Norms in Agent Systems (COIN I), volume 3913 of LNAI, pages 64-78. Springer.
28. Hübner, J. F., Sichman, J. S., & Boissier, O. (2004). Using the Moise+ for a cooperative framework of MAS reorganization. In: Advances in Artificial Intelligence (SBIA 2004), volume 3171 of Lecture Notes in Computer Science, pages 506-515. Springer.
29. Kleinman, D., Levchuk, G., Hutchins, S., & Kemple, W. (2005). Scenario design for the empirical testing of organizational congruence. Technical Report ADA440390, Naval Postgraduate School, Dept of Informational Science, Monterey, CA.
30. MacCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4, 463-502.
31. Matson, E., & DeLoach, S. (2004). Enabling intra-robotic capabilities adaptation using an organization-based multi-agent system. In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation (ICRA 2004).
32. McCallum, M., Vasconcelos, W., & Norman, T. (2006). Verification and analysis of organizational change. In: O. Boissier, et al., editors, Coordination, Organization, Institutions and Norms in Agent Systems (COIN I), volume 3913 of LNAI, pages 48-63. Springer.
33. Meyer, J. (2000). Dynamic logic for reasoning about actions and agents. Pages 281-311. Kluwer Aca-demic Publishers.
34. Mintzberg, H.(1993). Structures in Fives: Designing Effective Organizations. Prentice Hall.
35. Nissen, M. (2001). Agent-based supply chain integration. Information Technology and Management, 2(3), 289-312.
36. Pörn, I. (1974). Some basic concepts of action. In Stenlund, S., editor, Logical Theory and Semantical Analysis. Reidel.
37. Santos, F., Jones, A., & Carmo, J. (1997). Action concepts for describing organized interaction. In R.A. Sprague, J., editor, Proceedings of HICCS, volume V, pages 373-382. IEEE Computer Society Press.
38. Simon, H. (1991). Bounded rationality and organizational learning. Organization Science, 2, Special Issue: Organizational Learning: Papers in Honor of (and by) J. March (1), 125-134.
39. So, Y., & Durfee, E. (1998). Designing organizations for computational agents. In Carley, K., Prietula, M. and Gasser, L., editors, Simulating Organizations, pages 47-64.
40. van den Broek, E., Jonker, C., Sharpanskykh, A., Treur, J., & Yolum, P. (2006). Formal modeling and analysis of organizations. In: O. Boissier, et al., editors, Coordination, Organization, Institutions and Norms in Agent Systems (COIN I), volume 3913 of LNAI, pages 18-34. Springer.
41. van der Hoek, W., & Wooldridge, M. (2005). On the logic of cooperation and propositional control. Artificial Intelligence, 24(1-2):81-119.
42. Vazquez-Salceda, J., Dignum, V., & Dignum, F. (2005). Organizing multi-agent systems. Journal of AAMAS, 11(3), 307-360. Springer.