Logic and logic-based control
Hongsheng QI
Daizhan CHENG
摘要：This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.
机标关键词：
分类号：TP13(自动化基础理论)TP18(自动化基础理论)
资助基金：国家自然科学基金(60274010)国家自然科学基金(60343001)国家自然科学基金(60221301)国家自然科学基金(60334040)
论文发表日期：2008-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：11( 26-36 )
英文信息