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

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

Full description

Bibliographic Details
Main Author: Imre Horváth
Format: Article
Language:English
Published: MDPI AG 2018-12-01
Series:Designs
Subjects:
Online Access:http://www.mdpi.com/2411-9660/3/1/1