Developing reproducible and comprehensible computational models
Artificial Intelligence
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Human error analysis based on a semantically defined cognitive pilot model
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
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.