### 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.
*