Towards refinement of abductive or inductive hypotheses through propagation.
Gauvain BourgneAmal El Fallah SeghrouchniNicolas MaudetPublished in: J. Appl. Log. (2009)
Keyphrases
- inductive learning
- machine learning
- belief updating
- inductive logic programming
- abductive logic programming
- logic programming
- inductive inference
- multiple hypotheses
- wave propagation
- background knowledge
- abductive reasoning
- plan recognition
- inductive concept learning
- hypothesis formation
- deductive reasoning
- explanation based learning
- concept learning
- knowledge representation
- theorem proving
- hypothesis testing
- constraint logic programming
- refinement operators
- data structure
- case study
- functional programs
- information systems
- artificial intelligence
- data sets
- database