Patterns and Conflicts for the Specification and Verification of Cognitive Models
OAKLAND UNIV ROCHESTER MI
Pagination or Media Count:
Cognitive modeling is the creation of computer-based processes that mimic human problem-solving and task execution using existing cognitive theories. Cognitive modeling remains a labor-intensive and error prone activity with little theoretical and tool support. In particular, we propose an approach to capturing specifications for cognitive models in an incremental and modular way. We then discuss ways of proving that a cognitive model meets its specification.
- Computer Programming and Software