Next Article in Journal
Quantifying Usability via Task Flow-Based Usability Checklists for User-Centered Design
Next Article in Special Issue
A Two-Layer Component-Based Allocation for Embedded Systems with GPUs
Previous Article in Journal
Fault Classification of Axial and Radial Roller Bearings Using Transfer Learning through a Pretrained Convolutional Neural Network
Previous Article in Special Issue
Sharpening the Scythe of Technological Change: Socio-Technical Challenges of Autonomous and Adaptive Cyber-Physical Systems
Article Menu

Export Article

Open AccessArticle

A Computational Framework for Procedural Abduction Done by Smart Cyber-Physical Systems

Cyber-Physical Systems Design Section, Department of Design Engineering, Faculty of Industrial Design Engineering, Delft University of Technology, Landbergstraat 15, 2628 CD Delft, The Netherlands
Received: 11 October 2018 / Revised: 18 December 2018 / Accepted: 19 December 2018 / Published: 25 December 2018
Full-Text   |   PDF [3033 KB, uploaded 25 December 2018]   |  

Abstract

To be able to provide appropriate services in social and human application contexts, smart cyber-physical systems (S-CPSs) need ampliative reasoning and decision-making (ARDM) mechanisms. As one option, procedural abduction (PA) is suggested for self-managing S-CPSs. PA is a knowledge-based computation and learning mechanism. The objective of this article is to provide a comprehensive description of the computational framework proposed for PA. Towards this end, first the essence of smart cyber-physical systems is discussed. Then, the main recent research results related to computational abduction and ampliative reasoning are discussed. PA facilitates beliefs-driven contemplation of the momentary performance of S-CPSs, including a ‘best option’-based setting of the servicing objective and realization of any demanded adaptation. The computational framework of PA includes eight clusters of computational activities: (i) run-time extraction of signals and data by sensing, (ii) recognition of events, (iii) inferring about existing situations, (iv) building awareness of the state and circumstances of operation, (v) devising alternative performance enhancement strategies, (vi) deciding on the best system adaptation, (vii) devising and scheduling the implied interventions, and (viii) actuating effectors and controls. Several cognitive algorithms and computational actions are used to implement PA in a compositional manner. PA necessitates not only a synergic interoperation of the algorithms, but also an objective-dependent fusion of the pre-programmed and the run time acquired chunks of knowledge. A fully fledged implementation of PA is underway, which will make verification and validation possible in the context of various smart CPSs. View Full-Text
Keywords: smart cyber-physical systems; self-generated intelligence; ampliative reasoning mechanism; procedural abduction; data-driven system control; run-time acquired data; computational functions; self-adaptation capability; human/socially-centered applications smart cyber-physical systems; self-generated intelligence; ampliative reasoning mechanism; procedural abduction; data-driven system control; run-time acquired data; computational functions; self-adaptation capability; human/socially-centered applications
Figures

Graphical abstract

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).
SciFeed

Share & Cite This Article

MDPI and ACS Style

Horváth, I. A Computational Framework for Procedural Abduction Done by Smart Cyber-Physical Systems. Designs 2019, 3, 1.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Designs EISSN 2411-9660 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top