DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA576805
Title:
Patterns and Conflicts for the Specification and Verification of Cognitive Models
Descriptive Note:
Corporate Author:
OAKLAND UNIV ROCHESTER MI
Report Date:
2004-05-24
Pagination or Media Count:
20.0
Abstract:
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE