WEKO3
-
RootNode
アイテム
汎用論証支援システムEUODHILOS-IIの設計と実装
http://hdl.handle.net/10191/26117
http://hdl.handle.net/10191/261176fe7e15f-f13e-4338-8d41-1d51271361b4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
110002721720.pdf (1.3 MB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2014-03-11 | |||||
| タイトル | ||||||
| タイトル | 汎用論証支援システムEUODHILOS-IIの設計と実装 | |||||
| タイトル | ||||||
| タイトル | 汎用論証支援システムEUODHILOS-IIの設計と実装 | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| その他のタイトル | ||||||
| その他のタイトル | Design and Implementation of General Reasoning Assistant System EUODHILOS-II | |||||
| 著者 |
大谷, 武
× 大谷, 武× 沢村, 一× 南, 俊朗 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 40431 | |||||
| 姓名 | Ohtani, Takeshi | |||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 40432 | |||||
| 姓名 | Sawamura, Hajime | |||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 40433 | |||||
| 姓名 | Minami, Toshiro | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | EUODHILOS-IIは,PSI/SIMPOS上に実現されたBUODHILOSの可搬性と利用可能性を高めるために,GNU Emacs上に新たに作られた汎用の論証支援システムである.この論文では,まずEUODHIILOS-IIを広く普及しているGNU Emacs上に設計実現する際に問題となった諸点を議論する.次いで,EUODHILOS-IIの主要な構成要素である論理系定義,証明構築,証明指向のインタフェースに含まれる特徴的な仕様設計と実現方法について述べる.最後に,EUODHILOS-IIの利点をまとめ,設計思想が類似している他のシステムとの比較を与える. | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | EUODHILOS-II is a general reasoning assistant system for various logics built on top of GNU Emacs, aiming at highly portable and widely usable version of EUODHILOS built on PSI/SIMPOS. This paper first argues about the issues which raised in designing and implementing EUODHILOS-II on the widely prevailing platform GNU Emacs. Then, we describe the specification and the implementation methods of unique features in logic definition, proof construction and reasoning-oriented interface which are the main components of EUODUILOS-II. The paper concludes with discussing some advantages of EUODHJLOS-II and comparing it with other systems which have the similar design principle. | |||||
| 書誌情報 |
情報処理学会論文誌 en : 情報処理学会論文誌 巻 38, 号 1, p. 9-22, 発行日 1997-01 |
|||||
| 出版者 | ||||||
| 出版者 | 情報処理学会 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 03875806 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00116647 | |||||
| 権利 | ||||||
| 権利情報 | 一般社団法人情報処理学会 | |||||
| 権利 | ||||||
| 権利情報 | 本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| 異版である | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/110002721720 | |||||
