;;; learning/domains/ex-19-4-boolean.lisp
;;; Inductive learning example from exercise 19.4


(defvar *ex-19-4-boolean-problem*)

(setq *ex-19-4-boolean-problem*
      (make-learning-problem
       :attributes '((i1 1 0)
                     (i2 1 0)
                     (i3 1 0)
                     (i4 1 0)
                     (i5 1 0)
                     (i6 1 0))
       :goals      '((g 0 1))
       :examples   '(((g . 1) (i1 . 1) (i2 . 0) (i3 . 1) (i4 . 0) (i5 . 0) (i6 . 0))
                     ((g . 1) (i1 . 1) (i2 . 0) (i3 . 1) (i4 . 1) (i5 . 0) (i6 . 0))
                     ((g . 1) (i1 . 1) (i2 . 0) (i3 . 1) (i4 . 0) (i5 . 1) (i6 . 0))
                     ((g . 1) (i1 . 1) (i2 . 1) (i3 . 0) (i4 . 0) (i5 . 1) (i6 . 1))
                     ((g . 1) (i1 . 1) (i2 . 1) (i3 . 1) (i4 . 1) (i5 . 0) (i6 . 0))
                     ((g . 1) (i1 . 1) (i2 . 0) (i3 . 0) (i4 . 0) (i5 . 1) (i6 . 1))
                     ((g . 0) (i1 . 1) (i2 . 0) (i3 . 0) (i4 . 0) (i5 . 1) (i6 . 0))
                     ((g . 1) (i1 . 0) (i2 . 1) (i3 . 1) (i4 . 1) (i5 . 0) (i6 . 1))
                     ((g . 0) (i1 . 0) (i2 . 1) (i3 . 1) (i4 . 0) (i5 . 1) (i6 . 1))
                     ((g . 0) (i1 . 0) (i2 . 0) (i3 . 0) (i4 . 1) (i5 . 1) (i6 . 0))
                     ((g . 0) (i1 . 0) (i2 . 1) (i3 . 0) (i4 . 1) (i5 . 0) (i6 . 1))
                     ((g . 0) (i1 . 0) (i2 . 0) (i3 . 0) (i4 . 1) (i5 . 0) (i6 . 1))
                     ((g . 0) (i1 . 0) (i2 . 1) (i3 . 1) (i4 . 0) (i5 . 1) (i6 . 1))
                     ((g . 0) (i1 . 0) (i2 . 1) (i3 . 1) (i4 . 1) (i5 . 0) (i6 . 0))
                     )))