System resources distribution by the use of linear logic
The problem of an organizational system structure change is discussed in the case of a new task appearance. The lattice of tasks a system is able to decide is associated with a distributed or organizational system. An external product operation on the lattice elements is defined. Correspondently linear logic operations also are defined. Implication is used in system reconfiguring choice i.e. in choice of resource to new task execution. Demonstrated, that this choice may be determined by tasks lattice structure and product operation definition in many respects. The reconfiguring method use is showed at the example of robots street cleaners operation.