Failure Handling in BDI Plans via Runtime Enforcement

Angelo Ferrando; Rafael C. Cardoso

doi:10.3233/FAIA230336

Failure Handling in BDI Plans via Runtime Enforcement

Angelo Ferrando, Rafael C. Cardoso^* (Corresponding Author)

^*Corresponding author for this work

University of Genoa

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

3 Downloads (Pure)

Abstract

Engineering a software system can be a complex process and prone to failure. This is exacerbated when the system under consideration presents some degree of autonomy, such as in cognitive agents. In this paper, we use runtime verification as a way to enforce safety properties on Belief-Desire-Intention (BDI) agents by
enveloping certain plans in safety shields. These shields function as a failure handling mechanism, they can detect and avoid violations in shielded plans. The safety shields also provide automated failure recovery by attempting alternative execution paths to avoid violations.

Original language	English
Title of host publication	ECAI 2023
Subtitle of host publication	26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)
Pages	716-723
Number of pages	8
Volume	372
DOIs	https://doi.org/10.3233/FAIA230336
Publication status	Published - Oct 2023
Event	26th European Conference on Artificial Intelligence - Kraków, Poland Duration: 30 Sept 2023 → 5 Oct 2023 Conference number: 26 https://ecai2023.eu/

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press
Volume	372
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	26th European Conference on Artificial Intelligence
Abbreviated title	ECAI 2023
Country/Territory	Poland
City	Kraków
Period	30/09/23 → 5/10/23
Internet address	https://ecai2023.eu/

Bibliographical note

This project CONVINCE has received funding from the European Union’s Horizon research and innovation programme G.A.
n. 101070227. This publication is funded by the European Union.
Views and opinions expressed are however those of the authors only
and do not necessarily reflect those of the European Union or European Commission (the granting authority). Neither the European
Union nor the granting authority can be held responsible for them

Access to Document

10.3233/FAIA230336Licence: CC BY-NC

Ferrando_etCardoso_ECAI2023_Failure_Handling_in_VOR
This book is published online with Open Access and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0). https://creativecommons.org/licenses/by-nc/4.0/deed.en
Final published version, 409 KBLicence: CC BY-NC

Cite this

Ferrando, A., & Cardoso, R. C. (2023). Failure Handling in BDI Plans via Runtime Enforcement. In ECAI 2023: 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) (Vol. 372, pp. 716-723). (Frontiers in Artificial Intelligence and Applications; Vol. 372). https://doi.org/10.3233/FAIA230336

Failure Handling in BDI Plans via Runtime Enforcement. / Ferrando, Angelo; Cardoso, Rafael C. (Corresponding Author).
ECAI 2023: 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Vol. 372 2023. p. 716-723 (Frontiers in Artificial Intelligence and Applications; Vol. 372).

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Ferrando, A & Cardoso, RC 2023, Failure Handling in BDI Plans via Runtime Enforcement. in ECAI 2023: 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). vol. 372, Frontiers in Artificial Intelligence and Applications, vol. 372, pp. 716-723, 26th European Conference on Artificial Intelligence, Kraków, Poland, 30/09/23. https://doi.org/10.3233/FAIA230336

Ferrando A, Cardoso RC. Failure Handling in BDI Plans via Runtime Enforcement. In ECAI 2023: 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Vol. 372. 2023. p. 716-723. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/FAIA230336

Ferrando, Angelo ; Cardoso, Rafael C. / Failure Handling in BDI Plans via Runtime Enforcement. ECAI 2023: 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Vol. 372 2023. pp. 716-723 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{50a3dd469ad84fc3bb3378084696fd67,

title = "Failure Handling in BDI Plans via Runtime Enforcement",

abstract = "Engineering a software system can be a complex process and prone to failure. This is exacerbated when the system under consideration presents some degree of autonomy, such as in cognitive agents. In this paper, we use runtime verification as a way to enforce safety properties on Belief-Desire-Intention (BDI) agents byenveloping certain plans in safety shields. These shields function as a failure handling mechanism, they can detect and avoid violations in shielded plans. The safety shields also provide automated failure recovery by attempting alternative execution paths to avoid violations.",

author = "Angelo Ferrando and Cardoso, {Rafael C.}",

note = "This project CONVINCE has received funding from the European Union{\textquoteright}s Horizon research and innovation programme G.A. n. 101070227. This publication is funded by the European Union. Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or European Commission (the granting authority). Neither the European Union nor the granting authority can be held responsible for them; 26th European Conference on Artificial Intelligence, ECAI 2023 ; Conference date: 30-09-2023 Through 05-10-2023",

year = "2023",

month = oct,

doi = "10.3233/FAIA230336",

language = "English",

volume = "372",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "716--723",

booktitle = "ECAI 2023",

url = "https://ecai2023.eu/",

}

TY - GEN

T1 - Failure Handling in BDI Plans via Runtime Enforcement

AU - Ferrando, Angelo

AU - Cardoso, Rafael C.

N1 - Conference code: 26

PY - 2023/10

Y1 - 2023/10

N2 - Engineering a software system can be a complex process and prone to failure. This is exacerbated when the system under consideration presents some degree of autonomy, such as in cognitive agents. In this paper, we use runtime verification as a way to enforce safety properties on Belief-Desire-Intention (BDI) agents byenveloping certain plans in safety shields. These shields function as a failure handling mechanism, they can detect and avoid violations in shielded plans. The safety shields also provide automated failure recovery by attempting alternative execution paths to avoid violations.

AB - Engineering a software system can be a complex process and prone to failure. This is exacerbated when the system under consideration presents some degree of autonomy, such as in cognitive agents. In this paper, we use runtime verification as a way to enforce safety properties on Belief-Desire-Intention (BDI) agents byenveloping certain plans in safety shields. These shields function as a failure handling mechanism, they can detect and avoid violations in shielded plans. The safety shields also provide automated failure recovery by attempting alternative execution paths to avoid violations.

U2 - 10.3233/FAIA230336

DO - 10.3233/FAIA230336

M3 - Published conference contribution

VL - 372

T3 - Frontiers in Artificial Intelligence and Applications

SP - 716

EP - 723

BT - ECAI 2023

T2 - 26th European Conference on Artificial Intelligence

Y2 - 30 September 2023 through 5 October 2023

ER -

Failure Handling in BDI Plans via Runtime Enforcement

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this