TY - GEN
T1 - A transaction model for multiagent production systems
AU - Ishida, Toru
PY - 1992/2/1
Y1 - 1992/2/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0026817285&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0026817285&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0026817285
SN - 0818626902
T3 - Proceedings of the Conference on Artificial Intelligence Applications
SP - 288
EP - 294
BT - Proceedings of the Conference on Artificial Intelligence Applications
PB - Publ by IEEE
T2 - Proceedings of the 8th Conference on Artificial Intelligence for Applications
Y2 - 2 March 1992 through 6 March 1992
ER -