数理議論学
著者
書誌事項
数理議論学
東京電機大学出版局, 2017.3
- タイトル別名
-
Argumentation computation logic agent
- タイトル読み
-
スウリ ギロン ガク
大学図書館所蔵 件 / 全78件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[182]-186
内容説明・目次
目次
- 序論(数理議論学とは?;非単調推論と論理プログラミング)
- 第1部 抽象議論(抽象議論の理論;プリファレンスと価値を用いた抽象議論)
- 第2部 構造化論証を用いた議論(仮説に基づく議論;ASPIC+フレームワーク;不動点意味論と対話的証明論;プリファレンスと仮説に基づく議論)
- 第3部 議論の応用(意思決定と実践的議論;議論をするマルチエージェント;法的論争への数理議論学の応用)
「BOOKデータベース」 より