WEKO3
アイテム
汎用論証支援システムEUODHILOS-IIの設計と実装
http://hdl.handle.net/10191/26117
http://hdl.handle.net/10191/261176fe7e15f-f13e-4338-8d41-1d51271361b4
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2014-03-11 | |||||
タイトル | ||||||
タイトル | 汎用論証支援システムEUODHILOS-IIの設計と実装 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | 汎用論証支援システムEUODHILOS-IIの設計と実装 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
その他のタイトル | ||||||
その他のタイトル | Design and Implementation of General Reasoning Assistant System EUODHILOS-II | |||||
著者 |
大谷, 武
× 大谷, 武× 沢村, 一× 南, 俊朗 |
|||||
著者別名 | ||||||
識別子 | 40431 | |||||
識別子Scheme | WEKO | |||||
姓名 | Ohtani, Takeshi | |||||
著者別名 | ||||||
識別子 | 40432 | |||||
識別子Scheme | WEKO | |||||
姓名 | Sawamura, Hajime | |||||
著者別名 | ||||||
識別子 | 40433 | |||||
識別子Scheme | WEKO | |||||
姓名 | 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 |