Initial steps towards run-time support for norm-governed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6541 LNAI, Issue , 2011, Pages 268-284

  Urovi, Visara ^a   Bromuri, Stefano ^a   Stathis, Kostas ^a   Artikis, Alexander ^b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b INSTITUTE OF NANOSCIENCE AND NANOTECHNOLOGY   (Greece)

Author keywords

event calculus; GOLEM; run time service; social interaction

Indexed keywords

CONFIGURABLE; EVENT CALCULUS; EXPERIMENTAL EVALUATION; GOLEM; REAL-TIME RESPONSE; RUN-TIME SERVICES; RUNTIMES; SOCIAL INTERACTIONS; TEMPORAL REASONING;

CALCULATIONS; INTELLIGENT AGENTS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SOCIETIES AND INSTITUTIONS;

MULTI AGENT SYSTEMS;

EID: 79959987322     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21268-0_15     Document Type: Conference Paper

References (36)

1. Artikis, A., Sergot, M., Pitt, J.: A logic programming approach to activity recognition. In: Proceedings of ACM Workshop on Events in Multimedia (2010)
2. Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Transactions in Computational Logic 10(1) (2009)
3. Bromuri, S., Stathis, K.: Situating Cognitive Agents in GOLEM. In: Weyns, D., Brueckner, S.A., Demazeau, Y. (eds.) EEMMAS 2007. LNCS (LNAI), vol. 5049, pp. 115-134. Springer, Heidelberg (2008)
4. Bromuri, S., Stathis, K.: Distributed Agent Environments in the Ambient Event Calculus. In: DEBS 2009: Proceedings of the Third International Conference on Distributed Event-Based Systems. ACM, New York (2009)
5. Chen, W., Warren, D.S.: C-logic of complex objects. In: PODS 1989: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 369-378. ACM, New York (1989)
6. Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12, 359-382 (1996)
7. Chopra, A., Singh, M.: Contextualizing commitment protocols. In: Proceedings of Conference on Autonous Agents and Multi-Agent Systems (AAMAS), pp. 1345-1352. ACM, New York (2006)
8. Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293-322 (1977)
9. Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Castelfranchi, C., Johnson, L. (eds.) Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1045-1052. ACM Press, New York (2002)
10. Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 348-366. Springer, Heidelberg (2002)
11. Esteva, M., Rodríguez-Aguilar, J., Sierra, C., Vasconcelos, W.: Verifying norm consistency in electronic institutions. In: Proceedings of the AAAI 2004Workshop on Agent Organizations: Theory and Practice, pp. 8-14 (2004)
12. Esteva, M., Rosell, B., Rodriguez-Aguilar, J.A., Ll, J.: Ameli: An agent-based middleware for electronic institutions. In: AAMAS 2004: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 236-243. IEEE Computer Society, Washington, DC, USA (2004)
13. Farrell, A.D.H., Sergot, M.J., Sall, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 14, 99-129 (2005)
14. Fisher, M., Owens, R.: From the past to the future: Executing temporal logic programs. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol. 624, pp. 369-380. Springer, Heidelberg (1992)
15. Fornara, N., Colombetti, M.: Formal specification of artificial institutions using the event calculus. In: Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global (2009)
16. Fox, M., Barbuceanu, M., Grüninger, M., Lin, J.: An organizational ontology for enterprise modeling. In: Prietula, M., Carley, K., Gasser, L. (eds.) Simulating Organizations: Computational Models for Institutions and Groups, pp. 131-152. AAAI Press/The MIT Press (1998)
17. Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.A., Vasconcelos, W.:Distributed norm management in regulated multiagent systems. In: AAMAS 2007: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1-8. ACM, New York (2007)
18. García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.: Implementing norms in electronic institutions. In: Proceedings of the Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 667-673. ACM Press, New York (2005)
19. García-Camino, A., Rodríguez-Aguilar, J.A., Vasconcelos, W.: A distributed architecture for norm management in multi-agent systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 275-286. Springer, Heidelberg (2008)
20. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49-104 (2004)
21. Jones, A., Sergot, M.: On the characterisation of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275-307. J. Wiley and Sons, Chichester (1993)
22. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429-445 (1996)
23. Kagal, L., Finin, T.: Modeling communicative behavior using permissions and obligations. Journal of Autonomous Agents and Multi-Agent Systems 14(2), 187-206 (2006)
24. Kesim, F.N., Sergot, M.: A Logic Programming Framework for Modeling Temporal Objects. IEEE Transactions on Knowledge and Data Engineering 8(5), 724-741 (1996)
25. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67-95 (1986)
26. Minsky, N.: Law-Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction and a Reference Manual) (2005), http://www.moses.rutgers.edu/documentation/manual.pdf (retrieved October 24, 2008)
27. Minsky, N.: Decentralised regulation of distributed systems: Beyond access control (2008) (submitted for publication), http://www.cs.rutgers.edu/ ~minsky/papers/IC.pdf (retrieved October 24, 2008)
28. Minsky, N., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM) 9(3), 273-305 (2000)
29. Mueller, E.: Commonsense Reasoning. Morgan Kaufmann, San Francisco (2006)
30. Nihan, K., Marek, S.: Implementing an object-oriented deductive database using temporal reasoning. J. Database Manage. 7(4), 21-34 (1996)
31. Paschke, A., Bichler, M.: Knowledge representation concepts for automated SLA management. Decision Support Systems 46(1), 187-205 (2008)
32. Pinto, J., Reiter, R.: Temporal reasoning in logic programming: a case for the situation calculus. In: Warren, D. (ed.) Proceedings of Conference on Logic Programming, pp. 203-221. MIT Press, Cambridge (1993)
33. Pitt, J., Mamdani, A., Charlton, P.: The open agent society and its enemies: a position statement and research programme. Telematics and Informatics 18(1), 67-87 (2001)
34. Tonti, G., Bradshaw, J., Jeffers, R., Montanari, R., Suri, N., Uszok, A.: Semantic web languages for policy representation and reasoning: A comparison of kAoS, rei, and ponder. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 419-437. Springer, Heidelberg (2003)
35. Urovi, V., Stathis, K.: Playing with agent coordination patterns in MAGE. In: Padget, J.A., Artikis, A., Vasconcelos, W.W., Stathis, K., da Silva, V.T., Matson, E.T., Polleres, A. (eds.) COIN 2009. LNCS, vol. 6069, pp. 86-101. Springer, Heidelberg (2010)
36. Weyns, D., Helleboogh, A., Holvoet, T.: The packet-world: A testbed for investigating situated multiagent systems. In: Software Agent-Based Applications, Platforms, and Development Kits, pp. 383-408. Birkhauser, Basel (2005)