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 | Unknown |
|---|---|
| Title of host publication | none |
| Editors | S Abreu, D Siepel |
| Place of Publication | Évora, Portugal |
| Publisher | Univ. Évora |
| Pages | 257-271 |
| Publication status | Published - 1 Jan 2009 |
| Event | 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management - Duration: 1 Jan 2009 → … |
Conference
| Conference | 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management |
|---|---|
| Period | 1/01/09 → … |