start with atomic sentences in the kb and apply modus ponens, adding new atomic sentences, until...
Post on 22-Dec-2015
233 views
TRANSCRIPT
Start with atomic sentences in the KB and apply Modus Ponens, adding new atomic sentences, until “done”.
Conversion to CNF xyLovesyyxLovesyAnimalyx ,,
1. Eliminate Implications2. Move negation(s) inwards over qualifiers3. Standarize apart variables (each qualifier
should use a differn’t one4. Skolemize – replace each existential
variable with a skolem function5. Drop universal quantifiers6. Distribute over