Contents
The Z Specification Language | 14 |
The Blackboard Architecture | 39 |
The Blackboard Specification in Z | 66 |
Copyright | |
7 other sections not shown
Common terms and phrases
ABSLEV abstraction level AddAttr addition AKSAR ARTIFICIAL INTELLIGENCE assume ATTR attribute attribute-value pairs avps blackboard architecture blackboard specification blackboard system CASSANDRA architecture CASSANDRA systems cfalse channels Chapter communications component concrete CondElem condition elements CONDTV Create ENTRY ctrue cycle data type database define definition eligible list entry identifiers ENTRY1 eslots evaluation event type evno example executed existential quantifier formal specification function implementation IMSG InitENTRY initialization schema initslots input variable interface interpretation iqueue knowledge representation Knowledge Source actions Knowledge Source triggers knownents knownslots KSAR KSARATTR KSARID ksarslots KSARVAL ksid language level manager LEVID LMID ModAttr numlevels numslots omsg operation output performed portid PRECOND precondition predicate problem problem-solving production rules proofs quantified queue reader refinement process relation representation represents require rule conditions satisfied scheduler schema schemata sequence slots solution structure terminate Theorem tion to_whom triggered list triggered_list truth-value waiting waiting_precond