逻辑系统NMG的满足性和紧致性.pdfVIP

ISSN RUXUEW． 1000—9825，CODEN Journal ofSoftware，V01．20，No．3，March2009，PP．515-523 http：／／www．jos．org．cn doi：10．3724／SP．J．1001．2009．0338I Te肝ax-+86．10 0 Institute Chinese reserved． by ofSoftware．theAcademyofSciences．Allrights 逻辑系统NMG的满足性和紧致性· 周红军1+，王国俊1’2 1(陕西师范大学数学与信息科学学院，陕西西安710062) 2(西安交通大学基础科学研究中心，陕西西安710049) and of SatisfiabilityCompactness NMG—LogicSystem ZHOU Guo．Junl·2 Hong．Junl+．WANG ofMathematicsandInformation Normal 1(College Science，ShaanxiUniversity，Xi’an710062，China) Centerfor 2(Research Science，Xi’an 710062，China) JiaotongUniversity，Xi’an +Correspondingauthor：E—mail：hjzhou@stn．8nnu．edu．cn and of Zhou珊，WangGJ．SatisfiabilltycompactnessNMG-logicsystem．Journalof 515-523．http：／／www．jos．org．cn／1000—9825／3381．1itm Abstract： is an of was that fuzzylogicsystems．Itproved Compactnessimportantproperty andtheformaldeductiveL+are propositionallogic，GOdelpropositionallogic，Productpropositionallogic system all aimofthe isto the ofthe NMG compact．The presentpaper provecompactnessfuzzylogicsystem by and the ofconsistenttheoriesoverNMG． consistenttheories characterizingmaximally byprovingsatisfiability Key system consistent words：fuzzylogic；logicNMG；maximally space 摘要： 也是紧的． 关键词： 模糊逻辑；逻辑系统ⅫⅥG；极大相容理论；满足性；紧致·I生；Cantor空间 中图法分类号：TPl8 文献标识码：A 模糊逻辑已经在智能控制等领域获得了成功的应用，有些技术甚至产业化，但其理论研究相对来说显得极 Elkan的许多观点是错误的，但模糊逻辑缺乏系统深入的理论研究是不争的事实．我国学者在这方面作了一些有 意义的研究工作[3-111．特别是建立了一种新型的模糊命题演算系统L“副并将其成功地应用于模糊推理的研究， 提出了模糊推理的