Cargando…
The Frame problem in artificial intelligence : proceedings of the 1987 workshop, April 12-15, 1987, Lawrence, Kansas /
The Frame Problem in Artificial Intelligence.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Los Altos, Calif. :
Morgan Kaufmann Publishers,
�1987.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn567946931 | ||
| 003 | OCoLC | ||
| 005 | 20231117032949.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100324s1987 cau ob 101 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCO |d OCLCF |d OPELS |d EBLCP |d N$T |d E7B |d YDXCP |d DEBSZ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d MERUC |d OCLCQ |d LUN |d UAB |d OCLCQ |d SFB |d VT2 |d VLY |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 301126733 |a 897645968 |a 974614623 |a 974670119 |a 1156395337 |a 1175718611 |a 1199524902 | ||
| 020 | |a 9780934613323 |q (electronic bk.) | ||
| 020 | |a 093461332X |q (electronic bk.) | ||
| 020 | |a 9781483214436 | ||
| 020 | |a 1483214435 | ||
| 035 | |a (OCoLC)567946931 |z (OCoLC)301126733 |z (OCoLC)897645968 |z (OCoLC)974614623 |z (OCoLC)974670119 |z (OCoLC)1156395337 |z (OCoLC)1175718611 |z (OCoLC)1199524902 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q336 |b .F74 1987 | |
| 072 | 7 | |a COM |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3 |2 19 |
| 084 | |a 54.72 |2 bcl | ||
| 245 | 0 | 4 | |a The Frame problem in artificial intelligence : |b proceedings of the 1987 workshop, April 12-15, 1987, Lawrence, Kansas / |c edited by Frank M. Brown ; co-sponsored by the American Association for Artificial Intelligence [and others]. |
| 260 | |a Los Altos, Calif. : |b Morgan Kaufmann Publishers, |c �1987. | ||
| 300 | |a 1 online resource (vii, 359 pages) | ||
| 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 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; The Frame Problem in Artificial Intelligence; Copyright Page; Table of Contents; INTRODUCTION; 1. DEFINITION OF THE FRAME PROBLEM; 2. CIRCUMSCRIPTION APPROACHES AND CRITICISMS; 3. MODAL LOGIC APPROACHES; 4. SYNTACTIC CONSISTENCY APPROACHES; 5. CHOOSING BETWEEN COMPETING EXTENSIONS; 6. PRAGMATIC APPROACHES; BIBLIOGRAPHY; PART I: DEFINITION OF THE FRAME PROBLEM; Chapter 1. The Frame Problem Today; Chapter 2. What is the frame problem?; 1 A specific prediction task; 2 The problems of qualification and extended prediction, and their relation to the frame problem; 3 Summary | |
| 505 | 8 | |a Actions and EventsIndependence; Causality; The Yale Shooting Problem; Circumscribing Causality; Other Agents; Specifying Independence; Conclusions; Acknowledgments; References; CHAPTER 8. THE LOGIC OF FRAMES WITH EXCEPTIONS; 1) INTRODUCTION; 2) THE FRAME LANGUAGE; 3) THE MEANING QF THE FRAME LANGUAGE; 4) EXAMPLE; 5) AMBIGUITIES; 6) FUTURE WORK AND CONCLUSION; Acknowledgements; References; Chapter 9. A Note on Non-Monotonic Reasoning; 1. Monotonicity and non-monotonicity; 2. Partial inductive definitions of finite type; 3. A derivable default-rule; 4. The example of Hanks and McDermott | |
| 505 | 8 | |a 5. A situation calculusReferences; Chapter 10. AI, Logic, and the Frame Problem; 1 Introduction; 2 Inertia Versus Ramification; 3 Inertia and Nonmonotonicity; 4 Is Logic the Solution or the Problem?; References; PART III: MODAL LOGIC APPROACHES; CHAPTER 11. ACTION THEORY AND THE FRAME PROBLEM; ABSTRACT; I. INTRODUCTION; 2. THE LOGICAL THEORY ZK; 3. SOUNDNESS AND COMPLETENESS OF ZK; 4. ACTION MODELS; 5. RELATED RESEARCH: NONMONOTONIC THEORIES; 6. CONCLUSION; REFERENCES; CHAPTER 12. A MODAL LOGIC FOR THE REPRESENTATION OF KNOWLEDGE; 1. INTRODUCTION; 2. SYNTAX; 3. THE DEDUCTIVE THEORY | |
| 505 | 8 | |a 4. EXTENSIONAL SEMANTICS5. CONCLUSION; ACKNOWLEDGMENTS; REFERENCES; CHAPTER 13. ACTION, REFLECTIVE POSSIBILITY, AND THE FRAME PROBLEM; 1. INTRODUCTION; 2. REFLECTIVE POSSIBILITY AND THE PERSISTENCE PROBLEM; 3. THE FRAME PROBLEM AND MULTIPLE SOLUTIONS; 4. SEQUENTIAL ACTION-FRAME AXIOM; CONCLUSION; APPENDIX; Acknowledgements; References; CHAPTER 14. DOUBTING THOMAS: ACTION AND BELIEF REVISION; 1. INTRODUCTION; 2. Modal Logic Z; 3. Static Belief Theory; 4. Actions and the Frame Axiom; 5. Dynamic Belief Theory; 6. An Example: Doubting Thomas Problem; 7. Conclusions; ACKNOWLEDGEMENTS; REFERENCES | |
| 520 | |a The Frame Problem in Artificial Intelligence. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Artificial intelligence |x Data processing |v Congresses. | |
| 650 | 0 | |a Frames (Information theory) |v Congresses. | |
| 650 | 0 | |a Reasoning |v Congresses. | |
| 650 | 0 | |a Frames (Information theory) | |
| 650 | 6 | |a Intelligence artificielle |0 (CaQQLa)201-0131916 |x Informatique |0 (CaQQLa)201-0131916 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Frames (Th�eorie de l'information) |0 (CaQQLa)201-0170312 | |
| 650 | 6 | |a Raisonnement |0 (CaQQLa)201-0005918 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Frames (Th�eorie de l'information) |0 (CaQQLa)201-0170312 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |x Data processing |2 fast |0 (OCoLC)fst00817255 | |
| 650 | 7 | |a Frames (Information theory) |2 fast |0 (OCoLC)fst00933612 | |
| 650 | 7 | |a Reasoning |2 fast |0 (OCoLC)fst01091282 | |
| 650 | 1 | 7 | |a Raamwerken (taalkunde) |2 gtt |
| 650 | 1 | 7 | |a Redeneren. |2 gtt |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a proceedings (reports) |2 aat |0 (CStmoGRI)aatgf300027316 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Brown, Frank M., |d 1950- | |
| 710 | 2 | |a American Association for Artificial Intelligence. | |
| 776 | 0 | 8 | |i Print version: |t Frame problem in artificial intelligence. |d Los Altos, Calif. : Morgan Kaufmann Publishers, �1987 |w (DLC) 87004140 |w (OCoLC)15195917 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780934613323 |z Texto completo |