“…In order to describe design activity, a theory must be explicit about the objectives, conditions for action, knowledge, action rules, and possibilities each agent or set of agent should have. In this section, we will give a revised formulation of a theory first presented by Choulier [74] with two axioms. Axiom 1 deals with the logic of propositions in design activity.…”