テキストからの数学知識の獲得
スポンサーリンク
概要
- 論文の詳細を見る
数学知識ベースシステムODISを対象に、数学のテキストから知識を獲得する方法について検討する。本論文では、まずODISにおける定義・定理知識の形式について説明する。次に、私たちが対象とする文章の構造について述べる。そして、ODIS言語の構成要素に対応する自然言語表現を述語形式を媒介としてODIS言語に変換する方法を説明する。最後に、定義・定理知識を獲得する方法について説明する。本研究では、初等解析学のテキストを題材に研究を行なっている。
- 1997-01-21
著者
関連論文
- テキストからの数学知識の獲得
- エキスパートシステムの開発のための再利用可能メソッドライブラリの設計と実装 (「オントロジーの基礎と応用」)
- エキスパートシステム開発支援のための再利用可能部品ライブラリの構築
- エキスパートシステムの性能向上のための仕様変更方法 (テーマ:「スケジューリングとAI」および一般)
- 再利用可能なメソッドライブラリを利用したES開発支援環境
- エキスパ-トシステムのための仕様と実装の相互運用環境
- モーバイルコンピューティングシステムモデルの提案
- 定義階層構造に基づく問題解決階層の決定
- EVALPに基づく交通信号制御
- EVALPに基づく交通信号制御(セッション6,ITS情報処理・一般)
- EVALPに基づく交通信号制御(セッション6)(ITS情報処理・一般)
- 仮定にもとづく知識管理システムの関連論理による形式化
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3,ITS情報処理・一般)
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3)(ITS情報処理・一般)
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
- ディフィージブル義務論理のベクトル真理値付き論理プログラムへの変換