Formal Specification of Advanced AI ArchitecturesSoftware -- Software Engineering. |
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 evno example executed existential quantifier fact 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 numlevels numslots omsg operation output performed portid ports 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 words