摘要
该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与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.
出处
《计算机学报》
EI
CSCD
北大核心
2008年第10期1788-1794,共7页
Chinese Journal of Computers
基金
国家自然科学基金(10571112)
国家"九七三"重点基础研究发展规划项目专项经费(2002CB312200)
教育部重点研究项目(107106)资助
