flex Expert System Toolkit - LPIS

More documents

Recommendations

Info

flex Expert System Toolkit Version 1.2 Edition 4 Written by Phil Vasey - April 1989 Revised by Updated by David Westwood David Westwood - February 1990 - August 1992 Revised by Nicky Johns - January 1996 Logic Programming Associates Ltd Studio 4 The Royal Victoria Patriotic Building Trinity Road London SW18 3SX ENGLAND
Page 1: flex Reference By Dave Westwood
Page 5 and 6: Welcome to the flex expert system t
Page 7 and 8: Contents 5 Selecting Rules 37 Updat
Page 9 and 10: Contents 7 Representing Fish 171 Th
Page 11 and 12: 1. Introduction 9 1. Introduction W
Page 13 and 14: 1. Introduction 11 Each frame or in
Page 15 and 16: 2. Frames and Inheritance 13 Each s
Page 17 and 18: 2. Frames and Inheritance 15 So, wh
Page 19 and 20: 2. Frames and Inheritance 17 single
Page 21 and 22: 2. Frames and Inheritance 19 Feline
Page 23 and 24: 2. Frames and Inheritance 21 employ
Page 25 and 26: 2. Frames and Inheritance 23 great-
Page 27 and 28: 2. Frames and Inheritance 25 For ex
Page 29 and 30: 2. Frames and Inheritance 27 Exampl
Page 31 and 32: 3. Forward Chaining 29 3. Forward C
Page 33 and 34: 3. Forward Chaining 31 goals which
Page 35 and 36: 3. Forward Chaining 33 can give the
Page 37 and 38: 3. Forward Chaining 35 START Is end
Page 39 and 40: 3. Forward Chaining 37 The Rule Age
Page 41 and 42: 3. Forward Chaining 39 select rule
Page 43 and 44: 4. Data-Driven Programming 41 4. Da
Page 45 and 46: 4. Data-Driven Programming 43 The l
Page 47 and 48: 4. Data-Driven Programming 45 conte
Page 49 and 50: 4. Data-Driven Programming 47 demon
Page 51 and 52: 5. Questions And Answers 49 5. Ques
Page 53 and 54:
5. Questions And Answers 51 write(
Page 55 and 56:
5. Questions And Answers 53 questio
Page 57 and 58:
6. Anatomy of a flex Program 55 6.
Page 59 and 60:
6. Anatomy of a flex Program 57 The
Page 61 and 62:
6. Anatomy of a flex Program 59 fle
Page 63 and 64:
7. Knowledge Specification Language
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
8. Run-Time Interpretation of KSL 1
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
9. Flex Predicates 121 add_value( +
Page 125 and 126:
9. Flex Predicates 123 comparison(
Page 127 and 128:
9. Flex Predicates 125 disprove( +G
Page 129 and 130:
9. Flex Predicates 127 fixed( +Name
Page 131 and 132:
9. Flex Predicates 129 The Agenda s
Page 133 and 134:
9. Flex Predicates 131 yes ?- inclu
Page 135 and 136:
9. Flex Predicates 133 initialise ?
Page 137 and 138:
9. Flex Predicates 135 Example ?- i
Page 139 and 140:
9. Flex Predicates 137 Q = ['Please
Page 141 and 142:
9. Flex Predicates 139 flex toolkit
Page 143 and 144:
Page 145 and 146:
9. Flex Predicates 143 default inhe
Page 147 and 148:
9. Flex Predicates 145 the conflict
Page 149 and 150:
9. Flex Predicates 147 Attribute of
Page 151 and 152:
9. Flex Predicates 149 Add the give
Page 153 and 154:
9. Flex Predicates 151 remove_insta
Page 155 and 156:
Page 157 and 158:
9. Flex Predicates 155 spy_fact( ?N
Page 159 and 160:
11. Example - Robbie Goes Shopping
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
Page 167 and 168:
Page 169 and 170:
Appendix A - Examples 167 default b
Page 171 and 172:
Appendix A - Examples 169 frame fel
Page 173 and 174:
Appendix A - Examples 171 Represent
Page 175 and 176:
Appendix A - Examples 173 These que
Page 177 and 178:
Appendix A - Examples 175 The Tests
Page 179 and 180:
Appendix A - Examples 177 rule fill
Page 181 and 182:
Appendix B - Formal Definition of K
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202:
Page 203 and 204:
Appendix C - KSL Keyword Glossary 2
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
Appendix D - Dealing with Uncertain
Page 231 and 232:
Page 233 and 234:
Page 235 and 236:
Index 233 Birds, 155 Brackets, 53,
Page 237 and 238:
Index 235 enable_rules/0, 107 enabl
Page 239 and 240:
Index 237 122 link, 9, 126 logic, 1
Page 241 and 242:
Index 239 Membership, 59, 108, 113,
Page 243 and 244:
Index 241 remember, 62 remember_exc
Page 245 and 246:
Index 243 some_instance/2, 138 spie
Page 247 and 248:
Index 245 — KSL KEYWORDS INDEX
Page 249 and 250:
Index 247 terminate, 72 relation, 7
Page 251 and 252:
Index 249 once/3, 131 flex_name/1,
Page 253:
Index 251 isa_slot/3, 120 isa_value
show all

flex Expert System Toolkit - LPIS

Create successful ePaper yourself

Delete template?

Save as template?