and the competence
of intelligent agents in terms of a variety of formal systems:

For aspects of an inquiry process that affect its dynamic or
its temporal performance I will typically use representations
that are modeled on finite automata and differential systems.

For aspects of an inquiry faculty that reflect its formal or
its symbolic competence I will generally use representations
like formal grammars, logical calculi, constraint-based axiom
systems, and rule-based theories, all in connection with ma