汎用論証支援システム

• 資料種別: 博士論文
• タイトル: 汎用論証支援システム
• 著者・編者: 南, 俊朗
• 著者標目: 南, 俊朗 ミナミ, トシロウ
• 出版年月日等: 1999-03-25
• 出版年（W3CDTF）: 1999-03-25
• 並列タイトル等: General-Purpose Reasoning Assistant System
• 授与機関名: 九州大学
• 授与年月日: 1999-03-25
• 報告番号: 甲第4789号
• 学位: 博士（理学）; DOCTOR OF SCIENCE
• 本文の言語コード: eng
• 対象利用者: 一般
• 一般注記: 主1-参1; システム情報
• DOI: 10.11501/3150887
• オンライン閲覧公開範囲: インターネット公開
• 関連情報（URI）: URI; https://dl.ndl.go.jp/info:ndljp/pid/3150887
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 九州大学 : 九州大学学術情報リポジトリ

目次

Abstract Contents 1 Introduction 2 Concept of General-Purpose Reasoning Assistant System 3 Design and Implementation 4 Language System Specification 5 Derivation System Specification 6 Proof Construction 7 Experiments: Application Examples 8 Application to Knowledge Acquisition Support Systems 9 System Comparison 10 Conclusion Bibliography