Formal Verification of Cognitive Models

Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software tools and methodologies. In this paper, we propose a systematic automated approach for verifying the correctness of cognitive models. We present a modular specification language, define model correctness, and present algorithms for automatically checking that a model meets its specifications.

• Type: Conference
• Year: 2006
• Where: FLAIRS
• Authors: A. MacKlem, Fatma Mili
• Keywords: Artificial Intelligence, Define Model Correctness, FLAIRS 2006, Industrial Size Applications, Systematic Automated Approach