Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Runtime Verification of Agent Properties
November 2009
runtime-inap09
In previous work, we have proposed a multi-level agent model with at least a meta-level aimed at meta-reasoning and meta-control. In agents, these aspects are strongly related with time and therefore we retain that they can be expressed by means of temporal-logic-like rules. In this paper, we propose an interval temporal logic inspired by METATEM, that allows properties to be verified in specific time interval situated either in the past or in the future. We adopt this logic for definition and run-time verification of properties which can imply modifications to the agent’s knowledge base.
In proceedings
S. Costantini, P. Dell'Acqua, Luís Moniz Pereira, P. Tsintza
Salvador Abreu, Dietmar Siepel
18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)
-
Univ. Évora
Évora, Portugal
-
257-271
-
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/temporal.pdf
Export formats
S. Costantini and P. Dell'Acqua and Luís Moniz Pereira and P. Tsintza, Runtime Verification of Agent Properties, in: Salvador Abreu and Dietmar Siepel (eds), 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), Univ. Évora, Évora, Portugal, Pag. 257-271, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/temporal.pdf), November 2009.
S. Costantini, <a href="/people/members/view.php?code=c3899b9bc15364381381c58d138af552" class="author">P. Dell'Acqua</a>, <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a> and P. Tsintza, <b>Runtime Verification of Agent Properties</b>, in: <a href="/people/members/view.php?code=e927e6f7f16b0d293c89324129b1ea0e" class="editor">Salvador Abreu</a> and Dietmar Siepel (eds), <u>18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)</u>, <a href="http://www.uevora.pt" title="Link to external entity..." target="_blank" class="publisher">Univ. Évora</a>, Évora, Portugal, Pag. 257-271, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/temporal.pdf" target="_blank">url</a>), November 2009.
@inproceedings {runtime-inap09, author = {S. Costantini and P. Dell'Acqua and Lu\'{\i}s Moniz Pereira and P. Tsintza}, editor = {Salvador Abreu and Dietmar Siepel}, title = {Runtime Verification of Agent Properties}, booktitle = {18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)}, publisher = {Univ. {\'E}vora}, address = {{\'E}vora, Portugal}, pages = {257-271}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/temporal.pdf}, abstract = {In previous work, we have proposed a multi-level agent model with at least a meta-level aimed at meta-reasoning and meta-control. In agents, these aspects are strongly related with time and therefore we retain that they can be expressed by means of temporal-logic-like rules. In this paper, we propose an interval temporal logic inspired by METATEM, that allows properties to be verified in specific time interval situated either in the past or in the future. We adopt this logic for definition and run-time verification of properties which can imply modifications to the agent’s knowledge base.}, keywords = {Program Verification, Agents, Control}, month = {November}, year = {2009}, }
Publication's urls
/publications/view.php?code=bb6ae45136d2203d5d99eb40c177cffe
/publications/view.php?code=runtime-inap09
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT