Title :
A transaction model for multiagent production systems
Author_Institution :
NTT Commun. Sci. Lab., Kyoto, Japan
Abstract :
A transaction model for multiagent production systems communicating through shared working memory is proposed. To realize arbitrary interleaved rule firings of multiple agents, each transaction is formed when a rule is selected for firing. An efficient concurrency control protocol, called the lazy lock protocol, is introduced to guarantee the serializability of rule firings. As a result of allowing interleaved rule firings, however, ensuring the serializability becomes no longer enough to guarantee the consistency of the shared working memory. A logical dependency model and its maintenance mechanisms are thus introduced to overcome this problem
Keywords :
concurrency control; knowledge based systems; parallel processing; transaction processing; arbitrary interleaved rule firings; concurrency control protocol; lazy lock protocol; logical dependency; maintenance mechanisms; multiagent production systems; shared working memory; transaction model; Autonomous agents; Database systems; Fires; Flow production systems; Laboratories; Memory architecture; Problem-solving; Production systems; Protocols;
Conference_Titel :
Artificial Intelligence for Applications, 1992., Proceedings of the Eighth Conference on
Conference_Location :
Monterey, CA
Print_ISBN :
0-8186-2690-9
DOI :
10.1109/CAIA.1992.200043
