A parallel algorithm for real-time decision making: A rough set approach

摘要

We consider decision tables with the values of conditional attributes (conditions) measured by sensors. These sensors produce outputs after an unknown but finite number of time units. We construct an algorithm for computing a highly parallel program represented by a Petri net from a given decision table. The constructed net allows to identify objects in decision tables to an extent which makes appropriate decisions possible. The outputs from sensors are propagated through the net with maximal speed. This is done by an appropriate implementation of all rules true in a given decision table. Our approach is based on rough set theory (Pawlak, 1991). It also seems to have some significance for theoretical foundations of real-time systems.