;;; TWO-FIGURE-DATA.LISP is a data file for VERSION-SPACE which uses a two-object ;;; description language where each object is represented as a feature vector (setf *domains* '((large medium small)(blue red green)(square triangle circle))) (setf *feature-names* '(size color shape)) ;;; The first three examples in the following example are the same as the ;;; example given in the Mitchell AIJ paper. (setf example1 '((+ ((large red triangle)(small blue circle))) (+ ((large blue circle) (small red triangle))) (- ((large blue triangle) (small blue triangle))) (- ((large red circle)(large red triangle))) (+ ((small blue triangle)(large red circle))))) (setf example2 '((+ ((medium red circle)(large blue triangle))) (- ((medium blue circle)(small red square))) (+ ((small green square) (large red circle))) (- ((large green triangle) (small red square)))))