Representations of commonsense knowledge /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
San Mateo, California :
Morgan Kauffmann Publishers,
1990.
|
| Subjects: |
Table of Contents:
- Chapter 1. Automating Common Sense; 1.1 Knowledge Bases; 1.2 Methodology; 1.3 Implementation; 1.4 The Role of Natural Language; 1.5 The Role of Logic; 1.6 Incomplete and Uncertain Knowledge; 1.7 Vagueness; 1.8 Indexicals; 1.9 Commonsense Reasoning in Artificial Intelligence; 1.10 Philosophy; l.11 Mathematics and Commonsense Reasoning; 1.12 References; Chapter 2. Logic; 2.1 Logical Systems and Languages; 2.2 Propositional Calculus. 2.3 Predicate Calculus2.4 Standard First-Order Notations and Theories; 2.5 Operators on Sentences; 2.6 Extensional Operators; 2.7 Modal Logic; 2.8 Syntactic Theories; 2.9 Appendix A: Natural Deduction; 2.10 References; 2.11 Exercises; Chapter 3. Plausible Reasoning; 3.1 Nonmonotonic Logic; 3.2 Classical Probability Theory; 3.3 Statistical Inference; 3.4 References; 3,5 Exercises; Chapter 4. Quantities and Measurements; 4.1 Order; 4.2 Intervals; 4.3 Addition and Subtraction; 4.4 Real Valued Scales; 4.5 More Arithmetic; 4.6 Parameters; Signs; Monotonic Relations; 4.7 Derivatives. 4.8 Mode Transition Networks4.9 Qualitative Differential Equations; 4.10 Orders of Magnitude; 4.11 References; 4.12 Exercises; Chapter 5. Time; 5.1 Situations; 5.2 Events; 5.3 Temporal Reasoning: Blocks World; 5.4 The Frame Problem and the Ramification Problem; 5.5 The Frame Problem as a Plausible Inference; 5.6 Branching Time; 5.7 The STRIPS Representation; 5.8 Situation Calculus; 5.9 Real-Valued Time; 5.10 Complex States and Events; 5.11 Control Structures; 5·12 Modal Temporal Logic; 5.13 Tracking the Present Moment; 5.14 References; 5.15 Exercises; Chapter 6. Space. 6.1 Spatial Inferences: Examples6.2 Knowledge Structures; 6.3 Appendix A: Coordinate Transformations; 6.4 Appendix B: Going Through; 6.5 References; 6.6 Exercises; Chapter 7. Physics; 7.1 The Component Model; 7.2 Qualitative-Process Theory; 7.3 Rigid Solid Objects; 7.4 Liquids; 7.5 Physical Agents; 7.6 References; 7.7 Exercises; Chapter 8. Minds; 8.1 Propositional Attitudes; 8.2 Belief; 8.3 Degree of Belief; 8.4 Knowledge; 8.5 Knowing Whether and What; 8.6 Minds and Time; 8.7 Perceptions; 8.8 Realistic Models of Mind; 8.9 References; 8.10 Exercises; Chapter 9. Plans and Goals. 9.1 Plans as Sequences of Primitive Actions9.2 Extensions; 9.3 Plans and Goals as Mental States; 9.4 References; 9.5 Exercises; Chapter 10. Society; 10.1 Common Knowledge; 10.2 Multiagent Plans; 10.3 Communication; 10.4 Ethics; 10.5 Possession; 10.6 Appendix A: Conceptual Dependency; 10.7 References; 10.8 Exercises; Bibliography; Glossary; Index of Names; General Index.