Andrea Macklem, Fatma Mili
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling In-dustrial size applications. This growth is not matched in terms of software tools and methodolo-gies. In this paper, we propose a systematic auto-mated approach for verifying the correctness of cognitive models. We present a modular specifica-tion language, define model correctness, and pre-sent algorithms for automatically checking that a model meets its specifications.
Subjects: 4. Cognitive Modeling
Submitted: Feb 17, 2006