Agents and classifiers a transaction logic approach

Presents a transaction logic (I_R) formal specification of a distributed architecture for learning classifier systems (LCS) based on a blackboard as a shared database and a set of agents, an architecture that brings parallelism to the LCS functionalities and caters for the distribution of classifiers and associate processes-the DICE system. ℑ_R captures the behaviour of the system in terms of state changes due to elementary updates embedded in the agent´s transactions. The blackboard is viewed as an active database system and the agents as a transaction bases; that is, sets of active rules and transactions