Publisher's Synopsis
The aim of this book is to use formal specification in Z to provide an unambiguous interpretation of the blackboard architecture, as well as to define a standard for the CASSANDRA architecture. The book presents two specifications using the Z language showing how this can, and indeed has, been done.;Questions such as why should we engage in the act of formally specifying a problem-solving architecture, and why choose Z as a specification language are raised and answered before the author examines the choice of the blackboard and CASSANDRA architecture in detail. The book considers the basic software required as a precursor to building an application system. The properties of the architectures as software systems are the main concern of the book, which combines formal methods and artifical intelligence.
