Sciweavers

215 search results - page 3 / 43
» Integrating Abduction and Induction
Sort
View
ICLP
2009
Springer
13 years 10 months ago
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
Marco Gavanelli, Marco Alberti, Evelina Lamma
AAAI
1994
13 years 7 months ago
Inductive Learning For Abductive Diagnosis
A new inductive learning system, Lab Learning for ABduction, is presented which acquires abductive rules from a set of training examples. The goal is to nd a small knowledge base ...
Cynthia A. Thompson, Raymond J. Mooney
CLIMA
2004
13 years 7 months ago
An Abductive Framework for Information Exchange in Multi-agent Systems
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo...
APPINF
2003
13 years 7 months ago
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ€...
Makoto Kikuchi, Ichiro Nagasaka
KRDB
1996
123views Database» more  KRDB 1996»
13 years 7 months ago
Flexible Query-Answering Systems Modelled in Metalogic Programming
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
Troels Andreasen, Henning Christiansen