Cargando…
Logical foundations of artificial intelligence /
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Los Altos, Calif. :
Morgan Kaufmann,
[1987]
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn885208766 | ||
| 003 | OCoLC | ||
| 005 | 20231120111711.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140804s1987 caua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d OCLCE |d OCLCF |d E7B |d OPELS |d YDXCP |d EBLCP |d DEBSZ |d MERUC |d OCLCQ |d OCLCO |d OCLCA |d OCLCQ |d OCLCA |d OCLCQ |d LUN |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 570896073 |a 609720089 |a 886110033 |a 974618074 |a 1112432063 |a 1145352260 | ||
| 020 | |a 9780128015544 |q (electronic bk.) | ||
| 020 | |a 0128015543 |q (electronic bk.) | ||
| 020 | |a 0934613311 |q (electronic bk.) | ||
| 020 | |a 9780934613316 |q (electronic bk.) | ||
| 035 | |a (OCoLC)885208766 |z (OCoLC)570896073 |z (OCoLC)609720089 |z (OCoLC)886110033 |z (OCoLC)974618074 |z (OCoLC)1112432063 |z (OCoLC)1145352260 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q335 |b .G37 1987eb | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3 |2 22 |
| 084 | |a 54.72 |2 bcl | ||
| 084 | |a *68T15 |2 msc | ||
| 084 | |a 03B10 |2 msc | ||
| 084 | |a 03B35 |2 msc | ||
| 084 | |a 68-02 |2 msc | ||
| 084 | |a 68T99 |2 msc | ||
| 084 | |a ES 900 |2 rvk | ||
| 084 | |a ST 300 |2 rvk | ||
| 084 | |a ST 285 |2 rvk | ||
| 084 | |a DAT 700f |2 stub | ||
| 100 | 1 | |a Genesereth, Michael R., |d 1948- | |
| 245 | 1 | 0 | |a Logical foundations of artificial intelligence / |c Michael R. Genesereth and Nils J. Nilsson. |
| 264 | 1 | |a Los Altos, Calif. : |b Morgan Kaufmann, |c [1987] | |
| 264 | 4 | |c �1987 | |
| 300 | |a 1 online resource (xviii, 405 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 363-400) and index. | ||
| 588 | 0 | |a Print version record. | |
| 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 | |
| 520 | |a Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic. | ||
| 505 | 0 | |a Front Cover; Logical Foundations of Artificial Intelligence; Copyright Page; Table of Contents; Typographical Conventions; Chapter 1. Introduction; 1.1 Bibliographical and Historical Remarks; Exercises; Chapter 2. Declarative Knowledge; 2.1 Conceptualization; 2.2 Predicate Calculus; 2.3 Semantics; 2.4 Blocks World Example; 2.5 Circuits Example; 2.6 Algebraic Examples; 2.7 List Examples; 2.8 Natural-Language Examples; 2.9 Specialized Languages; 2.10 Bibliographical and Historical Remarks; Exercises; Chapter 3. Inference; 3.1 Derivability; 3.2 Inference Procedures; 3.3 Logical Implication. | |
| 505 | 8 | |a 3.4 Provability3.5 Proving Provability; 3.6 Bibliographical and Historical Remarks; Exercises; Chapter 4. Resolution; 4.1 Clausal Form; 4.2 Unification; 4.3 Resolution Principle; 4.4 Resolution; 4.5 Unsatisfiability; 4.6 True-or-False Questions; 4.7 Fill-in-the-Blank Questions; 4.8 Circuits Example; 4.9 Mathematics Example; 4.10 Soundness and Completeness; 4.11 Resolution and Equality; 4.12 Bibliographical and Historical Remarks; Exercises; Chapter 5. Resolution Strategies; 5.1 Deletion Strategies; 5.2 Unit Resolution; 5.3 Input Resolution; 5.4 Linear Resolution; 5.5 Set of Support Resolution. | |
| 505 | 8 | |a 5.6 Ordered Resolution5.7 Directed Resolution; 5.8 Sequential Constraint Satisfaction; 5.9 Bibliographical and Historical Remarks; Exercises; Chapter 6. Nonmonotonic Reasoning; 6.1 The Closed-World Assumption; 6.2 Predicate Completion; 6.3 Taxonomic Hierarchies and Default Reasoning; 6.4 Circumscription; 6.5 More General Forms of Circumscription; 6.6 Default Theories; 6.7 Bibliographical and Historical Remarks; Exercises; Chapter 7. Induction; 7.1 Induction; 7.2 Concept Formation; 7.3 Experiment Generation; 7.4 Bibliographical and Historical Remarks; Exercises. | |
| 505 | 8 | |a Chapter 8. Reasoning with Uncertain Beliefs8.1 Probabilities of Sentences; 8.2 Using Bayes' Rule in Uncertain Reasoning; 8.3 Uncertain Reasoning in Expert Systems; 8.4 Probabilistic Logic; 8.5 Probabilistic Entailment; 8.6 Computations Appropriate for Small Matrices; 8.7 Dealing with Large Matrices; 8.8 Probabilities Conditioned on Specific Information ; 8.9 Bibliographical and Historical Remarks; Exercises; Chapter 9. Knowledge and Belief; 9.1 Preliminaries; 9.2 Sentential Logics of Belief; 9.3 Proof Methods; 9.4 Nested Beliefs; 9.5 Quantifying-in; 9.6 Proof Methods for Quantified Beliefs. | |
| 505 | 8 | |a 9.7 Knowing What Something Is9.8 Possible-Worlds Logics; 9.9 Properties of Knowledge; 9.10 Properties of Belief; 9.11 Group Knowledge; 9.12 Equality, Quantification, and Knowledge; 9.13 Bibliographical and Historical Remarks; Exercises; Chapter 10. Metaknowledge and Metareasoning; 10.1 Metalanguage; 10.2 Clausal Form; 10.3 Resolution Principle; 10.4 Inference Procedures; 10.5 Derivability and Belief; 10.6 Metalevel Reasoning; 10.7 Bilevel Reasoning; 10.8 Reflection; 10.9 Bibliographical and Historical Remarks; Exercises; Chapter 11. State and Change; 11.1 States; 11.2 Actions. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 2 | |a Artificial Intelligence |0 (DNLM)D001185 | |
| 650 | 6 | |a Intelligence artificielle. |0 (CaQQLa)201-0008626 | |
| 650 | 7 | |a artificial intelligence. |2 aat |0 (CStmoGRI)aat300251574 | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a K�unstliche Intelligenz |2 gnd |0 (DE-588)4033447-8 | |
| 650 | 7 | |a Mathematische Logik |2 gnd |0 (DE-588)4037951-6 | |
| 650 | 1 | 7 | |a Kunstmatige intelligentie. |2 gtt |
| 650 | 1 | 7 | |a Wiskundige logica. |2 gtt |
| 650 | 7 | |a Intelligence artificielle. |2 ram | |
| 700 | 1 | |a Nilsson, Nils J., |d 1933-2019. | |
| 776 | 0 | 8 | |i Print version: |a Genesereth, Michael R., 1948- |t Logical foundations of artificial intelligence |z 0934613311 |w (DLC) 87005461 |w (OCoLC)15221563 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780934613316 |z Texto completo |