|
|
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) |
|
| Agris Categories |
Mathematical and statistical methods
|
AGROVOC
TERMS |
Infrastructure.
|
| Publication Type |
Journal
|