資料詳細

検索条件

  • 一般件名
    美術家日本
ハイライト
  • 1 件中、 1 件目

数理議論学 利用可

若木　利子／共著 -- 東京電機大学出版局 -- 2017.3 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾜｶｷ/一般Ｈ 120379775 一般 利用可

ページの先頭へ

資料詳細

タイトル 数理議論学
書名ヨミ スウリ　ギロンガク
著者名 若木　利子 ／共著, 新田　克己 ／共著  
著者ヨミ ワカキ，トシコ , ニッタ，カツミ  
出版者 東京電機大学出版局  
出版年 2017.3
ページ数等 １９０ｐ
大きさ ２２ｃｍ
一般注記 欧文タイトル：Ａｒｇｕｍｅｎｔａｔｉｏｎ　Ｃｏｍｐｕｔａｔｉｏｎ　Ｌｏｇｉｃ　Ａｇｅｎｔ
一般件名 記号論理学  
ISBN 4-501-55550-5
ISBN13桁 978-4-501-55550-4
定価 ３６００円
問合わせ番号（書誌番号） 1120094811
NDC8版 410.96
NDC9版 410.96
著者紹介 【若木利子】東京工業大学博士（理学）　職歴　株式会社富士通研究所　富士通（株）国際情報社会科学研究所、富士通株式会社　芝浦工業大学教授（１９９９年～２０１２年）　現在芝浦工業大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです） 
著者紹介 【新田克己】東京工業大学大学院理工学研究科電子物理工学専攻博士課程修了（１９８０年）　工学博士　職歴　電子技術総合研究所　（財）新世代コンピュータ技術開発機構　現在東京工業大学情報理工学院教授　著書『人工知能入門－歴史，哲学，基礎・応用技術－』、サイエンス社、２００６年（翻訳）ほか（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
序論（数理議論学とは？；非単調推論と論理プログラミング）
第１部　抽象議論（抽象議論の理論；プリファレンスと価値を用いた抽象議論）
第２部　構造化論証を用いた議論（仮説に基づく議論；ＡＳＰＩＣ＋フレームワーク；不動点意味論と対話的証明論；プリファレンスと仮説に基づく議論）
第３部　議論の応用（意思決定と実践的議論；議論をするマルチエージェント；法的論争への数理議論学の応用）

ページの先頭へ