資料詳細

【図書】 数理議論学

若木利子／共著, 新田克己／共著 -- 東京電機大学出版局 -- ２０１７．３ -- ２２ｃｍ -- １９０ｐ

タイトル	数理議論学
著者名等	若木利子／共著, 新田克己／共著
出版	東京電機大学出版局２０１７．３
大きさ等	２２ｃｍ１９０ｐ
分類	410.96
件名	記号論理学
注記	欧文タイトル：Ａｒｇｕｍｅｎｔａｔｉｏｎ　Ｃｏｍｐｕｔａｔｉｏｎ　Ｌｏｇｉｃ　Ａｇｅｎｔ
注記	文献あり　索引あり
著者紹介	【若木利子】東京工業大学博士（理学）　職歴　株式会社富士通研究所　富士通（株）国際情報社会科学研究所、富士通株式会社　芝浦工業大学教授（１９９９年～２０１２年）　現在芝浦工業大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）
目次	序論（数理議論学とは？；非単調推論と論理プログラミング）；第１部　抽象議論（抽象議論の理論；プリファレンスと価値を用いた抽象議論）；第２部　構造化論証を用いた議論（仮説に基づく議論；ＡＳＰＩＣ＋フレームワーク；不動点意味論と対話的証明論；プリファレンスと仮説に基づく議論）；第３部　議論の応用（意思決定と実践的議論；議論をするマルチエージェント；法的論争への数理議論学の応用）
ISBN(13)、ISBN	978-4-501-55550-4　　 4-501-55550-5
書誌番号	1113468608

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map		410.9	一般書	利用可	-	2058410007