other,10-3-A88-1003,bq | architecture </term> in which individual <term> | partial theories | </term> can be encoded as separate modules | #14977 Thus we have implemented a blackboard-like architecture in which individual partial theories can be encoded as separate modules that can interact to propose candidate antecedents and to evaluate each other's proposals. |