A formal specification of the sixth revision of the Soar architecture in the Zudnotation was constructed to elucidate and clarify the definition of Soar and toudguide its implementation. Soar is a cognitive architecture that has been successfullyudapplied to many domains and has been proposed as an exemplar unifiedudtheory of cognition. Z is a model theoretic specification language based in setudtheory that has syntax and type checking programs available. The specificationudhas a complete coverage of the architecture, a low level of abstraction and audconsiderable implementation bias.ud
展开▼
机译：构建了以Z udnotation表示的Soar体系结构的第六修订版的正式规范，以阐明和阐明Soar的定义并指导其实施。腾飞是一种已经成功地 udapply应用于许多领域的认知体系结构，并已被提出作为一种示例性的统一的认知理论。 Z是基于set udtheory的模型理论规范语言，具有可用的语法和类型检查程序。规范 ud具有完整的体系结构覆盖，较低的抽象水平和 ud相当大的实现偏差。 ud
展开▼
