株式会社極東書店トップ ＞ 商品一覧 ＞ Formal Methods in Artificial Intelligence.
商品詳細
Formal Methods in Artificial Intelligence.
・ISBN 978-0-521-42421-9 paper GB£ 41.00
￥12,988.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Ramsay, Allan M., |
|---|---|
| シリーズ | (Cambridge Tracts in Theoretical Computer Science) |
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 1991 |
| ページ数 | 292 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A00-55461＞ |
解説
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.