Semantical Markov Logic Network for Distributed Reasoning in Cyber-Physical Systems

Algorithm 2

Planning problem.

Input: in

Output: tasks, preconditions

 (1) generate output

 (2) return out