汎用論証支援システムEUODHILOS-IIの設計と実装

機関リポジトリ 機関リポジトリ (HANDLE) 情報処理学会 Web Site 参考文献13件

書誌事項

タイトル別名
  • ハンヨウ ロンショウ シエン システム EUODHILOS-2 ノ セッケイ
  • Design and Implementation of General Reasoning Assistant System EUODHILOS-II

この論文をさがす

説明

EUODHILOS-IIは,PSI/SIMPOS上に実現されたBUODHILOSの可搬性と利用可能性を高めるために,GNU Emacs上に新たに作られた汎用の論証支援システムである.この論文では,まずEUODHIILOS-IIを広く普及しているGNU Emacs上に設計実現する際に問題となった諸点を議論する.次いで,EUODHILOS-IIの主要な構成要素である論理系定義,証明構築,証明指向のインタフェースに含まれる特徴的な仕様設計と実現方法について述べる.最後に,EUODHILOS-IIの利点をまとめ,設計思想が類似している他のシステムとの比較を与える.

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.

収録刊行物

参考文献 (13)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ