[ACT-R-users] abstract models & designing from specifications

[Gustavo Lacerda]

Hello all,

I imagine that it might be nice to be able to formally represent
incomplete or abstract models, in order to reason about them (or
possibly to perform abstract simulations, in which e.g. some
parameters are not precisely instantiated, or some
production-sequences don't have a specified amount of time to last).

For instance, instead of speculatively implementing a particular
sequence of productions, one could stick to writing a specification
like "this part of our model takes input X and produces output Y",
since we don't know how exactly it gets from X to Y. And just as
design patterns in software engineering are used for creating software
from specifications, one could create a library of commonly-occurring
cognitive patterns for the purposes of later reuse in creating
plausible models.

Have these ideas been discussed before? Any references?

Gustavo

-- 
Gustavo Lacerda
http://www.optimizelife.com

Netiquette: if sending a message to multiple recipients (>3), please
make sure to hide my email in the BCC. This prevents spam.