Name
Abstract | ||
|---|---|---|
This paper presents a new system, called the A- System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search in terms of two tightly coupled processes: a reduction process of the highlevel logical representation to a lower-level constraint store and a lower-level constraint solving process. A set of initial "proof of principle" experiments demonstrate the versatility of the approach stemming from its declarative representation of problems and the good underlying computational behaviour of the system. The approach offers a general methodology of declarative problem solving in AI where an incremental and modular refinement of the high-level representation with extra domain knowledge can improve and scale the computational performance of the framework. |
Year | Venue | Keywords |
|---|---|---|
2001 | IJCAI | declarative problem,good underlying computational behaviour,abductive search,highlevel logical representation,computational performance,hybrid computational model,high-level representation,abductive reasoning,declarative representation,new system,proof of principle,domain knowledge,system performance,abductive logic programming,computer model |
Field | DocType | ISBN |
Domain knowledge,Computer science,Abductive logic programming,Proof of concept,Abductive reasoning,Artificial intelligence,Modular design,Machine learning | Conference | 1-55860-812-5 |
Citations | PageRank | References |
45 | 1.45 | 17 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Antonis C. Kakas | 1 | 1277 | 97.13 |
| Bert Van Nuffelen | 2 | 189 | 12.33 |
| Marc Denecker | 3 | 1626 | 106.40 |