A System for Representing and Using Real-World Knowledge

This report describes a knowledge-base system in which the information is stored in a network of small parallel processing elements ??de and link units ??ich are controlled by an external serial computer. This network is similar to the semantic network system of Quillian, but is much more tightly controlled. Such a network can perform certain critical deductions and searches very quickly; it avoids many of the problems of current systems, which must use complex heuristics to limit and guided their searches. It is argued (with examples) that the key operation in a knowledge-base system is the intersection of large explicit and semi-explicit sets. The parallel network system does this in a small, essentially constant number of cycles; a serial machine takes time proportional to the size of the sets, except in special cases.

A Multiple-Context Equality-Based Reasoning System

Expert systems are too slow. This work attacks that problem by speeding up a useful system component that remembers facts and tracks down simple consequences. The redesigned component can assimilate new facts more quickly because it uses a compact, grammar-based internal representation to deal with whole classes of equivalent expressions at once. It can support faster hypothetical reasoning because it remembers the consequences of several assumption sets at once. The new design is targeted for situations in which many of the stored facts are equalities. The deductive machinery considered here supplements stored premises with simple new conclusions. The stored premises include permanently asserted facts and temporarily adopted assumptions. The new conclusions are derived by substituting equals for equals and using the properties of the logical connectives AND, Or, and NOT. The deductive system provides supporting premises for its derived conclusions. Reasoning that involves quantifiers is beyond the scope of its limited and automatic operation. The expert system of which the reasoning system is a component is expected to be responsible for overall control of reasoning.

Granular Attrition due to Rotary Valve in a Pneumatic Conveying System

The rotary valve is a widely used mechanical device in many solids-handling industrial processes. However, it may also be responsible for most of the attrition effects occurring in a typical process. In this study, the attrition effects occurring in a rotary valve operating as a stand-alone device and as part of a pneumatic conveying system were investigated. In the former case granular attrition was carried out at three different rotary valve speeds and the experimental results obtained were found to be in good agreement with the Gwyn correlation. In the latter case three typical air flow rates were used in the pneumatic conveying system. The size distribution of the attrition product obtained at the lowest air flow rate used was not adequately described by the Gwyn correlation. The attrition process and mechanisms involved were analysed and the minimum size of the attrition product obtained from both modes of operations was found to be similar.