Using abduction and induction for operational requirements elaboration.

Dalal Alrajeh Oliver Ray Alessandra Russo Sebastián Uchitel

Published in: J. Appl. Log. (2009)

Keyphrases

logic programming
neural network
inductive learning
user requirements
functional requirements
artificial intelligence
decision making
program synthesis
decision trees
search algorithm
inductive logic programming
explanation based learning
constructive induction
abductive reasoning
predicate invention