%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 8 0 obj << /S /GoTo /D (Outline0.1) >> endobj 11 0 obj (Contents) endobj 12 0 obj << /S /GoTo /D (Outline0.2) >> endobj 15 0 obj (Knowledge Representation and Reasoning) endobj 16 0 obj << /S /GoTo /D (Outline0.3) >> endobj 19 0 obj (Concepts \046 Description Logics) endobj 20 0 obj << /S /GoTo /D (Outline0.3.1.4) >> endobj 23 0 obj (Categories and Objects) endobj 24 0 obj << /S /GoTo /D (Outline0.3.2.5) >> endobj 27 0 obj (The Upper Ontology: A General Category Hierarchy) endobj 28 0 obj << /S /GoTo /D (Outline0.3.3.6) >> endobj 31 0 obj (Description Logics) endobj 32 0 obj << /S /GoTo /D (Outline0.3.4.7) >> endobj 35 0 obj (Reasoning Services in Description Logics) endobj 36 0 obj << /S /GoTo /D (Outline0.3.5.8) >> endobj 39 0 obj (Special Properties of Description Logics) endobj 40 0 obj << /S /GoTo /D (Outline0.4) >> endobj 43 0 obj (Logical Agents for the WUMPUS World) endobj 44 0 obj << /S /GoTo /D (Outline0.4.1.9) >> endobj 47 0 obj (Logic-Based Agents That Act) endobj 48 0 obj << /S /GoTo /D (Outline0.4.2.10) >> endobj 51 0 obj (Reflex Agents) endobj 52 0 obj << /S /GoTo /D (Outline0.4.3.11) >> endobj 55 0 obj (Model-Based Agents) endobj 56 0 obj << /S /GoTo /D (Outline0.5) >> endobj 59 0 obj (Situation Calculus) endobj 60 0 obj << /S /GoTo /D (Outline0.5.1.12) >> endobj 63 0 obj (Situation Calculus) endobj 64 0 obj << /S /GoTo /D (Outline0.5.2.13) >> endobj 67 0 obj (Example: WUMPUS-World) endobj 68 0 obj << /S /GoTo /D (Outline0.5.3.14) >> endobj 71 0 obj (Description of Actions) endobj 72 0 obj << /S /GoTo /D (Outline0.6) >> endobj 75 0 obj (The Frame Problem) endobj 76 0 obj << /S /GoTo /D (Outline0.6.1.15) >> endobj 79 0 obj (The Frame Problem) endobj 80 0 obj << /S /GoTo /D (Outline0.6.2.16) >> endobj 83 0 obj (Number of Frame Axioms) endobj 84 0 obj << /S /GoTo /D (Outline0.6.3.17) >> endobj 87 0 obj (Successor-State Axioms) endobj 88 0 obj << /S /GoTo /D (Outline0.6.4.18) >> endobj 91 0 obj (Limits of this Version of Situation Calculus) endobj 92 0 obj << /S /GoTo /D (Outline0.7) >> endobj 95 0 obj (Time Intervals and Their Description) endobj 96 0 obj << /S /GoTo /D (Outline0.7.1.19) >> endobj 99 0 obj (Qualitative Descriptions of Temporal Relationships) endobj 100 0 obj << /S /GoTo /D (Outline0.7.2.20) >> endobj 103 0 obj (Allen's Interval Calculus) endobj 104 0 obj << /S /GoTo /D (Outline0.7.3.21) >> endobj 107 0 obj (Allen's 13 Interval Relation) endobj 108 0 obj << /S /GoTo /D (Outline0.7.4.22) >> endobj 111 0 obj (Examples) endobj 112 0 obj << /S /GoTo /D (Outline0.7.5.23) >> endobj 115 0 obj (Reasoning in Allen's Relations System) endobj 116 0 obj << /S /GoTo /D (Outline0.7.6.24) >> endobj 119 0 obj (Constraint Propagation) endobj 120 0 obj << /S /GoTo /D (Outline0.8) >> endobj 123 0 obj (Concluding Remarks: Use of Logical Formalisms) endobj 124 0 obj << /S /GoTo /D [125 0 R /Fit ] >> endobj 146 0 obj << /Length 2621 /Filter /FlateDecode >> stream xZY6~_-j 9\I