Ebook: Knowledge Representation and Defeasible Reasoning
- Tags: Artificial Intelligence (incl. Robotics), Philosophy, Linguistics (general), Logic
- Series: Studies in Cognitive Systems 5
- Year: 1990
- Publisher: Springer Netherlands
- Edition: 1
- Language: English
- pdf
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.
Content:
Front Matter....Pages i-xxii
Front Matter....Pages 1-1
Defeasible Logic and The Frame Problem....Pages 3-21
Monotonic Solution of The Frame Problem in The Situation Calculus....Pages 23-67
A Framework for Reasoning with Defaults....Pages 69-87
The Frame Problem and Relevant Predication....Pages 89-95
Front Matter....Pages 97-97
Thing and Thought....Pages 99-117
Bare Plurals as Plural Indefinite Noun Phrases....Pages 119-166
Seeing To it That: A Canonical Form for Agentives....Pages 167-190
Speaker Plans, Linguistic Contexts, and Indirect Speech Acts....Pages 191-220
Front Matter....Pages 221-221
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test....Pages 223-244
Jeffrey’s Rule, Passage of Experience, and Neo-Bayesianism....Pages 245-265
Two Perspectives on Consensus for (Bayesian) Inference and Decisions....Pages 267-286
Conditionals and Conditional Probabilities: Three Triviality Theorems....Pages 287-306
Front Matter....Pages 307-307
Inheritance Theory and Path-Based Reasoning: An Introduction....Pages 309-343
Defeasible Specification of Utilities....Pages 345-359
Introduction to A Logic of Assertions....Pages 361-385
A New Normative Theory of Probabilistic Logic....Pages 387-403
Back Matter....Pages 405-425
Content:
Front Matter....Pages i-xxii
Front Matter....Pages 1-1
Defeasible Logic and The Frame Problem....Pages 3-21
Monotonic Solution of The Frame Problem in The Situation Calculus....Pages 23-67
A Framework for Reasoning with Defaults....Pages 69-87
The Frame Problem and Relevant Predication....Pages 89-95
Front Matter....Pages 97-97
Thing and Thought....Pages 99-117
Bare Plurals as Plural Indefinite Noun Phrases....Pages 119-166
Seeing To it That: A Canonical Form for Agentives....Pages 167-190
Speaker Plans, Linguistic Contexts, and Indirect Speech Acts....Pages 191-220
Front Matter....Pages 221-221
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test....Pages 223-244
Jeffrey’s Rule, Passage of Experience, and Neo-Bayesianism....Pages 245-265
Two Perspectives on Consensus for (Bayesian) Inference and Decisions....Pages 267-286
Conditionals and Conditional Probabilities: Three Triviality Theorems....Pages 287-306
Front Matter....Pages 307-307
Inheritance Theory and Path-Based Reasoning: An Introduction....Pages 309-343
Defeasible Specification of Utilities....Pages 345-359
Introduction to A Logic of Assertions....Pages 361-385
A New Normative Theory of Probabilistic Logic....Pages 387-403
Back Matter....Pages 405-425
....