flex Expert System Toolkit - LPIS

More documents

Recommendations

Info

Appendix B - Formal Definition of KSL 180 separator_continuation( Grammar_Rule, Separator ) . separator_continuation( Grammar_Rule, Separator ) --> [] . KSL Sentences In this_section we describe the valid sentences in which KSL objects and formulae can occur. They constitute what can and cannot be stated in a KSL program. Note that each sentence begins with a keyword to identify its category, is usually followed by a unique identifier within that category (note that the same identifier can be used in different categories), and is always terminated by a full-stop. The categories of KSL sentences are : • Frame • Instance • Launch • Demon_ • Constraint_ • Watchdog_ • Rule_ • Ruleset_ • Action_ • Relation_ • Function_ • Command_ • Data_ • Question_ • Group_ • Synonym_ • Template Frame frame --> [frame], name( frame ), optional( parent_frames ), optional( default_values ), optional( inheritance_links ), [.] . parent_frames --> ako, <strong>flex</strong> toolkit
Appendix B - Formal Definition of KSL 181 <strong>flex</strong> toolkit sequence_separator( name( parent ), [,] ) . ako --> [is,a,kind,of] | [is,an,instance,of] | [is,a] | [is,an] . default_values --> [;], sequence_separator( default_value, [and] ) . default_value --> [default], name( attribute ), equate, expression . equate --> [is] | [are] . inheritance_links --> [;], sequence_separator( inheritance_link, [and] ) . inheritance_link --> [inherit], name( attribute ), [from], sequence_separator( name( frame ), [,] ) . Instance instance --> [instance], name( instance ), ako, name( parent_frame ), optional( initial_values ), optional( inheritance_links ), [.] . ako --> [is,a,kind,of] | [is,an,instance,of] | [is,a] | [is,an] . initial_values --> [;],
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:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
8. Run-Time Interpretation of KSL 1
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
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 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 184 and 185: Appendix B - Formal Definition of K
Page 204 and 205: 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 240 and 241:
Index 238 isa_exception/1, 117 isa_
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/
show all

flex Expert System Toolkit - LPIS

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?