Formal Specification of Advanced Problems Solving Architectures (Ellis Horwood Series in Artificial Intelligence) - Hardcover

Craig, Iain D.

Hardcover

ISBN 10: 0133252000 ISBN 13: 9780133252002

Publisher: Ellis Horwood Ltd , Publisher, 1990

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.

Edition details

• Publisher: Ellis Horwood Ltd , Publisher
• Publication date: 1990
• Language: English
• ISBN 10: 0133252000
• ISBN 13: 9780133252002
• Binding: Hardcover
• Number of pages: 320