Brian E. Mastenbrook

  • Citations Per Year
Learn More
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection because their design does not allow a representation of their own reasoning procedures as data. Using a model of reasoning based on observable effect it is possible to test the(More)
Existing symbolic concept development systems create a concept tree from cases by specializing an infinitely general “root concept”. In these systems individual cases are assigned to only one concept (and all of its parents in the tree) and concepts themselves have only one direct parent. In this paper we present a symbolic concept development system which(More)
The Climacs text editor is a CLIM implementation of a text editor in the Emacs tradition. Climacs was designed to allow for incremental parsing of the buffer contents, so that a sophisticated analysis of the contents can be performed without impacting performance. We describe two different syntax modules: a module for a sequentially-defined syntax of a(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)
  • 1