title: Markov Task Network: A Framework for Service Composition under Uncertainty in Cyber-Physical Systems.
abstract: In novel collaborative systems, cooperative entities collaborate services to achieve local and global objectives. With the growing pervasiveness of cyber-physical systems, however, such collaboration is hampered by differences in the operations of the cyber and physical objects, and the need for the dynamic formation of collaborative functionality given high-level system goals has become practical. In this paper, we propose a cross-layer automation and management model for cyber-physical systems. This models the dynamic formation of collaborative services pursuing laid-down system goals as an ontology-oriented hierarchical task network. Ontological intelligence provides the semantic technology of this model, and through semantic reasoning, primitive tasks can be dynamically composed from high-level system goals. In dealing with uncertainty, we further propose a novel bridge between hierarchical task networks and Markov logic networks, called the Markov task network. This leverages the efficient inference algorithms of Markov logic networks to reduce both computational and inferential loads in task decomposition. From the results of our experiments, high-precision service composition under uncertainty can be achieved using this approach.
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China. abdulwahidmohammed@yahoo.co.uk.|School of Engineering, University for Development Studies, Tamale 00233, Northern Region, Ghana. abdulwahidmohammed@yahoo.co.uk.
authors.forename: Abdul-Wahid
authors.initials: AW
authors.lastname: Mohammed
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China. xuyang@uestc.edu.cn.
authors.forename: Yang
authors.initials: Y
authors.lastname: Xu
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China. 201511060118@std.uestc.edu.cn.
authors.forename: Haixiao
authors.initials: H
authors.lastname: Hu
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China. brighteragyemang@gmail.com.
authors.forename: Brighter
authors.initials: B
authors.lastname: Agyemang
keywords: Markov logic networks; cyber-physical systems; hierarchical task networks; ontology; uncertainty reasoning