The ability to express temporal conditions, like for example deadlines, is extremely important in agent applications. Nevertheless, communication standards like FIPA ACL do not outline a uniform way to specify such conditions in Content Language expressions. In this paper we extend a CTL*-like temporal language with two very expressive interval operators, and integrate it with a FIPA-compatible representation of dates. We then show, by a number of selected examples, that the resulting language allows agents to express a rich assortment of temporal constraints in a very natural way. © Springer-Verlag Berlin Heidelberg 2005.
(2005). Dealing with time in Content Language expressions . Retrieved from http://hdl.handle.net/10446/186162
Dealing with time in Content Language expressions
Verdicchio, M.;
2005-01-01
Abstract
The ability to express temporal conditions, like for example deadlines, is extremely important in agent applications. Nevertheless, communication standards like FIPA ACL do not outline a uniform way to specify such conditions in Content Language expressions. In this paper we extend a CTL*-like temporal language with two very expressive interval operators, and integrate it with a FIPA-compatible representation of dates. We then show, by a number of selected examples, that the resulting language allows agents to express a rich assortment of temporal constraints in a very natural way. © Springer-Verlag Berlin Heidelberg 2005.| File | Dimensione del file | Formato | |
|---|---|---|---|
|
AC2004_compressed.pdf
Solo gestori di archivio
Versione:
postprint - versione referata/accettata senza referaggio
Licenza:
Licenza default Aisberg
Dimensione del file
643.11 kB
Formato
Adobe PDF
|
643.11 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo
