Society diagnosis. IV. Local reasoning, global reasoning and diagnosis algorithms

For pt.III see IEEE ISMVL-88, p.113-7 (1988). The diagnosis process is divided into two stages: local reasoning, which transforms the person-event-person model into an ordinary person-to-person model, and global reasoning, which gives the final solution. Theorems for t /{x}, (t/{x})₁, and (t /{x})/ s-diagnosability are derived, and an algorithm for generating a syndrome with complexity O(n×| R|) and a global diagnosis algorithm with complexity O(n ²+n×|E|) are introduced. The results indicate that social diagnosis is possible