Formal Verification of Cognitive Models

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.