Optimization and Systems Theory Seminar
Friday, May 27, 2005, 11.00-12.00, Room 3721, Lindstedtsvägen 25

Professor Daizan Cheng
Institute of Systems Sciences
Chinese Academy of Sciences
Beijing
China

Semi-tensor Product of Matrix and its Applications to Logic

To begin with, we re-visit the "Semi-tensor product" of matrices, proposed by the author. It is a generalization of the convenient matrix product, defined for A(mxn)B(pxq). As n = p it coincides with conventional matrix product. Next, the logic operators (connectives) are expressed in matrix form. Based on this form, the logic formulas can be easily proved. A canonical form of logic expressions is proposed. Using it the logic deductions can be easily carried out. In fact, all the deduction rules are automatically executed by the matrix calculations. The the matrix expression and the technique are extended to multi-value logic and similar results are obtained. Finally, the technique is applied to fuzzy control systems.
Calendar of seminars
by Anders Forsgren.