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, im...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.展开更多
This paper discusses complete binary trees as chromosomes of Genetic Algorithm (GA), and proposes the concept of dominant and recessive genes. On the base of it, a new crossover operator with the selective ability was...This paper discusses complete binary trees as chromosomes of Genetic Algorithm (GA), and proposes the concept of dominant and recessive genes. On the base of it, a new crossover operator with the selective ability was designed. Finally experimental results are presented.展开更多
With the advancement of globalization,university students need not only to master English language skills but also to develop critical thinking and logical expression skills,both of which are crucial for academic and ...With the advancement of globalization,university students need not only to master English language skills but also to develop critical thinking and logical expression skills,both of which are crucial for academic and professional success.As an interactive and structured learning activity,English debates provide an effective platform for enhancing these cognitive and linguistic skills.This study investigates the impact of English debates on students’critical thinking and logical expression skills by analyzing pre-and post-debate assessments,survey data,and in-depth interviews with debate participants.The results indicate significant improvements in critical thinking skills,including argumentation logic,rebuttal techniques,and problem awareness.Students also demonstrated notable progress in organizing and expressing complex ideas logically in English.These findings offer valuable insights for English teaching in higher education,suggesting that debates can serve as an effective pedagogical tool for fostering both language and cognitive development in university students.展开更多
This paper resolved an open problem proposed by A .P. Stolboushkin and M .A. Taitslin. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classes K_1 , K_2, …, RG ...This paper resolved an open problem proposed by A .P. Stolboushkin and M .A. Taitslin. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classes K_1 , K_2, …, RG K_1 K_2 … RF, such that L (RG)<L (K_1)<L (K_2) < … < L (RF), where RG, RF are regular program class and finitely generated recursively enumerable program class respectively, and L (K) is the first order dynamic logic of program class K.展开更多
基金the National Natural Science Foundation of China (No.60274010, 60343001, 60221301, 60334040)
文摘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.
文摘This paper discusses complete binary trees as chromosomes of Genetic Algorithm (GA), and proposes the concept of dominant and recessive genes. On the base of it, a new crossover operator with the selective ability was designed. Finally experimental results are presented.
文摘With the advancement of globalization,university students need not only to master English language skills but also to develop critical thinking and logical expression skills,both of which are crucial for academic and professional success.As an interactive and structured learning activity,English debates provide an effective platform for enhancing these cognitive and linguistic skills.This study investigates the impact of English debates on students’critical thinking and logical expression skills by analyzing pre-and post-debate assessments,survey data,and in-depth interviews with debate participants.The results indicate significant improvements in critical thinking skills,including argumentation logic,rebuttal techniques,and problem awareness.Students also demonstrated notable progress in organizing and expressing complex ideas logically in English.These findings offer valuable insights for English teaching in higher education,suggesting that debates can serve as an effective pedagogical tool for fostering both language and cognitive development in university students.
基金Supported by HTP863 the fund of Beijing laboratory of cognitive science
文摘This paper resolved an open problem proposed by A .P. Stolboushkin and M .A. Taitslin. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classes K_1 , K_2, …, RG K_1 K_2 … RF, such that L (RG)<L (K_1)<L (K_2) < … < L (RF), where RG, RF are regular program class and finitely generated recursively enumerable program class respectively, and L (K) is the first order dynamic logic of program class K.
