多值Lukasiewicz逻辑公式的范式表示和计数问题

王庆平; 王国俊

首页> 中文期刊> 《软件学报》 >多值Lukasiewicz逻辑公式的范式表示和计数问题

多值Lukasiewicz逻辑公式的范式表示和计数问题

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

将符号化计算树逻辑中的Shannon展开式做了推广,在n值ukasiewicz逻辑系统n中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题,并在n值ukasiewicz逻辑系统n中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题.

著录项

来源
《软件学报》 |2013年第3期|P.433-453|共21页
作者
王庆平; 王国俊;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类自动推理、机器学习;
关键词
Shannon展开式; n值McNaughton函数; 准析（合）取范式; 逻辑等价类; 计数问题;

相似文献

中文文献
外文文献
专利

1. 多值Łukasiewicz逻辑公式的范式表示和计数问题∗ [J] . 王庆平 ,王国俊 . 软件学报 . 2013,第003期
2. n值Lukasiewicz逻辑系统中公式的向量表示及其研究 [J] . 高晓莉 ,惠小静 ,朱乃调 . 计算机科学 . 2016,第S2期
3. L3*中逻辑公式的范式表示及对称逻辑公式的构造方法 [J] . 王庆平 . 计算机学报 . 2013,第004期
4. 多值逻辑公式间的伪距离的Boole函数表示 [J] . 马巧云 ,吴洪博 . 计算机工程与应用 . 2015,第023期
5. Lukasiewicz多值逻辑系统中的相似度及伪距离 [J] . 刘艳 ,郑慕聪 . 西安科技大学学报 . 2005,第002期
6. 关于de Bruijn序列的多值逻辑函数表示 [C] . 谢深泉 . 2002年全国理论计算机科学学术年会 . 2002
7. Lukasiewicz逻辑系统中公式的真度理论和逻辑度量空间 [A] . 李璧镜 . 2006

多值Lukasiewicz逻辑公式的范式表示和计数问题

摘要

著录项

相似文献

相关主题

期刊订阅