Patterns and Conflicts for the Specification and Verification of Cognitive Models

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 24, 2004
Accession Number
ADA576805

Entities

People

  • A. Macklem
  • C. Adams
  • F. Mili
  • S. Dungrani

Organizations

  • Oakland University

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Cognition
  • Cognitive Science
  • Command And Control
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Engineering
  • Errors
  • Language
  • New York
  • Software Development
  • Specifications
  • Standards
  • Validation
  • Verification

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design