Chapters 7-18 Flashcards
What is the completeness property?
Derives any sentence that is entailed.
What does it mean to be sound or truth preserving?
Derives only entailed sentences.
Define monotonicity.
Set of entailed sentences can only increase as information is added to the KB.
Monotonicity means that inference rules can be applied whenever suitable premises are found in the knowledge base—the conclusion of the rule must follow regardless of what else is in the knowledge base.
What is a “definite” clause?
A disjunction of literals in which exactly one literal is positive.
What is a “Horn” clause?
A disjunction of literals in which at most one literal is positive.
What is a “goal” clause?
A clause with no positive literals.
True or False: forward and backward chaining are complete for Horn clauses.
True.
What is the diagnostic rule?
Infer cause from effect.
What is the causal rule?
Infer effect from cause.
