;;;; Data for the EXPLORER system.  Examples are atoms whose values are lists of feature-value pairs.
;;;; EXPLORER must be modified to make conjectures in order to get "interesting" results from this data

;;; *domains* specifies the domain of each feature
(setf *domains*  '((sides 3 4)(right-angles 0 1 4)(equal-sides 0 2 3 4)
		   (angle-sum 180 360)(parallel-sides 0 1 2)))

(setf isoceles-triangle       '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 2)(parallel-sides 0)))
(setf equilateral-triangle    '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 3)(parallel-sides 0)))
(setf right-triangle          '((sides 3)(right-angles 1)(angle-sum 180)(equal-sides 0)(parallel-sides 0)))
(setf right-isoceles-triangle '((sides 3)(right-angles 1)(angle-sum 180)(equal-sides 2)(parallel-sides 0)))
(setf triangle                '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 0)(parallel-sides 0)))
(setf square                  '((sides 4)(right-angles 4)(angle-sum 360)(equal-sides 4)(parallel-sides 2)))
(setf rhombus                 '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 4)(parallel-sides 2)))
(setf regular-trapezoid       '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 2)(parallel-sides 1)))
(setf parallelogram           '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 0)(parallel-sides 2)))
(setf quadrilateral           '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 0)(parallel-sides 0)))

(setf polygon-examples '(isoceles-triangle equilateral-triangle right-triangle right-isoceles-triangle
			   triangle square rhombus regular-trapezoid  parallelogram quadrilateral))

> (run-explorer polygon-examples)

Examples verified.

Beginning exploration ...

Conjecturing that  RIGHT-ANGLES=1
is SPECIALIZATION to  SIDES=3

Conjecturing that  EQUAL-SIDES=4
is GENERALIZATION to  RIGHT-ANGLES=4

Conjecturing that  EQUAL-SIDES=4
is SPECIALIZATION to  SIDES=4

Conjecturing that  ANGLE-SUM=360
is GENERALIZATION to  EQUAL-SIDES=4

Conjecturing that  ANGLE-SUM=360
is GENERALIZATION to  RIGHT-ANGLES=4

Conjecturing that  ANGLE-SUM=360
is EQUIVALENT to  SIDES=4

Conjecturing that  ANGLE-SUM=180
is GENERALIZATION to  EQUAL-SIDES=3

Conjecturing that  ANGLE-SUM=180
is GENERALIZATION to  RIGHT-ANGLES=1

Conjecturing that  ANGLE-SUM=180
is EQUIVALENT to  SIDES=3

Conjecturing that  PARALLEL-SIDES=2
is SPECIALIZATION to  ANGLE-SUM=360

Conjecturing that  PARALLEL-SIDES=2
is GENERALIZATION to  EQUAL-SIDES=4

Conjecturing that  PARALLEL-SIDES=2
is GENERALIZATION to  RIGHT-ANGLES=4

Conjecturing that  PARALLEL-SIDES=2
is SPECIALIZATION to  SIDES=4

Conjecturing that  PARALLEL-SIDES=0
is GENERALIZATION to  ANGLE-SUM=180

Conjecturing that  PARALLEL-SIDES=0
is GENERALIZATION to  EQUAL-SIDES=3

Conjecturing that  PARALLEL-SIDES=0
is GENERALIZATION to  RIGHT-ANGLES=1

Conjecturing that  PARALLEL-SIDES=0
is GENERALIZATION to  SIDES=3

Conjecturing that  PARALLEL-SIDES=1
is SPECIALIZATION to  ANGLE-SUM=360

Conjecturing that  PARALLEL-SIDES=1
is SPECIALIZATION to  EQUAL-SIDES=2

Conjecturing that  PARALLEL-SIDES=1
is SPECIALIZATION to  RIGHT-ANGLES=0

Conjecturing that  PARALLEL-SIDES=1
is SPECIALIZATION to  SIDES=4

Conjecturing that  EQUAL-SIDES=3
is SPECIALIZATION to  RIGHT-ANGLES=0

Conjecturing that  EQUAL-SIDES=3
is SPECIALIZATION to  SIDES=3

Conjecturing that  RIGHT-ANGLES=4
is SPECIALIZATION to  SIDES=4

Conjecturing that  SIDES=4 RIGHT-ANGLES=0
is GENERALIZATION to  PARALLEL-SIDES=1

Conjecturing that  SIDES=4 RIGHT-ANGLES=0
is SPECIALIZATION to  ANGLE-SUM=360

Conjecturing that  SIDES=3 RIGHT-ANGLES=0
is SPECIALIZATION to  PARALLEL-SIDES=0

Conjecturing that  SIDES=3 RIGHT-ANGLES=0
is SPECIALIZATION to  ANGLE-SUM=180

Conjecturing that  SIDES=3 RIGHT-ANGLES=0
is GENERALIZATION to  EQUAL-SIDES=3

Conjecturing that  EQUAL-SIDES=2 RIGHT-ANGLES=0
is GENERALIZATION to  PARALLEL-SIDES=1

Conjecturing that  EQUAL-SIDES=3 RIGHT-ANGLES=0
is SPECIALIZATION to  SIDES=3 RIGHT-ANGLES=0

Conjecturing that  EQUAL-SIDES=3 RIGHT-ANGLES=0
is SPECIALIZATION to  PARALLEL-SIDES=0

Conjecturing that  EQUAL-SIDES=3 RIGHT-ANGLES=0
is SPECIALIZATION to  ANGLE-SUM=180

Conjecturing that  EQUAL-SIDES=3 RIGHT-ANGLES=0
is SPECIALIZATION to  SIDES=3

Conjecturing that  EQUAL-SIDES=4 RIGHT-ANGLES=0
is SPECIALIZATION to  SIDES=4 RIGHT-ANGLES=0

Conjecturing that  EQUAL-SIDES=4 RIGHT-ANGLES=0
is SPECIALIZATION to  PARALLEL-SIDES=2

Conjecturing that  EQUAL-SIDES=4 RIGHT-ANGLES=0
is SPECIALIZATION to  ANGLE-SUM=360

Conjecturing that  EQUAL-SIDES=4 RIGHT-ANGLES=0
is SPECIALIZATION to  SIDES=4

Conjecturing that  ANGLE-SUM=360 RIGHT-ANGLES=0
is GENERALIZATION to  EQUAL-SIDES=4 RIGHT-ANGLES=0

Conjecturing that  ANGLE-SUM=360 RIGHT-ANGLES=0
is EQUIVALENT to  SIDES=4 RIGHT-ANGLES=0

Conjecturing that  ANGLE-SUM=360 RIGHT-ANGLES=0
is GENERALIZATION to  PARALLEL-SIDES=1

Conjecturing that  ANGLE-SUM=360 RIGHT-ANGLES=0
is SPECIALIZATION to  SIDES=4



The Current Five Most Interesting Concepts

 100.000 concept-0068
      ANGLE-SUM=360
       Pos-examples: PARALLELOGRAM SQUARE QUADRILATERAL REGULAR-TRAPEZOID RHOMBUS
       Neg-examples: ISOCELES-TRIANGLE RIGHT-TRIANGLE TRIANGLE EQUILATERAL-TRIANGLE RIGHT-ISOCELES-TRIANGLE
       Conjectures: (GENERALIZATION #:|concept-0243|) (GENERALIZATION #:|concept-0198|) (GENERALIZATION #:|concept-0108|) (GENERALIZATION #:|concept-0113|) (EQUIVALENT #:|concept-0008|) (GENERALIZATION #:|concept-0023|) (GENERALIZATION #:|concept-0048|)
 100.000 concept-0063
      ANGLE-SUM=180
       Pos-examples: EQUILATERAL-TRIANGLE TRIANGLE RIGHT-TRIANGLE RIGHT-ISOCELES-TRIANGLE ISOCELES-TRIANGLE
       Neg-examples: QUADRILATERAL RHOMBUS SQUARE PARALLELOGRAM REGULAR-TRAPEZOID
       Conjectures: (GENERALIZATION #:|concept-0238|) (GENERALIZATION #:|concept-0193|) (SPECIALIZATION #:|concept-0103|) (EQUIVALENT #:|concept-0003|) (GENERALIZATION #:|concept-0018|) (GENERALIZATION #:|concept-0043|)
 100.000 concept-0008
      SIDES=4
       Pos-examples: QUADRILATERAL RHOMBUS SQUARE PARALLELOGRAM REGULAR-TRAPEZOID
       Neg-examples: TRIANGLE RIGHT-ISOCELES-TRIANGLE ISOCELES-TRIANGLE RIGHT-TRIANGLE EQUILATERAL-TRIANGLE
       Conjectures: (GENERALIZATION #:|concept-0298|) (GENERALIZATION #:|concept-0243|) (GENERALIZATION #:|concept-0023|) (GENERALIZATION #:|concept-0108|) (GENERALIZATION #:|concept-0113|) (EQUIVALENT #:|concept-0068|) (GENERALIZATION #:|concept-0048|)
 100.000 concept-0003
      SIDES=3
       Pos-examples: EQUILATERAL-TRIANGLE RIGHT-ISOCELES-TRIANGLE TRIANGLE ISOCELES-TRIANGLE RIGHT-TRIANGLE
       Neg-examples: PARALLELOGRAM RHOMBUS REGULAR-TRAPEZOID QUADRILATERAL SQUARE
       Conjectures: (GENERALIZATION #:|concept-0238|) (GENERALIZATION #:|concept-0043|) (SPECIALIZATION #:|concept-0103|) (EQUIVALENT #:|concept-0063|) (GENERALIZATION #:|concept-0018|)
  96.000 concept-0103
      PARALLEL-SIDES=0
       Pos-examples: QUADRILATERAL EQUILATERAL-TRIANGLE RIGHT-ISOCELES-TRIANGLE RIGHT-TRIANGLE TRIANGLE ISOCELES-TRIANGLE
       Neg-examples: SQUARE REGULAR-TRAPEZOID PARALLELOGRAM RHOMBUS
       Conjectures: (GENERALIZATION #:|concept-0238|) (GENERALIZATION #:|concept-0193|) (GENERALIZATION #:|concept-0003|) (GENERALIZATION #:|concept-0018|) (GENERALIZATION #:|concept-0043|) (GENERALIZATION #:|concept-0063|)

Conjecturing that  ANGLE-SUM=180 RIGHT-ANGLES=0
> 
> (dribble)