Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorVan Nuffelen, B.en
dc.contributor.authorDenecker, M.en
dc.creatorKakas, Antonis C.en
dc.creatorVan Nuffelen, B.en
dc.creatorDenecker, M.en
dc.description.abstractThis 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 high-level 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.en
dc.sourceIJCAI International Joint Conference on Artificial Intelligenceen
dc.source17th International Joint Conference on Artificial Intelligence, IJCAI 2001en
dc.subjectArtificial intelligenceen
dc.subjectAbductive reasoningen
dc.subjectLogic programmingen
dc.subjectDeclarative problem solvingen
dc.subjectNatural language processing systemsen
dc.subjectAbductive logic programmingen
dc.subjectComputational performanceen
dc.subjectGeneral methodologiesen
dc.subjectHybrid computational modelen
dc.subjectLogical representationsen
dc.subjectProof of principlesen
dc.titleA-system: Problem solving through abductionen
dc.description.endingpage596 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeConference Objecten
dc.description.notes<p>Sponsors: International Joint Conferences on Artificialen
dc.description.notesIntelligence, Inc. (IJCAII)en
dc.description.notesAmerican Association for Artificial Intelligenceen
dc.description.notesConference code: 97870en
dc.description.notesCited By :47</p>en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record