数理議論学
Author(s)
Bibliographic Information
数理議論学
東京電機大学出版局, 2017.3
- Other Title
-
Argumentation computation logic agent
- Title Transcription
-
スウリ ギロン ガク
Available at / 78 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[182]-186
Description and Table of Contents
Table of Contents
- 序論(数理議論学とは?;非単調推論と論理プログラミング)
- 第1部 抽象議論(抽象議論の理論;プリファレンスと価値を用いた抽象議論)
- 第2部 構造化論証を用いた議論(仮説に基づく議論;ASPIC+フレームワーク;不動点意味論と対話的証明論;プリファレンスと仮説に基づく議論)
- 第3部 議論の応用(意思決定と実践的議論;議論をするマルチエージェント;法的論争への数理議論学の応用)
by "BOOK database"