Synopsis
This book uses formal specification in Z to provide an interpretation of the blackboard architecture and to define a standard for the Cassandra architecture. It presents two specifications using the Z language, showing how this can be done. It considers the basic software required as a precursor to building an application system and discusses the properties of architectures as software systems, which combines formal methods and artificial intelligence.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Specification of Advanced AI Architectures
Seller Image
Formal Specification of Advanced AI Architectures
Published by
Ellis Horwood Limited, London, 1991
ISBN 10: 0133288323
ISBN 13: 9780133288322
Used
Soft cover
First Edition
Seller: Carmarthenshire Rare Books, Carmarthen, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Very Good. Dust Jacket Condition: No Jacket Issued. First Edition. softcover, 319 pages, ex reference library with the usual marks, otherwise very good clean and complete. Seller Inventory # 77532
Buy Used
£ 8
£ 17.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available