dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Van Nuffelen, B. | en |
dc.contributor.author | Denecker, M. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Van Nuffelen, B. | en |
dc.creator | Denecker, M. | en |
dc.date.accessioned | 2019-11-13T10:40:31Z | |
dc.date.available | 2019-11-13T10:40:31Z | |
dc.date.issued | 2001 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54159 | |
dc.description.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 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.source | IJCAI International Joint Conference on Artificial Intelligence | en |
dc.source | 17th International Joint Conference on Artificial Intelligence, IJCAI 2001 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84880870956&partnerID=40&md5=33d792902ee5f34fec6e64b22daa0a7a | |
dc.subject | Artificial intelligence | en |
dc.subject | Abductive reasoning | en |
dc.subject | Logic programming | en |
dc.subject | Declarative problem solving | en |
dc.subject | Natural language processing systems | en |
dc.subject | Abductive logic programming | en |
dc.subject | Computational performance | en |
dc.subject | General methodologies | en |
dc.subject | Hybrid computational model | en |
dc.subject | Logical representations | en |
dc.subject | Proof of principles | en |
dc.title | A-system: Problem solving through abduction | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.startingpage | 591 | |
dc.description.endingpage | 596 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: International Joint Conferences on Artificial | en |
dc.description.notes | Intelligence, Inc. (IJCAII) | en |
dc.description.notes | American Association for Artificial Intelligence | en |
dc.description.notes | Conference code: 97870 | en |
dc.description.notes | Cited By :47</p> | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |