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

スポンサーリンク

概要

• 論文の詳細を見る

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

• 一般社団法人情報処理学会の論文
• 1997-01-15

著者

• 南 俊朗

  (株)富士通研究所パーソナルシステム研究所ネットメディア研究センター

• 南 俊朗

  九州大学附属図書館研究開発室

• 大谷 武

  九州大学システム情報科学研究科情報理学専攻

• 大谷 武

  株式会社富士通研究所

• 沢村 一

  新潟大学工学部情報工学科

• 南 俊朗

  株式会社富士通研究所パーソナルシステム研究所

• 沢村 一

  新潟大学

• Sawamura Hajime

  Faculty Of Engeneering Niigata University

• 沢村 一

  新潟大学工学部 情報工学科

関連論文

• セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
• 口コミ機構のコスト制御法
• エージェント社会における資源管理
• 論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
• BS-6-1 ID管理システムの高度化に向けて(BS-6.ネットワーク情報収集およびセンシングとそのネットワーク制御への活用に関する技術,シンポジウムセッション)
• 5K-4 キーワード利用傾向に基づく発想検索支援
• 検索ログを用いたキーワード推薦エージェント
• SASS : Web文書の発送検索支援システム
• 参照履歴を用いたWeb文書推薦方法の提案
• On Designing the Method of Syntax Descriptions for Logics
• 論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現
• 論証プログラミング
• 口コミ機構のコスト制御法
• 口コミによる情報伝達を利用した情報資源管理
• エージェント社会における資源管理
• 汎用論証支援システムEUODHILOS-IIの設計と実装
• 汎用論証支援システム EUODHILOS の応用と評価
• 汎用論証支援システム EUODHlLOS の応用と評価
• 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
• イメージによる図書目録カード検索システム : 遡及入力問題の一解決法
• イメージによる図書目録カード検索システム : 遡及入力問題の一解決法
• ポリシーベースで動作するサービスコーディネーションフレームワークの一検討(通信品質,ユビキタス/ブロードバンドネットワークの品質とメディア品質,品質評価モデル,信頼性とセキュリティ,コンテンツ,一般)
• 証明木パターン記述言語としてのTactics
• 関連度を用いたWeb文書のナビゲーション
• セマンティック Web 推論と議論エージェント推論の統合
• 論証支援システムのための論理式エディタ
• 多値議論の論理LMAのテトラレンマへの東洋的特殊化(「日本文化と知識処理」及び一般)
• 図を用いた推論の複雑性に関する考察
• 図を用いた推論法とその複雑性に関する考察
• 論証支援システムのための証明支援 : 思考シートによる証明方法
• 回覧板プロトコルを用いたスケジュール調整エージェント構築に関する一考察
• 記号創成に基くニューラルネット様生物機械の創成:遺伝暗号およびその他の記号システムの起源と進化についての統一理論の構築
• Neural-Network-like Biomachinogenesis via Semeiogenesis: Origin of Genetic Codes and Other Semeiotic Systems (数理モデル化と問題解決 研究報告)
• 議論するエージェント : 論理から議論へ
• 議論するエイジェントシステム
• 準無矛盾論理に基づく議論フレームワーク
• 議論を計算とコミュニケーションの基本メカニズムとするエージェントシステム(システムLSIの設計技術と設計自動化)
• 議論の論理と議論するマルチエージェント : 論理から議論へ (「マルチエージェント技術における新しい可能性」)
• "議論の論理と議論するマルチエージェント--論理から議論へ"への補遺 (AIシンポジウム(第16回) e-learningのintelligent化に向けて) -- (パネル討論「e-learningのintelligent化に向けて」)
• 妥協/譲歩機能をもつ議論による合意形成
• 議論によって合意形成するエージェントシステム
• モバイル可能な議論するエージェントシステム
• 2種類の否定を持つ知識ベースからの議論の作成と実装
• マルチエージェントシステムのための通信プロトコルとその効率分析
• Tactics/Tacticalsを利用したアナロジーによる証明法について
• HOLによるRelevant logicの定理証明機
• 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
• 論証支援のための証明コンストラクタ

もっと見る 閉じる

スポンサーリンク