;;; 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)) )))