具体的な図を用いる初等幾何推論システム
スポンサーリンク
概要
- 論文の詳細を見る
論理的推論は, 様々な論理的仮定から, 新しい命題を導き出す操作を繰り返し行ない結論に至る道筋を求めることである。我々は幾何や物理の問題を考えるとき, しばしば図を利用する。このような具体的に見える図は直観的に分かり易いもので, 推論の方向を導く手助けとなる。今回我々が対象とする初等幾何の問題についても, 一切, 図を見ないで考えることは非常に困難である。逆にいえば, 具体的な図を人間は推論に有効に利用しているといえる。人間が描いた図は全く正確ではなく, 与えられた条件を正しく満たしてはいないが, 我々がその図形を見るときには, これらの条件だけを抽象化して認識していると考えられる。我々はこのアイデアに基づき, 具体的に描かれた図の情報を用いて, 初等幾何の証明問題を解くシステムを開発中である。本稿ではこのシステムの概略を報告する。
- 1997-09-24
著者
関連論文
- 九州大学における一般情報処理教育支援システムについて
- 久留米高専のインターネットと久留米地区学術系NOCについて
- 証明探索と反例生成を同時に行なうアルゴリズムについて
- クリプケモデル生成とJavaアプレットとしての実現
- プログラミング教育のためのWEB上の動作表示システム
- 証明とモデルを生成するインターネットプルーバー
- 協調作業におけるエージエシト間の相互作用のモデル化
- 初等幾何推論の多面的表示方式
- ZKネットワーク雑記帳
- 具体的な図を用いる初等幾何推論システム
- $\lambda_C$計算と$\lambda_P$計算との対応(計算理論とその応用)
- WWW上の幾何推論システム (「ネットワ-クとAI」小特集セッション)
- 分散する機能利用を支援するJavaを用いた対話環境
- リートネットワークによる併合法の実現
- CAI用パソコンLANにおけるファイル転送の性能評価
- 学生の教育履歴とプログラミング教育
- 初心者の冒すプログラム間違いの分析
- 複雑な知識モデルを利用した人間の学習プロセスシミュレーションの検討
- クロス集計による文献ファセット検索システムの提案
- ストリーミングビデオを用いた講義データベースシステム
- 二つの観点に基く検索結果の分析方法Double Rankについて(検索,第1回テキストマイニング・シンポジウム)
- 制約付きブートストラッピング法による特徴語抽出について(検索,第1回テキストマイニング・シンポジウム)
- 観光ブログからの地名抽出と曖昧性解消
- 日韓オノマトペの抽出とその感性評価利用
- 少数例による学習における属性選択の効果について