Abstract
Some sort of `intellectual' mechanisms are needed for second generation cyber-physical systems (CPSs) to be self-aware and self-adaptive. This paper (i) proposes procedural abduction (PA) as one possible mechanism for enabling smart reasoning, (ii) introduces the fundamental concepts and the computational procedure, and (iii) argues for their practical utility. PA includes eight cluster of activities: (i) run-time extraction of signals and data by sensing, (ii) recognition of events, (iii) inferring about existing situations, (iv) building awareness about the performance of the system at attaining of objectives of operation/servicing, (v) devising alternative performance enhancement strategies, (vi) designing adaptation of the parts and the system as a whole, (vii) planning the implied interventions, and (viii) actuating effectors and controls. As a computational approach, PA facilitates believes-driven contemplation of the momentary performance of a system with regards to the most relevant objective of servicing and `best option'-based realization of adaptiveness. Computational realization of PA necessitates a combination of a large number of conventional and specific artificial intelligence algorithms. A fully fledged implementation of PA is underway, which will make verification and validation in the context of various smart CPSs possible.
Original language | English |
---|---|
Title of host publication | 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC) |
Publisher | IEEE |
Pages | 124-132 |
Number of pages | 9 |
ISBN (Electronic) | 978-1-5386-0774-9 |
ISBN (Print) | 978-1-5386-0775-6 |
DOIs | |
Publication status | Published - 2017 |
Event | 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC) - Funchal, Portugal Duration: 27 Jun 2017 → 29 Jun 2017 |
Conference
Conference | 2017 International Conference on Engineering, Technology and Innovation (ICE/ITMC) |
---|---|
Country/Territory | Portugal |
City | Funchal |
Period | 27/06/17 → 29/06/17 |
Keywords
- second generation cyber-physical systems
- smart operation
- procedural abduction
- contemplation and alteration
- computational feasibility