A Specification Of The Soar Cognitive Architecture In Z
Download A Specification Of The Soar Cognitive Architecture In Z PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get A Specification Of The Soar Cognitive Architecture In Z book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
A Specification of the Soar Cognitive Architecture in Z
Abstract: "A formal specification of the sixth revision of the Soar architecture in the Z notation was constructed to elucidate and clarify the definition of Soar and to guide its implementation. Soar is a cognitive architecture that has been successfully applied to many domains and has been proposed as an examplar unified theory of cognition. Z is a model theoretic specification language based in set theory that has syntax and type checking programs available. The specification has a complete coverage of the architecture, a low level of abstraction and a considerable implementation bias."
A Specification of the Soar Cognitive Architecture in Z.
A formal specification of the sixth revision of the Soar architecture in the Z notation was constructed to elucidate and clarify the definition of Soar and to guide its implementation. Soar is a cognitive architecture that has been successfully applied to many domains and has been proposed as an exemplar unified theory of cognition. Z is a model theoretic specification language based in set theory that has syntax and type checking programs available. The specification has a complete coverage of the architecture, a low level of abstraction and a considerable implementation bias.
FME '96: Industrial Benefit and Advances in Formal Methods
Author: Marie-Claude Gaudel
language: en
Publisher: Springer Science & Business Media
Release Date: 1996-03-06
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.