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.
Original language | English |
---|---|
Title of host publication | Proceedings of INAP 2009 |
Subtitle of host publication | 18th International Conference on Applications of Declarative Programming and Knowledge Management |
Editors | Salvador Abreu, Dietmar Siepel |
Place of Publication | Évora |
Publisher | Universidade de Évora |
Pages | 257-271 |
Number of pages | 15 |
Publication status | Published - 1 Jan 2009 |
Event | 18th International Conference on Applications of Declarative Programming and Knowledge Management: INAP'09 - Colégio do Espírito Santo, Évora, Portugal Duration: 5 Nov 2009 → 7 Nov 2009 http://www.di.uevora.pt/inap2009/ |
Conference
Conference | 18th International Conference on Applications of Declarative Programming and Knowledge Management |
---|---|
Country/Territory | Portugal |
City | Évora |
Period | 5/11/09 → 7/11/09 |
Internet address |