<図書>
Features and fluents : representation of knowledge about dynamical systems
| 責任表示 | Erik Sandewall |
|---|---|
| シリーズ | Oxford logic guides ; 30 |
| データ種別 | 図書 |
| 出版情報 | Oxford : Clarendon Press New York : Oxford University Press , 1994- |
| 本文言語 | 英語 |
| 大きさ | v. ; 25 cm |
| 概要 | Techniques for reasoning about actions and change in the physical world are among the classic research topics in artificial intelligence, motivated by the needs of autonomous robots which must be able...to anticipate future developments and analyze problems. This monograph presents a novel methodology for such reasoning. It is based on a systematic approach for identifying the exact range of applicability of a given logic, as opposed to traditional methods based on proposing new logic variants supported by episodical examples. For a number of previously proposed logics, as well as for some new ones, this work characterizes exactly the class of those reasoning tasks where the logic results in the intended set of conclusions, and the class were it does not. The book will be a necessary resource for researchers in knowledge representation, cognitive robotics, and intelligent control. It can also be recommended as a graduate-level text in these fields, especially in light of its emphasis on a strict and systematic methodology. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
V. 1. | 理系図3F 数理独自 | SAND/40/1-1 | 1994 |
|
068222195007207 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | *Sandewall, Erik |
| 件 名 | LCSH:Knowledge representation (Information theory) LCSH:Artificial intelligence |
| 分 類 | LCC:Q387 DC20:006.3/3 |
| 書誌ID | 1000301112 |
| ISBN | 0198538456 |
| NCID | BA24744130 |
| 巻冊次 | v. 1 ; ISBN:0198538456 ; PRICE:£49.50 |
| 登録日 | 2009.09.11 |
| 更新日 | 2009.11.02 |
Mendeley出力