|
「人間の立場」で情報を扱う情報処理技術
|
赤間 世紀・宮本 定明 共著
2008年 3月 1日発売
A5判
256ページ
定価 \2,750（本体 \2,500）
|
|
ISBN978-4-7775-1345-1 C3004 \2500E
|
 |
≪The Logic of Soft Computing≫
「ソフト・コンピューティング」とは、人間の立場で情報を扱う情報処理技術の総称です。
現在のコンピュータ技術は、歴史的経緯上、「ハード・コンピューティング」に基づいています。コンピュータ内部では、2進数で表現された情報が「ブール代数」で計算されています。このシンプルな計算モデルによって、現在のコンピュータ技術が確立されました。
しかし、コンピュータで、「複雑」「膨大」「あいまい」な情報を、人間と同様に処理することが期待されるようになり、「不正確性」「不確実性」「部分真理」を扱う、さまざまな「ソフト・コンピューティング」の手法が注目されています。
本書は、「ソフト・コンピューティング」の基礎となる、「ロジック」を解説します。
|
|
| ■ 主な内容 ■ |
|
まえがき
| [1.1] ソフト・コンピューティングとは |
[1.2] ソフト・コンピューティングの手法 |
[1.3] ソフト・コンピューティングの応用 |
| [2.1] ロジックと日常言語 |
[2.2] ロジックとソフト・コンピューティング |
|
| [3.1] 命題論理 |
[3.2] 述語論理 |
[3.3] ブール代数 |
| [3.4] 論理と計算 |
|
|
| [4.1] 古典論理から非古典論理へ |
[4.2] 様相論理 |
[4.3] 時相論理 |
| [4.4] 認識論理 |
[4.5] その他の様相論理 |
|
| [5.1] 自然言語意味論 |
[5.2] プログラム理論 |
[5.3] 非単調推論 |
| [5.4] マルチ・エージェント |
|
|
| [6.1] ３値論理 |
[6.2] ４値論理 |
[6.3] 無限値論理 |
| [7.1] ファジィ集合 |
[7.2] ファジィ論理 |
[7.3] 可能性論理 |
| [8.1] ラフ集合 |
[8.2] ラフ集合と様相論理 |
[8.3] ラフ集合の応用 |
| [9.1] 確率論理 |
[9.2] DS理論 |
[9.3] 意志決定の論理 |
参考文献
索引
※ 内容が一部異なる場合があります。発売日は、東京の発売日であり、地域によっては１〜２日程度遅れることがあります。あらかじめご了承ください。
|
|
|
|
