From Knowing to Guessing?
- Making guesses
DB database, Q query, H hypothesesD Ù H |– QD Ù H |= Q
- extending QUARFE
Questions, e.g., ?parent(x, Kari)Answers, e.g., x = RandyRules, e.g., parent(x, y) <- father(x, y)Facts, e.g., father(Randy, Kari)Hypotheses, e.g., sibling(X,Kari) <- father(Randy,X)Explanations, e.g., by abduction & deduction
From Knowing to Guessing?