著者紹介

内容

目次

序論 第1章　数理議論学とは？ 　1.1　議論学 　1.2　議論と論理学 　1.3　議論とトゥールミン図式 　1.4　議論のプロトコル 　1.5　デフィージブル推論 　1.6　本書の構成 第2章　非単調推論と論理プログラミング 　2.1　非単調推論研究と数理議論学の誕生 　2.2　非単調推論 　2.3　標準論理プログラムと宣言的意味論 　2.4　拡張選言プログラムと宣言的意味論 第I部　抽象議論 第3章　抽象議論の理論 　3.1　議論フレームワークとDungの議論意味論 　3.2　許容可能性に基づく新たな議論意味論 　3.3　無衝突性に基づく新たな議論意味論 　3.4　議論の意味論vs.論理プログラムの意味論 　3.5　抽象議論意味論のまとめ 　3.6　ラべリングによる議論意味論の表現 　3.7　解集合プログラミングと議論意味論の計算 第4章　プリファレンスと価値を用いた抽象議論 　4.1　プリファレンスの種類と分類 　4.2　プリファレンス付き議論フレームワーク 　4.3　価値に基づく議論フレームワーク 　4.4　動的プリファレンスと拡張議論フレームワーク 　4.5　拡張の無衝突性保証の問題 第II部　構造化論証を用いた議論 第5章　仮説に基づく議論 　5.1　仮説に基づく議論フレームワーク：ABA 　5.2　ABAの論争木と論争導出の証明手続き 　5.3　ABAにおける議論意味論の無矛盾性の保証 第6章　ASPIC+フレームワーク 　6.1　ASPIC+における議論の理論 　6.2　ASPIC+の議論意味論 　6.3　仮説に基づくABAとの関係 　6.4　ASPIC+議論意味論の無矛盾性の保証 第7章　不動点意味論と対話的証明論 　7.1　議論の対話と不動点意味論 　7.2　不動点意味論 　7.3　対話的証明論 第8章　プリファレンスと仮説に基づく議論 　8.1　プリファレンス付きABA 　8.2　p_ABA議論意味論の無矛盾性の保証 第III部　議論の応用 第9章　意思決定と実践的議論 　9.1　プリファレンスを用いた意思決定 　9.2　プリファレンスを用いた実践的議論 第10章　議論をするマルチエージェント 　10.1　マルチエージェントと議論フレームワーク 　10.2　セマンティックWeb推論と議論エージェント推論システムの統合 第11章　法的論争への数理議論学の応用 　11.1　法律の知識源 　11.2　法律の推論モデル 　11.3　法律論争と議論フレームワーク 付録 　付録A：計算の複雑さ 　付録B：優先度付き論理プログラム 参考文献 索引