ML Anthology

A Discovery System for Trigonometric Functions

Tsuyoshi Murata, Masami Mizutani, Masamichi Shimura
AAAI 1994 pp. 645-650
/aaai/1994/murata1994aaai-discovery/

Abstract

This paper describes a discovery system for trigonometric fuctions (DST), which has abili-ties to acquire new knowledge in the form of the-orcins ancl foriiialas ii1 a plant: geometry cloiiiaiil. The systcn1 is composed of two suhystenls: a plaiic: geonhry analysis systeiri ad a niatlicniat-ical fornda t, ratnsforlllat, ioll system. The former changes the length and angles of a figure and ex-tracts geouietric relations, and the lat, tcr trans-foriiis the relations to acquire nsefnl formnlas. With little lmsic: knowledge such as the clefini-tioii of the congruence of triangles aid the dcf-iiiition of fiuidameiit~al trigonometric fiuictions, our system has recliscovered many trigononietric formulas ant1 geometric theorems, including the Pythagorean tlieoreui.

PDF AAAI Semantic Scholar

Cite

Text

Murata et al. "A Discovery System for Trigonometric Functions." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Murata et al. "A Discovery System for Trigonometric Functions." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/murata1994aaai-discovery/)

BibTeX

@inproceedings{murata1994aaai-discovery,
  title     = {{A Discovery System for Trigonometric Functions}},
  author    = {Murata, Tsuyoshi and Mizutani, Masami and Shimura, Masamichi},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {645-650},
  url       = {https://mlanthology.org/aaai/1994/murata1994aaai-discovery/}
}