Mendeley出力
＜図書＞
Logic-based knowledge representation
| 責任表示 | Peter Jackson, Han Reichgelt, Frank van Harmelen |
|---|---|
| シリーズ | MIT Press series in logic programming |
| データ種別 | 図書 |
| 出版情報 | Cambridge, Mass. : MIT Press , c1989 |
| 本文言語 | 英語 |
| 大きさ | ix, 255 p. ; 24 cm |
| 概要 | This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the...Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages. The editors introduce these hypotheses and present the arguments in their favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency. The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference. Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 007.1/J 11 | 1989 |
|
068252190004223 |
|
書誌詳細
| 一般注記 | Bibliography: p. [243]-252 Includes index |
|---|---|
| 著者標目 | *Jackson, Peter, 1948- Reichgelt, Han Van Harmelen, Frank |
| 件 名 | LCSH:Expert systems (Computer science) LCSH:Logic programming |
| 分 類 | LCC:QA76.76.E95 DC19:006.3/3 |
| 書誌ID | 1001063034 |
| ISBN | 026210038X |
| NCID | BA06867467 |
| 巻冊次 | ISBN:026210038X |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |