命题逻辑系统Γ结论的程度化的研究.pdfVIP

命题逻辑系统11结论的程度化研究书 张建成” 泉州师范学院数学与计算机学院。福建泉州362000 定理、完备性定理和计量逻辑理论。给出刻画一个命题爿是F．结论的程度化概念，研究一 个命题彳是r．结论的条件和性质：通过研究理论根的构造，获得了一个命题爿是r．结论 的程度化判别方法和计算公式。 关键词：命题逻辑：F一结论；理论根；程度化结论。 1 引言 在人工智能方面，使计算机具有人脑的思维形式的研究是重要课题。人们常常需要判断 给定的某个事物是否属于某种类别的基本问题。而在命题逻辑系统中为了推理需要，也常常 选取一些具有某些特性的好公式构成一个集合I’(称为理论)，通过合理的推理规则得到所 谓的r1一结论(所有的F一结论的集合记为D(r))。一个自然产生的问题是：给定一个命题 爿，如何判断它是r一结论，或者说它属于r一结论的程度有多大，这是一个重要的问题。 我们知道人脑的推理、判断并非“非此即彼”，而是近似的程度化方式。我们尝试用程度化 ukasiewicz命题逻辑三， 方法建立判断给定的命题爿是否是r一结论的方法。文章在L GSdel命题逻辑G，R。一命题逻辑r中给出一个命题4是理论11的结论(r一结论)的程 度化刻划，通过研究命题逻辑中理论根的构造，建立了判断一个给定的命题彳是11一结论的 理论依据和程度化计算方法。 2．预备知识 代数。这里_1是 F(S)的一元运算，与—}均是F(S)上的二元运算，则称S中的元素为原子命题(或原 子公式)，称F(5)中的元素为命题(或公式)． Y：Y．2tl’)j：(1)设rcF(S)，称r为逻辑系统的理论。 c (2)设FF(S)．从F出发的推演是～‘个有限的公式序列Al，…，4，，这里对每个 4(i≤胛J，A，是公理或彳，∈11，或存在／，ki使A，是由A，与A々使用 MP规则推得的结果，彳。叫做r一结论，或r推出A。， 记作r卜4。。当F=平时，r一结论就是称为定理，(P卜爿简记为卜彳。 lgR3t51：这里命题逻辑的赋值格为L=[0，l】，在正中定义： 众所周知，不同的隐含算子和对应的t模确定不同的逻辑系统，这里列出三个常用的隐 含算子和对应的t模如下： (2)％(咖)一口一6一{≥三量：；姻扛minp，b)双b∈_； ‘基金项目：福建省自然科学基金项目。 ”张建成(1954年8月)，男，福建省泉州师范学院教授，研究方向：不确定推理．通讯地址：福建省泉州 市丰泽区东海滨城泉州师范学院数学与计算机学院，362000，舀!q!@l：§￡垡n． 170 辑系统分别称为Lukasiewicz命题模糊逻辑三，G6del命题模糊逻辑G，R。一命题逻辑r． 定义4【l，5】 ：若映射D：F(回一Z满足下列条件，则称u为F(s)的赋值： 全体赋值构成的集合记为Q。 如果对每一个赋值u，公式么均有u(A)=i，那么称彳为重言式，记作|-A． 我们可以进一步定义逻辑连接词A,v如下： (2)在r， A^B=-4—4V—B、． 定义5‘51：设彳为含m个原子公式的公式，A=A(A，Pz，…，‰)，则彳对应一 个m元函数彳，A：L”斗上．这里么(‘，…，‰)是由运算符号、v^’专将五，…，％连 原子公式Pl，…，P。连接而成那样，称A是公式A所诱导的函数。 定义6‘51：设彳=A(P1，见，…，以)是F(s)中含有珈个原子公式B，…，‰的公式， 彳(五，…，％)是彳所诱导的函数，规定r(爿)=j：：…rj(五，…，‰)幽…丸，则称f(彳)为 公式A的真度。 {4，4，．．．，么，}卜B。 c 定理2㈦1(广义演绎定理)：设r f’(S)，A，B∈，’(S)，则 FA”专B： (1)在三中，FU{A，I-B当且仅当存在m∈Ⅳ设r (2)在G中，FU{彳I-B当且仅当FI-A—B：