Lukasiewicz命题逻辑系统一种新的理论的相容度.pdfVIP

维普资讯 第36卷第6期 数 学 进 展 V01．36．N0．6 2007~12月 ADVANCESIN M ATHEMATICS Dec．，2007 LukasiewliCcZz命箭题题逻辑组系杀兰统允 一 种新的理论的相容度 张建成 ，王国俊 (1．泉州师范学院理工学院，泉州，福建， 362000；2．陕西师范大学数学研究所，西安，陕西，710062) 摘要： 根据演绎定理和完备性定理，应用公式真度理论在 Lukasiewicz命题模糊逻辑系统中讨 论理论r的相容性，根据矛盾武 是 r一结论的真度的大小，提出了一种新的极指标和相容度的概 念．给出了理论r相容、不相容及其它相关结论的充分必要条件，并且获得了相容度与发散度之间 联系的重要关系式． 关键词： 理论；演绎定理；真度；发散度；极指标；相容度 MR(2000)主题分类：03B05；03B50／中图分类号： 0141．1；O153 文献标识码：A 文章编号：1000-0917(2007)06—0761—08 0引言 命题逻辑系统是由字符表、公式集、公理集和推理规则等构成．人们常从公式集 F(S)中 挑选出认为好的或者需要的公式集 r通过合理的推理得到 r一结论．一般来说，r一结论相当 多，一个 自然的问题是： r一结论的集合 D(F)好还是不好?如果矛盾式 石是 r一结论，那么 D(F)：F(．5r)，这样的r是没有什么用的．如果 不是r一结论，那么如何区分矛盾式 是r结 论的程度的大小呢?或者说矛盾式 是 r结论的真度有多大?当然，真度小的那种r结论比真 度大的要好．为了探讨理论r在这方面的情况，区分不同r的表现程度，文 [1]在综合了 2【]中 的相应结果和给出了下面的 (1)所描述的理论 r的不相容性概念之后指出要给出恰当的理论相 容度概念不是一件容易的事．文 5【]首次基于理论 r的发散度理论提出了由下面的 (2)所给出 的r的相容度的概念．此后 [5]中的方法在不同的方面得到了改进，在 [6]和 [8]中分别给出了 由下面的 (3)和 (4)所刻画的相容度公式． (1)Incons(F)：∑{0Ir 卜。A八_1AandA∈ ．￡(r))． (2) (r)： lim [1一div(F)(1一 [＆几，r])]，其中＆几，r： ，div(F)=sup{p(A，B) A，B∈J[)(r))． (3) (F)：1一~div(F)(1十 (r))，其中 (r)：max{p[n(A，B)]lA，B∈J[)(r))． (4)nn(r)：1一~div(r)(2～JR(r))，其中 jn(P)：1一max{[Tn(Z(w(n))一0)]I∑∈2r【)，I∑I=n，w(n)∈N ，n∈Ⅳ)， ㈤ ：： 一 一”一 ， 收稿日期： 2005—0105．修改稿收到日期： 2007-04-19． 基金项目：国家自然科学基金资助项目(No，福建省自然科学基金计划资助项目(No．2006J0221) E-maih}zjcqz@126．com 维普资讯 762 数 学 进 展 式 (1)给出的不相容度对多值逻辑并不适合，因为 AA 并不一定是矛盾式．式 (2)和式 (3)式给出的相容度和极指标概念都是从发散度来定义的．由于发散度与相容度并不反映理论F 的同一特征，我们当然考虑到可否从有别于发散度的另一角度来描述相容度．文 7『1根据演绎定 理，对二值命题逻辑系统和命题模糊逻辑系统 c 在有限理论 F=f ，… ， 的情况下给出 了新的相容度，其定义分别如下面所列： (5)Consist(F)=