数理議論学
著者
書誌事項
数理議論学
東京電機大学出版局, 2017.3
- タイトル別名
-
Argumentation computation logic agent
- タイトル読み
-
スウリ ギロン ガク
電子リソースにアクセスする 全1件
-
-
数理議論学
2017.3.
-
数理議論学
大学図書館所蔵 全78件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[182]-186
内容説明・目次
目次
- 序論(数理議論学とは?;非単調推論と論理プログラミング)
- 第1部 抽象議論(抽象議論の理論;プリファレンスと価値を用いた抽象議論)
- 第2部 構造化論証を用いた議論(仮説に基づく議論;ASPIC+フレームワーク;不動点意味論と対話的証明論;プリファレンスと仮説に基づく議論)
- 第3部 議論の応用(意思決定と実践的議論;議論をするマルチエージェント;法的論争への数理議論学の応用)
「BOOKデータベース」 より