Formal Specification of Advanced Problems Solving Architectures (Ellis Horwood Series in Artificial Intelligence) - Hardcover
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Specification of Advanced Problems Solving Architectu...
Stock Image
Formal Specification of Advanced Ai Architectures (Ellis Horwood Series in Artificial Intelligence)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_332386407