Brian E. Mastenbrook

Learn More
Based on several years of experience in generating code from large SDL and UML models in the telecommunications domain, it has become apparent that model analysis must be used to augment more traditional validation and testing techniques. While model correctness is extremely important, the difficulty of use and non-scalability of most formal verification(More)
In this paper we describe ASPARC, a system for independent formation of an agent's specific set of grounded primitive spatial concepts. Through all of its subsystems operating on a unified data structure , ASPARC's spatial memories can be manipulated and analyzed as encapsulated representations, used to form plans for reenacting events, or used as patterns(More)
In this paper we present a system that uses its underlying physiology, a hierarchical memory and a collection of memory management algorithms to learn concepts as cases and to build higher level concepts from experiences represented as sequences of atoms. Using a memory structure that requires all base memories to be grounded in introspective atoms, the(More)
  • 1