A Specification of the Soar Cognitive Architecture in Z
Author | : Brian G. Milnes |
Publisher | : |
Total Pages | : 242 |
Release | : 1992 |
ISBN-13 | : OCLC:27404277 |
ISBN-10 | : |
Rating | : 4/5 ( Downloads) |
Download or read book A Specification of the Soar Cognitive Architecture in Z written by Brian G. Milnes and published by . This book was released on 1992 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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."