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