Combining abductive reasoning and inductive learning to evolve requirements specifications.
Artur S. d'Avila GarcezAlessandra RussoBashar NuseibehJeff KramerPublished in: IEE Proc. Softw. (2003)
Keyphrases
- inductive learning
- abductive reasoning
- knowledge acquisition
- machine learning
- inference rules
- probabilistic logic
- logical representation
- lazy learning
- logic programs
- reasoning tasks
- inductive logic programming
- natural language understanding
- nonmonotonic reasoning
- high level
- plan recognition
- general purpose
- case based reasoning
- ripple down rules
- graphical models
- bayesian networks