Concurrent Abductive Logic Programming in Pandora

Abstract: The extension of logic programming with abduction allows a form of hypothetical reasoning. The advantages of abduction lie in the ability to reason with incomplete information and the enhancement of the declarative representation of problems. On the other hand, concurrent logic programming is a framework which explores AND-parallelism and/or OR- parallelism in logic programs in order to efficiently execute them on multi-processor/distributed machines.
The aim of our work is to study a way to model abduction within the framework of concurrent logic programming, thus taking advantage of the latter's potential for parallel and/or distributed execution. In particular, we describe Abductive Pandora, a syntactic sugar on top of the concurrent logic programming language Pandora, which provides the user with an abductive behavior for a concurrent logic programming. Abductive Pandora programs are then transformed into Pandora programs which support the concurrent abductive behavior through a simple programming technique while at the same time taking advantage of the underlying Pandora machine infrastructure.
Publication year 2001
Availability location 6 شارع النور نادى الصيد الدقى ميشيل باخوم سابقا
Availability number
Organization Name
serial title International Journal on Artificial Intelligence Tools (IJAIT)
Author(s) from ARC
External authors (outside ARC)
    ريم بهجت
    George Papadopoulos
Agris Categories Mathematical and statistical methods
AGROVOC
TERMS
Infrastructure.
Publication Type Journal