钟义信教授的‘人工智能与神经网络’笔记AI-NN-5-2,6.pptVIP

E.g., C D A A ? B B B G E G A C Fact: A ? B Rules: A ? C ? D B ? E ? G Goal: C ? G Rule Matching Goal Matching (C) Rule Application in Predicate Logic Fact and rule expressions are the same as above: -- Variables are universally quantified; -- Any existentially variables are already Skolemized. Goal wffs, however, is dual to those above: -- Universal variables are replaced by Skolem functions; -- Existential quantifiers in the Skolemized goal wff can then be dropped; -- Variables remaining in goal wffs have been renamed so that the same variable does not occur in more than o