Notice

This is not the latest version of this item. The latest version can be found at: https://ourarchive.otago.ac.nz/handle/10523/749

Show simple item record

dc.contributor.authorCranefield, Stephenen_NZ
dc.date.available2011-04-07T03:06:13Z
dc.date.copyright2005-02en_NZ
dc.identifier.citationCranefield, S. (2005). A rule language for modelling and monitoring social expectations in multi-agent systems (Information Science Discussion Papers Series No. 2005/01). University of Otago. Retrieved from http://hdl.handle.net/10523/1039en
dc.identifier.urihttp://hdl.handle.net/10523/1039
dc.description.abstractThis paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.en_NZ
dc.format.mimetypeapplication/pdf
dc.publisherUniversity of Otagoen_NZ
dc.relation.ispartofseriesInformation Science Discussion Papers Seriesen_NZ
dc.relation.isreplacedby779en_NZ
dc.subject.lcshQA75 Electronic computers. Computer scienceen_NZ
dc.titleA rule language for modelling and monitoring social expectations in multi-agent systemsen_NZ
dc.typeDiscussion Paperen_NZ
dc.description.versionUnpublisheden_NZ
otago.bitstream.pages9en_NZ
otago.date.accession2005-12-02en_NZ
otago.schoolInformation Scienceen_NZ
otago.openaccessOpen
otago.place.publicationDunedin, New Zealanden_NZ
dc.identifier.eprints14en_NZ
otago.school.eprintsSoftware Engineering & Collaborative Modelling Laboratoryen_NZ
otago.school.eprintsInformation Scienceen_NZ
dc.description.references[Alberti et al., 2004] M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based software tool. In R. Trappl, editor, Cybernetics and Systems 2004, volume II, pages 570–575. Austrian Society for Cybernetics Studies, 2004. [Alur et al., 1996] R. Alur, T. Feder, and T. A. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116–146, 1996. [Bacchus and Kabanza, 1998] F. Bacchus and F. Kabanza. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence, 22(1-2):5–27, 1998. [Bacchus and Kabanza, 2000] F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116(1-2):123–191, 2000. [Blackburn et al., 2001] P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic, chapter 7, pages 436–447. Cambridge University Press, 2001. [Cliffe and Padget, 2002] O. Cliffe and J. Padget. A framework for checking agent interaction within institutions. In MoChArt [2002]. [Cortés, 2004] U. Cortés. Electronic institutions and agents. AgentLink News, 15:14–15, September 2004. [Haslum, 2002] P. Haslum. 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 AI Planning and Scheduling, pages 64–71, 2002. [Huget et al., 2002] M.-P. Huget, M. Esteva, S. Phelps, C. Sierra, and M. Wooldridge. Model checking electronic institutions. In MoChArt [2002]. [Leite et al., 2004] J. A. Leite, A. Omicini, P. Torroni, and P. Yolum, editors. Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT 2004), Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. [Mallya et al., 2004] A. U. Mallya, P. Yolum, and M. P. Singh. Resolving commitments among autonomous agents. In Advances in Agent Communication, volume 2922 of Lecture Notes in Computer Science, pages 166–182. Springer, 2004. [MoChArt, 2002] Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), 15th European Conference on Artificial Intelligence, 2002. [Verdicchio and Colombetti, 2003] M. Verdicchio and M. Colombetti. 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), pages 528–535. ACM Press, 2003. [Verdicchio and Colombetti, 2004a] M. Verdicchio and M. Colombetti. A logical model of social commitment for agent communication. In F. Dignum, editor, Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, volume 2922 of Lecture Notes in Computer Science, pages 128–145. Springer, 2004. [Verdicchio and Colombetti, 2004b] M. Verdicchio and M. Colombetti. 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, pages 90–104, 2004.en_NZ
otago.relation.number2005/01en_NZ
 Find in your library

Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

VersionItemEditorDateSummary

*Selected version