A transaction model for multiagent production systems

Author

Ishida, Toru

Author_Institution

NTT Commun. Sci. Lab., Kyoto, Japan

fYear

1992

fDate

2-6 Mar 1992

Firstpage

288

Lastpage

294

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Artificial Intelligence for Applications, 1992., Proceedings of the Eighth Conference on

Conference_Location

Monterey, CA

Print_ISBN

0-8186-2690-9

Type

conf

DOI

10.1109/CAIA.1992.200043

Filename

200043