平衡逻辑公式在逻辑度量空间中的分布.pdfVIP

第27卷第1期 模糊系统与数学 Vol-27。No．1 2013年2月 andMathematics FuzzySystems Feb．，2013 文章编号：1001—7402(2013)01—0055—08 平衡逻辑公式在逻辑度量空间中的分布+ 胡明娣 (西安邮电大学通信与信息工程学院，陕西西安 710121) 摘要：引入了平衡逻辑公式的概念，证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式。并 且n元平衡逻辑公式中等价类关于一，V，^，一运算封闲，等价类之集[A](A是以元平衡逻辑公式)关 于包含序在V，^下构成一个格。证明了行元平衡逻辑公式只占全体行元逻辑公式的很小一部分，其比 1 例随n的增大而趋向于零。其次，n元平衡逻辑公式的真度总是等于÷，任一起元平衡逻辑公式的任意 6 1 小的邻城内都有非平衡逻辑公式，但是这些公式的真度随”的增大而趋向于÷。最后，给出了平衡逻辑 二 公式的表示定理。 关键词：平衡本尔函数；平衡逻辑公式；逻辑度量空间；真度；逻辑等价 中圈分类号：0141 文献标识码：A 1 引言 现实世界中的命题是多种多样的，其中有大量的具体命题是不能简单地用“真”和“伪”对其可信性 作二值判断的，而应当对它们的可信性程度进行量化判断。因此，王国俊教授将程度化思想引入到了数 理逻辑之中，建立起了计量逻辑学的基本理论[】“]。此后又与概率逻辑学相结合，将随机化思想引人到 应的逻辑度量空间，从而将近似推理引入到了素以严格的形式化推理为特征的各种命题逻辑系统之中。 值得注意的是，除了个别零星的结果而外[9_1 2|，可以说对于逻辑度量空间自身结构的研究尚需发展。由 于对于二值命题逻辑而言，逻辑公式的真度完全由其诱导的布尔函数所决定，而在密码学中已经对布尔 函数有了非常深刻的研究[13|。在长期的生产实践和研究中，人们发现为了保证密码系统有较强的保密 功能，在不同背景下使用的布尔函数应满足不同的性质，比如，对称性、平衡性、非线性性等等。其中，更 为重要的是平衡性，具有高非线性度的平衡布尔函数的构造是密码学和序列设计中的重要课题口卜¨]。 所以，如果能设法将那里有关布尔函数的各种性质引入到数理逻辑之中，必将会有力地促进计量逻辑学 的发展。基于这种考虑，文献[11]将密码学中对称布尔函数的概念引入到了二值计量逻辑学理论之中， 定义了对称逻辑公式和准对称逻辑公式，深入讨论了它们在经典逻辑度量空间中的分布。本文继文献 [11]的思路，继续开展对密码学中特殊布尔函数——平衡布尔函数相应的逻辑公式的特征和分布的研 究。主要内容如下：引入了平衡逻辑公式的概念，证明了和一个平衡逻辑公式等价的逻辑公式都是平衡 逻辑公式。并且咒元平衡逻辑公式中等价类关于-7，V，^，一运算封闭，等价类之集[-AJ(A是竹元平衡 qt-收稿日期：2011-05—11；修订日期：2011-11—19 基金项目：国家自然科学基金重点资助项目；陕西省科技厅国际合作重点项目(2012KW一03—01) 作者简介：胡明娣(1970一)，女，西安邮电大学通信与信息工程学院副教授，博士，研究方向：模糊推理与人工智能。 万方数据 模糊系统与数学 逻辑公式)关于包含序在V，八下构成一个格。其次，证明了挖元平衡逻辑公式只占全体靠元