Runtime Verification of Agent Properties

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

Runtime Verification of Agent Properties

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 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	http://www.di.uevora.pt/inap2009/

Cite this

@inproceedings{cceedfe7b4454f81bb4ac9470870b5b3,

title = "Runtime Verification of Agent Properties",

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 = "Program Verification, Agents, Control",

author = "Stefania Costantini and Pierangelo Dell'Acqua and Pereira, {Lu{\'i}s Moniz} and Panagiota Tsintza",

year = "2009",

month = jan,

day = "1",

language = "English",

pages = "257--271",

editor = "Salvador Abreu and Dietmar Siepel",

booktitle = "Proceedings of INAP 2009",

publisher = "Universidade de {\'E}vora",

note = "18th International Conference on Applications of Declarative Programming and Knowledge Management : INAP'09 ; Conference date: 05-11-2009 Through 07-11-2009",

url = "http://www.di.uevora.pt/inap2009/",

}

Costantini, S, Dell'Acqua, P, Pereira, LM & Tsintza, P 2009, Runtime Verification of Agent Properties. in S Abreu & D Siepel (eds), Proceedings of INAP 2009: 18th International Conference on Applications of Declarative Programming and Knowledge Management. Universidade de Évora, Évora, pp. 257-271, 18th International Conference on Applications of Declarative Programming and Knowledge Management, Évora, Portugal, 5/11/09.

Runtime Verification of Agent Properties. / Costantini, Stefania; Dell'Acqua, Pierangelo; Pereira, Luís Moniz et al.

Proceedings of INAP 2009: 18th International Conference on Applications of Declarative Programming and Knowledge Management. ed. / Salvador Abreu; Dietmar Siepel. Évora : Universidade de Évora, 2009. p. 257-271.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Runtime Verification of Agent Properties

AU - Costantini, Stefania

AU - Dell'Acqua, Pierangelo

AU - Pereira, Luís Moniz

AU - Tsintza, Panagiota

PY - 2009/1/1

Y1 - 2009/1/1

N2 - 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.

AB - 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.

KW - Program Verification

KW - Agents

KW - Control

M3 - Conference contribution

SP - 257

EP - 271

BT - Proceedings of INAP 2009

A2 - Abreu, Salvador

A2 - Siepel, Dietmar

PB - Universidade de Évora

CY - Évora

T2 - 18th International Conference on Applications of Declarative Programming and Knowledge Management

Y2 - 5 November 2009 through 7 November 2009

ER -

Runtime Verification of Agent Properties

Abstract

Conference

Fingerprint

Cite this