平面幾何定理の発見システム
スポンサーリンク
概要
- 論文の詳細を見る
平面幾何の領域において図形から抽出した式を基に平面幾何の定理や三角関数の公式を発見するシステムとして著者らはDSTを発表した。このDSTは補助線によって生じる副生成物の消去を発見の基準としているが、多くの定理を発見するための式の有用性の基準としては不十分であった。本論文では観察によって得られる図形中の辺の関係を発見の基準とする手法を提案し、それを実現した平面幾何定理発見システムPLANETについて述べる。PLANETは幾何についてのごくわずかの知識から、メネラウスの定理や三角関数の加法定理など、多くの有用な平面幾何の定理や三角関数の公式を再発見している。
- 一般社団法人情報処理学会の論文
- 1995-05-24
著者
-
志村 正道
東京工業大学工学部情報工学科
-
志村 正道
Department Of Industrial Administration Science University Of Tokyo
-
志村 正道
東京工業大学大学院情報理工学研究科計算工学専攻
-
村田 剛志
東京工業大学
-
志村 正道
東京工業大学
関連論文
- 座談会 「人工知能研究の現状と問題点」
- 算術問題学習システム
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- 最小メッセージ長規準の地震波速度構造モデル推定問題への適用 -近畿・中国地方における結果-
- 多数の例外的データが存在する回帰問題のための最小記述長原理の拡張
- 情報理論的手法を用いたデータベースからの例外的知識の発見
- 情報理論的規準を用いたデータベースからの例外的知識の発見
- 十年一昔
- 知的成長システムに関する統合的機能 : 問題解決、学習、発見
- 状況に応じた戦略選択による実時間プランニング
- 共存進化における決定木の学習に関する研究
- 2次関数問題解答システム
- 実験によるデータ獲得に基づく帰納的発見手法
- 図を用いた算術問題解決システムDIPS
- Incremental Multistrategy Relational Conceptual Clustering and Ordering Effects
- 図を用いた算術問題解決システム
- 図形の構造に基づく計算機による発見手法
- 計算機による図形的制約に基づく発見手法
- 構造の観察に基づく発見手法
- 三角関数における定理の帰納的発見
- 発見システムにおける実験の計画
- 2次関数を対象とした数学問題解答システム
- 算術問題解決システムLAPSII
- 平面幾何定理の発見システム
- 会誌発刊を祝して
- 複数エージェントによる協調帰納学習
- Dempster-Shafer理論とATMSの統合システムの拡張
- 三角関数における発見システム : DST
- イメージを用いた推論のコンピュータモデル
- 多重二値論理の非単調論理への応用
- 説明構造の分解による類推
- パ-ソナルコンピュ-タの発展と情報化社会 (パ-ソナルコンピュ-タ特集)
- 中国語音声理解システムにおける知識獲得および帰納推論
- 部分線形識別関数の学習的構成法
- パタ-ン認識における区分的線形識別関数
- 木探索による発見的問題解決の一方法
- モ-ド推定に基づく教師なしのノンパラメトリックな学習
- 階層構造を用いたクラスタ検出アルゴリズム
- 教師なしのパラメトリックな学習方式--WDDM
- 近似理論および雑音のある訓練例からの学習
- 学会と人工知能の発展
- 機械系におけるモデルに基づいた診断と知識獲得
- S.C.Shapiro編 : "Encyclopedia of Artificial Intelligence", John Wiley & Sons, Inc.(1987) A4判1,219ページ 3,500円
- 辻井潤一著 : 「知識の表現と利用」, 昭晃堂(1987.10) A5判282ページ 4,800円
- 算術問題解答システムにおける学習
- 学習能力を持った幾何学問題解答システム
- 算術問題解答システムLAPSにおける学習機能について
- 自由会話システム
- 人工知能学会誌編集にあたって
- 知識工学概説 (知識工学)
- 発見的探索理論
- ネットワークからのコミュニティ抽出
- インターネット QA サイトにおけるリンク予測
- サイト・キーワードグラフを用いたWebユーザの興味の抽出と視覚化(テキストの可視化と要約)
- Web構造マイニングとWebコミュニティ発見
- Web構造マイニングとWebコミュニティ発見
- Web視聴率データからのユーザコミュニティの発見(Webインテリジェンスとインタラクション)
- 1. 検索エンジンの概要(検索エンジン2005-Webの道しるべ-)
- 編集にあたって(検索エンジン2005-Webの道しるべ-)
- 対話参加者の心的記述とその動的変化に関する枠組み
- 対話参加者の心的記述とその動的変化に関する枠組み
- 説明の部分構造抽出による高速化学習
- 多分木化による見やすい決定木の構築
- 持続性を持つ時間論理の構成
- 知識ベースの自動的構築について
- 弁別に基づく構成的帰納学習
- 非決定的,無弁別なリテラルを含む論理プログラムの学習
- 学会設立と会誌発刊(第1部:学会創設25周年に寄せて,人工知能学会25周年特集「四半世紀を越えて」)
- 故障診断用エキスパートシステムにおける知識獲得
- メタインタプリタによる帰納的プログラム合成規則の学習
- 例題による複数ステップタスクの学習法
- 説明の部分構造に基づくル-ル学習法
- 目的主導の類推によるプログラム合成
- プロダクションシステムNatにおける学習機能
- Community Detection from Signed Networks