Runtime Verification of Agent Properties

Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, Panagiota Tsintza

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 languageEnglish
Title of host publicationProceedings of INAP 2009
Subtitle of host publication18th International Conference on Applications of Declarative Programming and Knowledge Management
EditorsSalvador Abreu, Dietmar Siepel
Place of PublicationÉvora
PublisherUniversidade de Évora
Pages257-271
Number of pages15
Publication statusPublished - 1 Jan 2009
Event18th International Conference on Applications of Declarative Programming and Knowledge Management: INAP'09 - Colégio do Espírito Santo, Évora, Portugal
Duration: 5 Nov 20097 Nov 2009
http://www.di.uevora.pt/inap2009/

Conference

Conference18th International Conference on Applications of Declarative Programming and Knowledge Management
Country/TerritoryPortugal
CityÉvora
Period5/11/097/11/09
Internet address

Fingerprint

Dive into the research topics of 'Runtime Verification of Agent Properties'. Together they form a unique fingerprint.

Cite this