(load "unify") (load "fast-traced-prove") (load "lenses") (store-clauses *lenses*) (load "learn") (defparameter *soft-subset* <insert a quoted list of any four people from 3 5 12 13 20>) (defparameter *hard-subset* <insert a quoted list of any three people from 2 10 16 18>) (defparameter *no-subset* <insert a quoted list of any eight people from 1 4 6 7 8 9 11 14 15 17 19 21 22 23 24>) (setq *no-rules* (learn-clauses *no-subset* (append *soft-subset* *hard-subset*) *lenses-predicates* '(lenses ?p no))) (setq *hard-rules* (learn-clauses *hard-subset* (append *soft-subset* *no-subset*) *lenses-predicates* '(lenses ?p hard))) (setq *soft-rules* (learn-clauses *soft-subset* (append *no-subset* *hard-subset*) *lenses-predicates* ' (lenses ?p soft))) (defparameter *all-rules* (append *soft-rules* *hard-rules* *no-rules*)) (store-clauses *all-rules*) (test-rules 'lenses 'correct-diagnosis)Repeat above procedure again with different combination of people who wears *no-lenses*, *soft-lenses*, *hard-lenses*. And see if the learned rule and accuracy is different.
Michael Pazzani