Abstract#R##N##R##N#Acquisition of experimental data is very important in the discovery of theorems and rules. In most existing discovery systems, extensive subject knowledge is required to evaluate experimental results, or numerous experiment plans are prelearned. On the other hand, few if any reports explore methods of discovery based on experimental data acquisition, not relying heavily on subject knowledge. This paper presents a method of discovering theorems in the field of plane geometry experimentally. Generation and observation of planar figures corresponds to experiments in terms of preparation for data acquisition. The EXPEDITION discovery system based on experimental data acquisition was developed; this system performs inductive discovery of theorems using numerical data obtained by generation and observation of figures. Hypotheses are advanced using segment lengths and angle magnitudes, and then verified using similar figures. EXPEDITION was able not only to rediscover well-known theorems such as Thales's theorem, but also to originate new theorems. © 2001 Scripta Technica, Syst Comp Jpn, 32(4): 69–75, 2001
['Tsuyoshi Murata', 'Masamichi Shimura']
A method of inductive machine discovery based on experimental data acquisition