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.