A rule language for modelling and monitoring social expectations in multi-agent systems

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

Volumn 3913 LNAI, Issue , 2006, Pages 246-258

  Cranefield, Stephen ^a  

^a UNIVERSITY OF OTAGO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL OPERATORS;

FUTURE MODALITIES; METRIC INTERVAL TEMPORAL LOGIC; RULE LANGUAGE; RUN-TIME MONITORING COMPLIANCE;

MULTI AGENT SYSTEMS;

EID: 33746053284     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11775331_17     Document Type: Conference Paper

References (18)

1. Cortés, U.: Electronic institutions and agents. AgentLink News 15 (2004) 14-15
2. Leite, J.A., Omicini, A., Torroni, P., Yolum, P., eds.: Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT 2004), Third International Joint Conference on Autonomous Agents and Multiagent Systems. (2004)
3. Huget, M.P., Esteva, M., Phelps, S., Sierra, C., Wooldridge, M.: Model checking electronic institutions. In: Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), 15th European Conference on Artificial Intelligence. (2002)
4. Cliffe, O., Padget, J.: A framework for checking agent interaction within institutions. In: Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), 15th European Conference on Artificial Intelligence. (2002)
5. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), ACM Press (2003) 528-535
6. Verdicchio, M., Colombetti, M.: A commitment-based communicative act library. In: Proceedings of the 4nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), ACM Press (2005) 755-761
7. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM 43 (1996) 116-146
8. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)
9. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116 (2000) 123-191
10. Verdicchio, M., Colombetti, M.: Dealing with time in content language expressions. In: Proceedings of the Workshop on Agent Communication, Third International Joint Conference on Autonomous Agents and Multiagent Systems. (2004) 90-104
11. Haslum, P.: Partial state progression: An extension to the Bacchus-Kabanza algorithm, with applications to prediction and MITL consistency. In: Proceedings of the Workshop on Planning via Model-Checking, Sixth International Conference on Al Planning and Scheduling. (2002) 64-71
12. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22 (1998) 5-27
13. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. In Trappl, R., ed.: Cybernetics and Systems 2004. Volume II., Austrian Society for Cybernetics Studies (2004) 570-575
14. Mallya, A.U., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. In: Advances in Agent Communication. Volume 2922 of Lecture Notes in Computer Science., Springer (2004) 166-182
15. 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 (2005) 99-129
16. García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.A.: Implementing norms in electronic institutions. In: Proceedings of the 4nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), ACM Press (2005) 667-673
17. García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A distributed architecture for norm-aware agent societies. In: Proceedings of the 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005). (2005) http://www.doc.ic.ac.uk/-ue/DALT-2005/papers/24.pdf.
18. Endriss, U.: Temporal logics for representing agent communication protocols. In: Proceedings of the Workshop on Agent Communication, 4th International Joint Conference on Autonomous Agents and Multiagent Systems. (2005) 33-47