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
Specification and Dynamic Verification of Agent Properties
September 2008
lmpInp01
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
9th Intl. Ws. on Computational Logic in Multi-Agent Systems (CLIMA)
-
-
http://www.csc.liv.ac.uk/%7Emichael/clima08.html
-
-
-
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/metareasoning.pdf
Export formats
S. Costantini and P. Dell'Acqua and Luís Moniz Pereira and P. Tsintza, Specification and Dynamic Verification of Agent Properties, , 9th Intl. Ws. on Computational Logic in Multi-Agent Systems (CLIMA), http://www.csc.liv.ac.uk/%7Emichael/clima08.html, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/metareasoning.pdf), September 2008.
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>Specification and Dynamic Verification of Agent Properties</b>, <u>9th Intl. Ws. on Computational Logic in Multi-Agent Systems (CLIMA)</u>, http://www.csc.liv.ac.uk/%7Emichael/clima08.html, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/metareasoning.pdf" target="_blank">url</a>), September 2008.
@inproceedings {lmpInp01, author = {S. Costantini and P. Dell'Acqua and Lu\'{\i}s Moniz Pereira and P. Tsintza}, title = {Specification and Dynamic Verification of Agent Properties}, booktitle = {9th Intl. Ws. on Computational Logic in Multi-Agent Systems (CLIMA)}, address = {http://www.csc.liv.ac.uk/%7Emichael/clima08.html}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/metareasoning.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 = {agents, meta-reasoning, meta-control, temporal logic}, month = {September}, year = {2008}, }
Publication's urls
/publications/view.php?code=861bf77ddaa9add2f865e2cc76aa6687
/publications/view.php?code=lmpInp01
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