Index 238 isa_exception/1, 117 isa_fact/1, 117 isa_frame/2, 117 isa_function/3, 118 isa_group/2, 118 isa_instance/2, 118 isa_launch/5, 118 isa_link/3, 119 isa_logic/1, 119 isa_question/4, 119 isa_relation/2, 120 isa_rule/5, 120 isa_slot/3, 120 isa_synonym/2, 121 isa_template/3, 121 isa_value/2, 121 isa_watchdog/6, 122 is_known/1, 122 its, 197 —K— Keyboard input, 40, 86 Keyword glossary, 185 kind, 67 Knowledge Specification Language, 4, 49 known, 58, 122 KSL, 4, 49 Components, 48 Files, 48 Formal Grammar, 163 Glossary, 185 Interpretation of, 93 Keyword Index, 218 Objects, 51 Programs, 44 Sentences, 44 Terms, 49 —L— Language Grammar, 163 Launch, 31, 79, 126 formal grammar of, 166 representation, 96 launch, 32, 79 launch/5, 96 less, 58 link/3, 95 Linking frames, 7 List, 52, 59, 113 Logic, 18, 119, 126 lookup/3, 122 lookup/4, 123 Loop, 64, 65 —M— Mammals, 153 <strong>flex</strong> toolkit
Index 239 Membership, 59, 108, 113, 138 Menu selection, 38, 84 Method, 31 minus, 55 misfire/0, 111 misfire/1, 123 misfires, 70, 75 Mnemonic, 89 Multiple inheritance, 8 Multiple selection menu, 84, 127 —N— Name, 50, 86 Negation, 107 Negative inheritance, 10 network, 74 new, 61, 79 new_constraint/8, 123 new_data/2, 124 new_default/3, 124 new_demon/7, 124 new_frame/2, 125 new_function/3, 125 new_group/2, 125 new_instance/2, 125 new_launch/5, 126 new_link/3, 126 new_question/4, 127 new_relation/2, 128 new_rule/5, 128 new_slot/3, 129 new_synonym/2, 129 new_template/3, 129 new_value/2, 130 new_watchdog/6, 130 nobody, 55 nospy_chain/0, 130 nospy_fact/1, 131 nospy_rule/1, 131 nospy_slot/2, 131 not, 57, 58, 59, 67 nothing, 55 number, 86 Numbers, 49 —O— Objects, 51, 180 formal grammar of, 180 representation, 92 of, 51 once, 111 once/3, 131 Operator, 55, 59 or, 53, 58, 59, 93 new_logic/1, 18, 126 <strong>flex</strong> toolkit
- Page 1:
flex Reference By Dave Westwood
- Page 4 and 5:
The contents of this manual describ
- Page 6 and 7:
Contents 4 Contents Contents 4 1. I
- Page 8 and 9:
Contents 6 KSL Sentences 81 Frames
- Page 10 and 11:
Contents 8 Variant 196 Set 197 Gene
- Page 12 and 13:
1. Introduction 10 Forward Chaining
- Page 14 and 15:
2. Frames and Inheritance 12 2. Fra
- Page 16 and 17:
2. Frames and Inheritance 14 Defaul
- Page 18 and 19:
2. Frames and Inheritance 16 flex t
- Page 20 and 21:
2. Frames and Inheritance 18 define
- Page 22 and 23:
2. Frames and Inheritance 20 employ
- Page 24 and 25:
2. Frames and Inheritance 22 Inheri
- Page 26 and 27:
2. Frames and Inheritance 24 Depth-
- Page 28 and 29:
2. Frames and Inheritance 26 Univer
- Page 30 and 31:
2. Frames and Inheritance 28 The fl
- Page 32 and 33:
3. Forward Chaining 30 the axioms a
- Page 34 and 35:
3. Forward Chaining 32 flex toolkit
- Page 36 and 37:
3. Forward Chaining 34 A Simple Mod
- Page 38 and 39:
3. Forward Chaining 36 The basic cy
- Page 40 and 41:
3. Forward Chaining 38 First Come F
- Page 42 and 43:
3. Forward Chaining 40 considered.
- Page 44 and 45:
4. Data-Driven Programming 42 data-
- Page 46 and 47:
4. Data-Driven Programming 44 Const
- Page 48 and 49:
4. Data-Driven Programming 46 • c
- Page 50 and 51:
4. Data-Driven Programming 48 conte
- Page 52 and 53:
5. Questions And Answers 50 Rather
- Page 54 and 55:
5. Questions And Answers 52 Customi
- Page 56 and 57:
5. Questions And Answers 54 answer
- Page 58 and 59:
6. Anatomy of a flex Program 56 ?-
- Page 60 and 61:
6. Anatomy of a flex Program 58 fle
- Page 62 and 63:
6. Anatomy of a flex Program 60 and
- Page 64 and 65:
7. Knowledge Specification Language
- Page 66 and 67:
7. Knowledge Specification Language
- Page 68 and 69:
7. Knowledge Specification Language
- Page 70 and 71:
7. Knowledge Specification Language
- Page 72 and 73:
7. Knowledge Specification Language
- Page 74 and 75:
7. Knowledge Specification Language
- Page 76 and 77:
7. Knowledge Specification Language
- Page 78 and 79:
7. Knowledge Specification Language
- Page 80 and 81:
7. Knowledge Specification Language
- Page 82 and 83:
7. Knowledge Specification Language
- Page 84 and 85:
7. Knowledge Specification Language
- Page 86 and 87:
7. Knowledge Specification Language
- Page 88 and 89:
7. Knowledge Specification Language
- Page 90 and 91:
7. Knowledge Specification Language
- Page 92 and 93:
7. Knowledge Specification Language
- Page 94 and 95:
7. Knowledge Specification Language
- Page 96 and 97:
7. Knowledge Specification Language
- Page 98 and 99:
7. Knowledge Specification Language
- Page 100 and 101:
7. Knowledge Specification Language
- Page 102 and 103:
7. Knowledge Specification Language
- Page 104 and 105:
7. Knowledge Specification Language
- Page 106 and 107:
7. Knowledge Specification Language
- Page 108 and 109:
7. Knowledge Specification Language
- Page 110 and 111:
8. Run-Time Interpretation of KSL 1
- Page 112 and 113:
8. Run-Time Interpretation of KSL 1
- Page 114 and 115:
8. Run-Time Interpretation of KSL 1
- Page 116 and 117:
8. Run-Time Interpretation of KSL 1
- Page 118 and 119:
8. Run-Time Interpretation of KSL 1
- Page 120 and 121:
8. Run-Time Interpretation of KSL 1
- Page 122 and 123:
9. Flex Predicates 120 9. flex Tool
- Page 124 and 125:
9. Flex Predicates 122 ask( +Name )
- Page 126 and 127:
9. Flex Predicates 124 flex toolkit
- Page 128 and 129:
9. Flex Predicates 126 every_instan
- Page 130 and 131:
9. Flex Predicates 128 forward_chai
- Page 132 and 133:
9. Flex Predicates 130 Examples fle
- Page 134 and 135:
9. Flex Predicates 132 are : Search
- Page 136 and 137:
9. Flex Predicates 134 isa_demon( ?
- Page 138 and 139:
9. Flex Predicates 136 Example ?- i
- Page 140 and 141:
9. Flex Predicates 138 flex toolkit
- Page 142 and 143:
9. Flex Predicates 140 flex toolkit
- Page 144 and 145:
9. Flex Predicates 142 new_group( +
- Page 146 and 147:
9. Flex Predicates 144 one of the f
- Page 148 and 149:
9. Flex Predicates 146 new_synonym(
- Page 150 and 151:
9. Flex Predicates 148 the agenda.
- Page 152 and 153:
9. Flex Predicates 150 Examples rem
- Page 154 and 155:
9. Flex Predicates 152 remove_quest
- Page 156 and 157:
9. Flex Predicates 154 spied_chain
- Page 158 and 159:
9. Flex Predicates 156 If the exist
- Page 160 and 161:
11. Example - Robbie Goes Shopping
- Page 162 and 163:
11. Example - Robbie Goes Shopping
- Page 164 and 165:
11. Example - Robbie Goes Shopping
- Page 166 and 167:
11. Example - Robbie Goes Shopping
- Page 168 and 169:
Appendix A - Examples 166 Appendix
- Page 170 and 171:
tail Appendix A - Examples 168 herb
- Page 172 and 173:
Appendix A - Examples 170 Represent
- Page 174 and 175:
Appendix A - Examples 172 The Ident
- Page 176 and 177:
Appendix A - Examples 174 Example 2
- Page 178 and 179:
Appendix A - Examples 176 The Rules
- Page 180 and 181:
Appendix A - Examples 178 group sta
- Page 182 and 183:
Appendix B - Formal Definition of K
- Page 184 and 185:
Appendix B - Formal Definition of K
- Page 186 and 187:
Appendix B - Formal Definition of K
- Page 188 and 189:
Appendix B - Formal Definition of K
- Page 190 and 191: Appendix B - Formal Definition of K
- Page 192 and 193: Appendix B - Formal Definition of K
- Page 194 and 195: Appendix B - Formal Definition of K
- Page 196 and 197: Appendix B - Formal Definition of K
- Page 198 and 199: Appendix B - Formal Definition of K
- Page 200 and 201: Appendix B - Formal Definition of K
- Page 202 and 203: Appendix B - Formal Definition of K
- Page 204 and 205: Appendix C - KSL Keyword Glossary 2
- Page 206 and 207: Appendix C - KSL Keyword Glossary 2
- Page 208 and 209: Appendix C - KSL Keyword Glossary 2
- Page 210 and 211: Appendix C - KSL Keyword Glossary 2
- Page 212 and 213: Appendix C - KSL Keyword Glossary 2
- Page 214 and 215: Appendix C - KSL Keyword Glossary 2
- Page 216 and 217: Appendix C - KSL Keyword Glossary 2
- Page 218 and 219: Appendix C - KSL Keyword Glossary 2
- Page 220 and 221: Appendix C - KSL Keyword Glossary 2
- Page 222 and 223: Appendix C - KSL Keyword Glossary 2
- Page 224 and 225: Appendix C - KSL Keyword Glossary 2
- Page 226 and 227: Appendix C - KSL Keyword Glossary 2
- Page 228 and 229: Appendix D - Dealing with Uncertain
- Page 230 and 231: Appendix D - Dealing with Uncertain
- Page 232 and 233: Appendix D - Dealing with Uncertain
- Page 234 and 235: Index 232 — GENERAL INDEX — —
- Page 236 and 237: Index 234 cycle, 111 cycle/3, 106 c
- Page 238 and 239: Index 236 attribute of, 51 child, 7
- Page 242 and 243: Index 240 Ordering, 58, 59, 88, 105
- Page 244 and 245: Index 242 create, 128 disabling of,
- Page 246 and 247: Index 244 Updating agenda, 29, 74 U
- Page 248 and 249: Index 246 false, 180, 193 first, 72
- Page 250 and 251: Index 248 —flex PREDICATES INDEX
- Page 252 and 253: Index 250 run_data/0, 137 run_data/