Runtime Verification of Agent Properties

DI Group Author

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageUnknown
Title of host publicationnone
EditorsS Abreu, D Siepel
Place of PublicationÉvora, Portugal
PublisherUniv. Évora
Pages257-271
Publication statusPublished - 1 Jan 2009
Event18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management -
Duration: 1 Jan 2009 → …

Conference

Conference18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management
Period1/01/09 → …

Cite this