Accession Number:

ADA576805

Title:

Patterns and Conflicts for the Specification and Verification of Cognitive Models

Descriptive Note:

Corporate Author:

OAKLAND UNIV ROCHESTER MI

Personal Author(s):

• MacKlem, A.
• Mili, F.
• Adams, C.
• Dungrani, S.

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.

Descriptors:

• *COMPUTER APPLICATIONS
• *PROBLEM SOLVING
• GRAMMARS
• SPECIFICATIONS
• VERIFICATION

Subject Categories:

• Computer Programming and Software
• Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE