Introducing possibilistic logic in ILP for dealing with exceptions.
Mathieu SerrurierHenri PradePublished in: Artif. Intell. (2007)
Keyphrases
- possibilistic logic
- propositional logic
- inductive logic programming
- possibility theory
- plausible inference
- logic programming
- knowledge base
- uncertain information
- belief revision
- partially ordered
- classical logic
- sound and complete with respect
- first order logic
- logical framework
- logic programs
- pattern recognition
- reasoning tasks
- meta level
- dynamic environments
- computational intelligence