Abductive Logic Programming.

TL;DR: The ideas described in the paper have led to the design of a parallel model, particularly suited to a shared-memory architecture, which has been mapped onto the Andorra model as expressed by the concurrent logic language AKL.

Abstract: Logic Programming has been recently extended to include abduction as an inference mechanism leading to the development of Abductive Logic Programming (ALP). In this work we study the introduction of parallelism in the operational behaviour of an abductive logic program over and above the parallelism found in an ordinary logic program. In particular, we examine the exploitation of various forms of parallelism (OR-parallelism, dependent AND-parallelism) in an abductive logic program the purpose of which being twofold: i) to propose a model for parallel computation of abduction in ALP, and ii) to find ways to use the existing technology developed over the years in parallelising deductive logic programming in the framework of ALP. The ideas described in the paper have led to the design of a parallel model, particularly suited to a shared-memory architecture, which has been mapped onto the Andorra model as expressed by the concurrent logic language AKL.