Boolean array structures for a rule-based forward chaining inference engine
APL '87 Proceedings of the international conference on APL: APL in transition
Inference planning using digraphs and Boolean arrays
APL '89 Conference proceedings on APL as a tool of thought
Qualitative Aspects of Large Systems
Qualitative Aspects of Large Systems
DSS structure and algorithmic transparency in APL
APL '91 Proceedings of the international conference on APL '91
| Hi-index | 0.00 |
An automatic control system for managing the heating of a modern building may involve several thousands of components and feedback loops. As such systems grow, decomposition into (nested) subsystems becomes increasingly necessary.The subject of the poster session is complexity in large scale systems.We think we can make the computer manage the complexity in any system that can be described in a block-diagram.A variety of complex systems are represented by different types of block-diagrams. They have one theoretical concept in common: connectedness. Directed graphs (digraphs) can describe the fundamental concepts of structure and reachability, and graph theory provides a consistent mathematical theory of it.The South Bank Polytechnic and the Technical University of Denmark are actively concerned through industrial collaborators with problems ofenergy management for modern buildingscontrol of waste water in urban sewage networksfuzzy control of industrial processesengineering management systemsexpert system design for fault diagnosis and food poisoning diagnosis.All these problems require a tool for i) inputting and editing of graphs, and ii) an executable, array based model.In the late 70'ies Franksen, Falster & Evans (1979) proposed a description of control systems based on a Boolean array representation of digraphs. At APL87 Fordyce & Sullivan presented an inference mechanism for VLSI chip manufacturing, also based on Boolean array structures (Fordyce & Sullivan, 1987). The APL89 conference had a similar nested array approach (Jantzen, 1989), and recently, the beginning of a whole theory, based on the 'digraph approach' has been published (Reinschke, 1988).The poster session will present a digraph model, in which the nodes contain tree-structured, nested data. The oriented arcs display the flow of information. Internally each level of the diagram will be stored in a nested array. The user can draw the diagram directly on screen using a digitizer.The session will include live demonstrations offault diagnosis on a water tank model of a sewage networka structured approach to expert system designinteractive graphics for object oriented visual programming (APL2)frame based data systems (APL2).The demonstrations will emphasize the PC, PS/2 and RT/PC based aids to complexity management.The digraph approach promises speed and space gains due to the purely Boolean array representations, as well as user-friendliness due to automatic decomposition techniques.