論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
論理学の計算機科学、中でもソフトウェア科学や人工知能の分野で果たしてきた役割はよく知られていることである.他方、議論学は、1970年代頃より、それまでの形式的・数学的論理学では無視あるいは避けられてきた、広義の(非形式的)論理学(虚偽論, 修辞学, を含めて)を研究する分野として、人文社会科学の主に哲学、言語学、社会学などの分野で開始されてきた.最近、真のあるいは実際的な論理学であるといってもよいこの「議論学」が、計算機科学においても注目されてきた.特に、この10年世界的に精力的に研究が推進されているエージェント指向コンピューティングの分野では、エージェント間の通信、相互作用に基づく情報処理の有効な手段あるいは基礎として、その注目度は高い.本講演では、(1)論理学と議論学を改めて比較検討し、(2)議論が計算機科学における今後の有望な通信・計算機構となることを論じ、(3)議論の形式的モデル、特に不確定情報下における多値議論の論理とその応用について述べ、(4)今後の展望や世界的な研究動向を紹介する.また、議論に関係する周辺の話題として、弁証法的議論、西洋対東洋的議論、議論に関するe-learningシステムなどについても触れる.
- 2005-05-24
著者
関連論文
- セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
- 論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
- On Designing the Method of Syntax Descriptions for Logics
- 論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現
- 論証プログラミング
- 汎用論証支援システムEUODHILOS-IIの設計と実装
- 汎用論証支援システム EUODHILOS の応用と評価
- 汎用論証支援システム EUODHlLOS の応用と評価
- 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
- セマンティック 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 (「人工知能と定理証明システム」)
- 論証支援のための証明コンストラクタ