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
Stock Image
Formal Specification of Advanced AI Architectures
Published by
Prentice Hall Europe (a Pearson Education company) 9/1/1991, 1991
ISBN 10: 0133288323
ISBN 13: 9780133288322
Used
Paperback
Seller: Salish Sea Books, Bellingham, WA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 0133288323 Very Good; Hardcover; 1991, Prentice-Hall Publishing; Clean covers; Inside of book is like new; 319 pages; "Formal Specification of Advanced AI Architectures," by Iain D. Craig. Seller Inventory # SKU-3330615
Seller Image
Formal Specification of Advanced AI Architectures
Published by
Ellis Horwood Ltd , Publisher, 1991
ISBN 10: 0133288323
ISBN 13: 9780133288322
Used
Softcover
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Seller Inventory # wbs6956273190