| 000 | 01101camuuu200313 a 4500 | |
| 001 | 000000022841 | |
| 005 | 19980604105123.0 | |
| 008 | 900117s1990 ne a b 00100 eng | |
| 010 | ▼a 90030971 //r91 | |
| 020 | ▼a 0792306775 (alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d DLC | |
| 049 | 1 | ▼l 111023402 ▼l 421106297 ▼f 과학 |
| 050 | 0 0 | ▼a Q335 ▼b .K578 1990 |
| 082 | 0 0 | ▼a 006.3 ▼2 20 |
| 090 | ▼a 006.3 ▼b K732 | |
| 245 | 0 0 | ▼a Knowledge representation and defeasible reasoning / ▼c edited by Henry E. Kyburg, Jr., Ronald P. Loui, and Greg N. Carlson. |
| 260 | ▼a Dordrecht ; ▼a Boston : ▼b Kluwer Academic Publishers , ▼c 1990. | |
| 300 | ▼a xxii, 423 p. : ▼b ill. ; ▼c 23 cm. | |
| 440 | 0 | ▼a Studies in cognitive systems ; ▼v 5. |
| 504 | ▼a Includes bibliographical references and indexes. | |
| 650 | 0 | ▼a Knowledge, Theory of. |
| 650 | 0 | ▼a Reasoning. |
| 650 | 0 | ▼a Frames (Information theory). |
| 650 | 0 | ▼a Knowledge representation (Information theory). |
| 650 | 0 | ▼a Artificial intelligence. |
| 700 | 1 0 | ▼a Loui, Ronald P. |
| 700 | 1 0 | ▼a Carlson, Greg N. , ▼d 1948-. |
| 700 | 1 0 | ▼a Kyburg, Henry Ely , ▼d 1928-. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 006.3 K99k | 등록번호 421106297 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data processing systems of all kinds, no matter whether human, (other) ani mal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psy chology through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelli gence and computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimental, and methodological studies will also ap pear from time to time. The present volume provides a collection of studies that focus on some of the central problems within the domain of artificial intelligence. These difficulties fall into four principal areas: defeasible reasoning (including the frame problem as apart), ordinary language (and the representation prob lems that it generates), the revision of beliefs (and its rules of inference), and knowledge representation (and the logical problems that are encountered there). These papers make original contributions to each of these areas of inquiry and should be of special interest to those who understand the crucial role that is played by questions of logical form. They vividly illustrate the benefits that can emerge from collaborative efforts involving scholars from linguistics, philosophy, computer science, and AI. J. H. F.
This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data processing systems of all kinds, no matter whether human, (other) ani mal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psy chology through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelli gence and computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimental, and methodological studies will also ap pear from time to time. The present volume provides a collection of studies that focus on some of the central problems within the domain of artificial intelligence. These difficulties fall into four principal areas: defeasible reasoning (including the frame problem as apart), ordinary language (and the representation prob lems that it generates), the revision of beliefs (and its rules of inference), and knowledge representation (and the logical problems that are encountered there). These papers make original contributions to each of these areas of inquiry and should be of special interest to those who understand the crucial role that is played by questions of logical form. They vividly illustrate the benefits that can emerge from collaborative efforts involving scholars from linguistics, philosophy, computer science, and AI. J. H. F.
정보제공 :
목차
CONTENTS SERIES PREFACE = vii INTRODUCTION = viii ACKNOWLEDGEMENTS = xix AUTHORS' AFFILIATIONS = xxi PART Ⅰ / DEFEASIBLE REASONING AND THE FRAME PROBLEM Defeasible Logic and The Frame Problem / DONALD NUTE = 3 Monotonic Solution of The Frame Problem in The Situation Calculus : An Efficient Method for Worlds with Fully Specified Actions / LENHART SCHUBERT = 23 A Framework for Reasoning with Defaults / HECTOR GEFFNER ; JUDEA PEARL = 69 The Frame Problem and Relevant Predication / J. MICHAEL DUNN = 89 PART Ⅱ / REPRESENTATION PROBLEMS AND ORDINARY LANGUAGE Thing and Thought / DON PERLIS = 99 Bare Plurals as Plural Indefinite Noun Phrases / BRENDAN GILLON = 119 Seeing To it That : A Canonical Form for Agentives / NUEL BELNAP ; MICHAEL PERLOFF = 167 Speaker Plans, Linguistic Contexts, and Indirect Speech Acts / ANDREW McCAFFERTY = 191 PART Ⅲ / INFERENCE RULES AND BELIEF REVISION Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test / CHARLES CROSS = 223 Jeffrey's Rule, Passage of Experience, and Neo-Bayesianism / JUDEA PEARL = 245 Two Perspectives on Consensus for (Bayesian) Inference and Decisions / TEDDY SEIDENFELD = 267 Conditional and Conditional Probabilities : Three Triviality Theorems / HUGUES LEBLANC ; PETER ROEPER = 287 PART Ⅳ / LOGICAL PROBLEMS IN REPRESENTING KNOWLEDGE Inheritance Theory and Path-Based Reasoning : An Introduction / BOB CARPENTER ; RICHMOND THOMASON = 309 Defeasible Specification of Utilities / RONALD LOUI = 345 Introduction to A Logic of Assertions / ROBIN GILES = 361 A New Normative Theory of Probabilistic Logic / ROMAS ALELIUNAS = 387 INDEX OF NAMES = 405 INDEX OF SUBJECTS = 409