模糊有穷自动机与单体二阶Lukasiewicz逻辑  

Fuzzy Finite Automata and Monadic Second-Order Lukasiewicz Logic

作　　者：李永明[1] 

机构地区：[1]陕西师范大学计算机科学学院,西安710062

出　　处：《计算机学报》2008年第10期1788-1794,共7页Chinese Journal of Computers

基　　金：国家自然科学基金(10571112);国家"九七三"重点基础研究发展规划项目专项经费(2002CB312200);教育部重点研究项目(107106)资助

摘　　要：该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.The authors introduce monadic second-order （MSO-） Lukasiewicz logic and prove that the behaviors of fuzzy finite automata are precisely the fuzzy languages definable with sentences of the MSO Lukasiewicz logic. This generalizes Buchi＇s and Elgot＇s fundamental theorems to fuzzy logic setting. The authors also consider first-order Lukasiewicz logic and show that star-free fuzzy languages and aperiodic fuzzy languages introduced here coincide with the first-order definable ones.

关 键 词：模糊逻辑 有穷自动机 单体二阶Lukasiewicz逻辑 模糊语言 模糊计算 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]