Supporting adaptiveness of cyber-physical processes through action-based formalisms

Marrella, A, Mecella, M and Sardina, S 2018, 'Supporting adaptiveness of cyber-physical processes through action-based formalisms', AI Communications, vol. 31, no. 1, pp. 47-74.


Document type: Journal Article
Collection: Journal Articles

Title Supporting adaptiveness of cyber-physical processes through action-based formalisms
Author(s) Marrella, A
Mecella, M
Sardina, S
Year 2018
Journal name AI Communications
Volume number 31
Issue number 1
Start page 47
End page 74
Total pages 28
Publisher I O S Press
Abstract Cyber Physical Processes (CPPs) refer to a new generation of business processes enacted in many application environments (e.g., emergency management, smart manufacturing, etc.), in which the presence of Internet-of-Things devices and embedded ICT systems (e.g., smartphones, sensors, actuators) strongly influences the coordination of the real-world entities (e.g., humans, robots, etc.) inhabitating such environments. A Process Management System (PMS) employed for executing CPPs is required to automatically adapt its running processes to anomalous situations and exogenous events by minimising any human intervention. In this paper, we tackle this issue by introducing an approach and an adaptive Cognitive PMS, called SmartPM, which combines process execution monitoring, unanticipated exception detection and automated resolution strategies leveraging on three well-established action-based formalisms developed for reasoning about actions in Artificial Intelligence (AI), including the situation calculus, IndiGolog and automated planning. Interestingly, the use of SmartPM does not require any expertise of the internal working of the AI tools involved in the system.
Subject Artificial Intelligence and Image Processing not elsewhere classified
Keyword(s) Automated planning
Cyber-physical processes
IndiGolog
Process adaptation and recovery
Situation calculus
DOI - identifier 10.3233/AIC-170748
Copyright notice © 2018 - IOS Press and the authors. All rights reserved.
ISSN 0921-7126
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Altmetric details:
Access Statistics: 11 Abstract Views  -  Detailed Statistics
Created: Thu, 31 Jan 2019, 11:26:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us