ACT's Propositional Network

This section will define and motivate propositional networks. The next section describes ACT's propositional network, which is similar to the HAM representation. The final section presents a formalization of the syntax for the ACT network.