Title :
Formalizing an engineering approach to cooperating knowledge-based systems
Author :
Deen, S.M. ; Johnson, C.A.
Author_Institution :
Dept. of Comput. Sci., Keele Univ., UK
Abstract :
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.
Keywords :
cooperative systems; diagrams; knowledge based systems; software fault tolerance; agents; cooperating knowledge-based systems; cooperation block hierarchies; cooperation blocks; coordination; engineering approach; fault tolerance; holonic system; negotiation; state transition diagrams; task decomposition; termination; Artificial intelligence; Fault tolerant systems; Grounding; Humans; Knowledge based systems; Knowledge engineering; Manufacturing; Multiagent systems; Research and development; Usability;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
DOI :
10.1109/TKDE.2003.1161585
