Issue No. 01 - January/February (2003 vol. 15)
<p><b>Abstract</b>—A theoretical grounding is provided for a Cooperating Knowledge-Based Systems (CKBS) model which is based upon agents, cooperation blocks, and cooperation block hierarchies. Our model describes the requirements for task decomposition, negotiation, cooperation and coordination, fault tolerance, and recoverability, these requirements in turn defining a holonic system. The behavioral properties of our model are described using state transition diagrams and properties of correctness and termination are proven.</p>
Cooperating Knowledge Based Systems (CKBS), cooperation blocks, task decomposition, negotiation, cooperation, coordination, fault tolerance, recoverability, holonic systems.
S. Deen and C. Johnson, "Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems," in IEEE Transactions on Knowledge & Data Engineering, vol. 15, no. , pp. 103-117, 2003.