幾何定理証明における図情報に基づく推論
スポンサーリンク
概要
- 論文の詳細を見る
幾何学の定理証明という問題解決において, 図形の情報に着目した推論機構の定式化およびその実装が目的である。人間は, 定理証明において, 図形の情報を活用していることが多くの研究で報告されている。実際に, 人間が行う幾何の定理証明の過程を観察すれば, 解法知識(解法のパターン)を用いたトップダウンな思考は比較的少なく, 多くの場合には, 課題図形の部分的な構造に着目したボトムアップな思考が行われていることがわかる。本稿では, 図情報に基づく人間の問題解決過程を考察した結果を踏まえて, スキーマに基づく推論機構の枠組を提案する。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
-
岡本 敏雄
電気通信大学大学院情報システム学研究科
-
松田 昇
電気通信大学大学院情報システム学研究科
-
岡本 敏雄
電気通信大学eラーニング推進センター
-
松田 昇
電気通信大学
-
岡本 敏雄
電気通信大学 大学院情報システム学研究科
関連論文
- 自律エージェント群による情報の協調フィルタリング : 協調フィルタリングのコンセプトとその実現法
- 教育工学研究会の果たすべき役割(教育工学研究の歴史と未来-40周年記念研究会-)
- 概念学習における類推エンジンの適用と指導法について
- 非単調推論による学習者の理解構造のモデル化の一方法
- 電子掲示板の多重ロジスティック潜在変数モデルを用いたキーワード分析(e-Learningの基盤技術/一般)
- 好意的発言影響度を取り入れた議論支援システムの開発
- 学習履歴情報を用いた学習メンタリングシステムの開発(エデュテイメント/一般)
- KOMIチャートを用いたケアプラン策定過程におけるノウハウ情報の共有システムの開発 : 概念ベースにおける観点の変更と文書間の距離尺度の関係について( 遠隔教育/一般)
- 教授知識の動的管理機構を備えた英会話学習支援システムの開発 : 学習者/グループモデルの構成手法について
- e-learning システムにおける統合的評価機構 : 学習履歴情報に基づいた学習過程のダイジェスト化
- KOMIチャートを用いたケアプラン策定過程におけるノウハウ情報の共有システムの開発 : 概念ベースを用いた読み取り文書の分類(認知と学習・教育用インタフェース/一般)
- e-learning の統合的評価機構におけるデータマイニング : 学習履歴情報に基づいた学習過程のダイジェスト化
- 教材構造解析結果に基づくWeb 教材のメタデータの半自動付与とその活用法
- 好意的発言影響モデルに基づく議論支援システムの開発
- 文章解析機能を備えたカザフ語学習の e-Learning コンテンツの開発
- コンピテンシーモデルを反映させた学習オブジェクトの系列化手法
- インターネット遠隔講義配信のシステム・内容・運用に関する総合的検討(e-ラーニング/e-エデュケーション/一般)
- 知能メディア指向のe-Learningシステムの実現に向けて : 学習履歴情報の知識化に基づく統合的評価機構(招待講演(1))
- 学習履歴情報に基づいた学習過程のダイジェスト化(e-Learningにおける先進的研究開発 : 知的システムなど/一般)
- 好意的発言影響度を取り入れた議論支援システムの開発(e-Learningにおける先進的研究開発 : 知的システムなど/一般)
- eラーニング環境での学習オブジェクトの適応的系列化手法に関する研究(教育工学)
- 協調活動における議論支援戦略
- CSCL環境での合意形成過程及び参加者の関与度の同定
- 協調学習支援のためのNegotiation Processのモデル化に関する研究
- Negotiation Processモデルを用いた協調学習における議論支援の効果
- 協調学習における議論支援のためのNegotiation Process Model
- Negotiation Process Modelを用いた知的議論支援に関する研究
- 議論への参加者の自己関与状態のモデル化に関する研究
- 分散環境下でのグループ学習における協調過程に関する研究
- 分散協調学習支援システムのためのNegotiationモデルの検討
- 分散環境におけるグループ学習支援のための汎用フレームワークの研究
- 協調学習におけるNegotiation Processのモデル化に関する研究
- 分散協調学習環境における学習者間のコミュニケーションの検討
- 分散協調型作業/学習環境における知的議論支援
- 協調学習支援システムのための学習者の自己関与モデルの研究
- ユーザの役割を考慮した知的議論支援システムの構築
- 知的グループ学習支援システムのための対話モデルの研究
- 分散協調環境における学習・議論支援モデルの研究
- L6038 コンピュータネットワーク上での分散協調型学習支援環境について (2)
- L6037 コンピュータネットワーク上での分散協調型学習支援環境について (I)
- "ノイズ"除去機能を有するVOD型WBT教材オーサリングシステムの開発 : アノテーション情報を用いた質的な映像圧縮手法
- "ノイズ"除去機能を有する WBT オーサリングシステムの開発
- コンテンツの環知識集合可視化による学習支援システムの開発(協調学習・CSCL/一般)
- 社会的分散活動における知識創造プロセスと人工媒介物に関する考察 : オブジェクト指向ペトリネットモデルを用いて(協調学習・CSCL/一般)
- 学習者間の相互作用活性化を目指したゲーム型学習環境の開発(ユビキタス学習環境/一般)
- 協調学習とe-Learning(協調学習とAI)
- ピアアセスメントにおける評価者特性を考慮した項目反応理論(教育システムにおけるプラットホームとコンテンツ開発論文)
- 知識共有を目的としたドキュメント操作のための協調プラットホーム(教育システムにおけるプラットホームとコンテンツ開発論文)
- 空間概念を形成させるための学習診断システム
- 学習管理システムWebClass-RAPSODYの先進機能(新しいインターネット技術の教育環境への利用/一般)
- エージェントを用いたe-Learningコース情報の知識共有システムの構築(新しいインターネット技術の教育環境への利用/一般)
- Noviceを対象としたコンピュータトラブル相談システム(先進的なe-Learning技術/一般)
- 専門重視の相互作用型eラーニング実践(先進的なe-Learning技術/一般)
- D-15-11 ネットワーク環境における遠隔自己学習支援システムの開発 : RapsodyIIの構成
- 分散協調学習基盤と学習運営システムの開発
- 分散協調環境でのコーディネータのモデル
- ネットワーク環境における分散協調型知的グループ学習支援システムの構築
- ネットワーク環境における分散協調型知的グループ学習支援システムの構築(2) : 幾何論証学習支援システムの構成とグループ学習での利用について
- 協調分散環境における学習支援システムの研究・開発(3)
- ネットワーク環境における分散協調型知的マルチメディアCAIの研究
- 協調分散学習環境における学習支援システムの研究・開発(2) : マルチ・チュータエージェントによる教育支援について
- 分散協調環境でのコーディネータのモデル
- 教育工学の現状と今後の展開
- 大学におけるeラーニング実践の知識マネージメント(情報教育と学習支援システム/一般)
- 高校普通教教「情報」におけるコースワーク評価の試み : 大学生の例を中心として
- TMSによる問題解決の説明知識の抽出と意識化
- 協調作業と個人作業を融合するオブジェクト指向ネットワーク作業環境
- 幾何定理証明における図情報に基づく推論
- 問題解決の教授を指向した解法プロセスのモデル化 : 幾何論証における図情報に基づく問題解決モデル
- 仕様記述言語Zの学習に関する診断および習得支援システム
- 知的教授システムにおける問題解決過程の定式化
- 知的教授システムにおける問題解決過程の定式化
- ITSにおける診断知識の極小化と学習者モデル診断
- 協調作業基盤機構を用いた作業支援環境
- 発話意図推定法を用いた議論支援システムの構築
- 領域知識の極小的解釈による学習者モデルの診断手法について
- 知的教授システムを指向した問題解決過程の定式化
- 授業設計のための診断支援システムの研究・開発
- インターネット環境におけるグループ学習支援システムの構築
- ネットワーク作業環境における知的グループウェアシステムの基盤機構(2)
- 議論支援システムの対話過程における発話意図の推定
- 直接操作可能なグラフィック・インタフェースを有する幾何論証知的CAIシステム
- ITSを指向した問題解決プロセスのモデル化 : 並列プロダクション・システムによる定式化
- ネットワーク作業環境における知的グループウェアシステムの基盤機構
- 議論支援システムにおける発話意図の推定
- 統合的な学習情報管理のための e-Learning システム : RAPSODY-δ
- e-Leamingのための統合的学習情報管理システム : RAPSODY-δの開発(e-Learningコンテンツの編集と再利用/一般)
- 協調学習支援環境 iDAP
- 分散討議型ハイパーメディアシステムと相互作用に基づく認知的態度変容について
- 授業設計支援システムにおける教授命題知識の構築に関する研究
- CSCLに基づく授業設計支援システムの研究・開発
- World-Wide Webを用いたグループ学習指向CAIシステムの構築
- 大学院専門科目での e-Learning 実践
- 学習目標を達成するための Web 教材の系列化に関する研究
- マルチメディアコミュニケーションと教育
- 教授タスクにおける教授エージェント間の対話モデルについて( 遠隔教育/一般)
- 仲間エージェントによる観察学習支援
- 仲間エージェントによる観察学習支援
- 仮想的協調学習環境におけるエージェント間コラボレーション
- 疑似学習者エージェントによる協調学習支援システム