Cargando…
Knowledge and inference /
Knowledge and Inference discusses an important problem for software systems: How do we treat knowledge and ideas on a computer and how do we use inference to solve problems on a computer? The book talks about the problems of knowledge and inference for the purpose of merging artificial intelligence...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Japonés |
| Publicado: |
Boston :
Academic Press : Harcourt Brace Jovanovich,
�1990.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn643884711 | ||
| 003 | OCoLC | ||
| 005 | 20231117033150.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100626s1990 maua ob 001 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d OPELS |d E7B |d YDXCP |d OCLCQ |d UKAHL |d VLY |d OCLCA |d OCLCQ |d UAB |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 301123727 |a 899000013 |a 974615349 |a 974670516 |a 1100951300 |a 1162055010 |a 1257382647 | ||
| 020 | |a 9780125136624 |q (electronic bk.) | ||
| 020 | |a 0125136625 |q (electronic bk.) | ||
| 020 | |a 9781483267067 |q (e-book) | ||
| 020 | |a 1483267067 | ||
| 035 | |a (OCoLC)643884711 |z (OCoLC)301123727 |z (OCoLC)899000013 |z (OCoLC)974615349 |z (OCoLC)974670516 |z (OCoLC)1100951300 |z (OCoLC)1162055010 |z (OCoLC)1257382647 | ||
| 041 | 1 | |a eng |h jpn | |
| 042 | |a dlr | ||
| 050 | 4 | |a Q335 |b .N3413 1990 | |
| 082 | 0 | 4 | |a 006.3 |2 20 |
| 100 | 1 | |a Nagao, Makoto, |d 1936-2021. | |
| 240 | 1 | 0 | |a Chishiki to suiron. |l English |
| 245 | 1 | 0 | |a Knowledge and inference / |c Makoto Nagao ; translated by Richard Weyrauch and Yasuko Kitajima. |
| 260 | |a Boston : |b Academic Press : |b Harcourt Brace Jovanovich, |c �1990. | ||
| 300 | |a 1 online resource (xv, 304 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 297-300) and index. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Knowledge and Inference; Copyright Page; Table of Contents; Preface; Reader's Guide; Chapter 1. What Is Knowledge?; 1.1 How Knowledge Is Seen in Philosophy; 1.2 Method in Natural Science; 1.3 Knowledge in Artificial Intelligence; 1.4 Factual Knowledge; 1.5 Inference Knowledge; Summary; Key Words; Exercises; Chapter 2. Factual Knowledge and Its Organization; 2.1 The Organization of Document Information; 2.2 Organization of Factual Knowledge; 2.3 Thesaurus; 2.4 Storage Structure of Information; 2.5 Information Retrieval; 2.6 Mathematical Theory of Classification; Summary; Key Words | |
| 505 | 8 | |a ExercisesChapter 3. Inferential Knowledge and Problem-Solving (I); 3.1 State-Space Representation of a Problem; 3.2 Search Tree; 3.3 Programs for Game-Tree Search; 3.4 Graph Search; 3.5 Characteristics of Problem-Solving Using State-Representations; 3.6 Discovery of an Algorithm; Summary; Key Words; Exercises; Chapter 4. Inferential Knowledge and Problem-Slving (II); 4.1 Use of Heuristic Knowledge; 4.2 Finding a Solution by the Decomposition of a Problem; 4.3 Blackboard Model; 4.4 Knowledge as a Constraint; 4.5 Mutual Model; Summary; Key Words; Exercises | |
| 505 | 8 | |a Chapter 5. Inference Using Symbolic Logic5.1 Expressions of Rules Using Symbolic Logic; 5.2 Proof Using Forward and Backward Reasoning; 5.3 Proof Using the Resolution Principle; 5.4 Forms of Questions; 5.5 Logical Representation of a Database; 5.6 Inference in Changing Situations; 5.7 Other Inference Methods; Summary; Key words; Exercises; Chapter 6. Knolwedge Representation and Question-Answering; 6.1 Semantic Networks; 6.2 Frames and Scripts; 6.3 Dialogue Model; Summary; Key Words; Exercises; Chapter 7. Expert Systems; 7.1 Features of Expert Systems; 7.2 Production Systems | |
| 505 | 8 | |a 7.3 A Program for Forward Reasoning7.4 A Program for Backward Reasoning; 7.5 Reliability of Inference; 7.6 Dialogue with a User; 7.7 Characteristics of an Expert System; Summary; Key Words; Exercises; Answers to Exercises; Recommended Books; Index | |
| 520 | |a Knowledge and Inference discusses an important problem for software systems: How do we treat knowledge and ideas on a computer and how do we use inference to solve problems on a computer? The book talks about the problems of knowledge and inference for the purpose of merging artificial intelligence and library science. The book begins by clarifying the concept of """"knowledge"""" from many points of view, followed by a chapter on the current state of library science and the place of artificial intelligence in library science. Subsequent chapters cover central topics in the artificial intellig. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Knowledge, Theory of. | |
| 650 | 0 | |a Inference. | |
| 650 | 2 | |a Artificial Intelligence |0 (DNLM)D001185 | |
| 650 | 6 | |a Intelligence artificielle. |0 (CaQQLa)201-0008626 | |
| 650 | 6 | |a Th�eorie de la connaissance. |0 (CaQQLa)201-0004936 | |
| 650 | 6 | |a Inf�erence (Logique) |0 (CaQQLa)201-0023261 | |
| 650 | 7 | |a artificial intelligence. |2 aat |0 (CStmoGRI)aat300251574 | |
| 650 | 7 | |a epistemology. |2 aat |0 (CStmoGRI)aat300054288 | |
| 650 | 7 | |a Artificial intelligence |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Inference |2 fast |0 (OCoLC)fst00972355 | |
| 650 | 7 | |a Knowledge, Theory of |2 fast |0 (OCoLC)fst00988194 | |
| 653 | 0 | |a Artificial intelligence | |
| 776 | 0 | 8 | |i Print version: |a Nagao, Makoto, 1936- |s Chishiki to suiron. English. |t Knowledge and inference. |d Boston : Academic Press : Harcourt Brace Jovanovich, �1990 |w (DLC) 90004195 |w (OCoLC)21162560 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780125136624 |z Texto completo |