5 - Declarative/Logic-Based Cognitive Modeling

Summary

This chapter talks about systematization of a particular approach to modeling the mind: declarative computational cognitive modeling. The goal of computational cognitive modeling and the goal of declarative computational cognitive modeling and systematization in logic-based computational cognitive modeling (LCCM) are to understand the kind of cognition distinctive of human persons by modeling this cognition in information processing systems. LCCM is made based on a generalized form of the concept of logical system as defined rather narrowly in mathematical logic. This chapter shows how the problems can be solved in LCCM in a manner that matches the human normatively incorrect and normatively correct responses returned after the relevant stimuli are presented. This chapter explains LCCM as a formal rationalization of declarative computational cognitive modeling. It also presents the attempt to build computational simulations of all, or large portions of, human cognition, on the basis of logic alone.