On Logic-based Intelligent Systems
Daizhan Cheng · 2005
First, a new matrix product, called the semitensor product of matrices, is introduced. Then the logic operators are expressed in matrix form. Based on this form, the fuzzy logic is deduced in an axiomatic form. Finally, the logic-based intelligent control is considered.