逻辑公式相关论文
当今社会,网络技术发展的相当迅速,数字资源得到高效率共享,但这也使数据库系统面临着更大的信息处理压力。数据库系统主要有两方......
本文对让步句的语意重心进行分析,主要从让步句的语义背景特征入手来对让步句的逻辑系统构建进行一个前准备。在构建让步句的逻辑......
智能信息处理一直是众多学者密切关注的研究方向,计算机科学的迅速发展为其理论研究和实际应用提供了广阔的前景,其中软件工程与人......
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型，本文给出了一种新的PI推理的定义，并且对PI归结的......
真度，是衡量一个公式的真实程度的新指标．精确刻画逻辑公式真度的方法首先是在经典的二值命题逻辑中而不是在多值逻辑中给出的。那么......
本文利用概率测度来度量模糊命题逻辑公式的真度，定义了公式的α-真度，并研究了其相关性质．首先在[0，1]赋值格上研究公式的α-真度，定义......
在知识表示和自动推理领域，命题逻辑是一种极其重要的形式化语言，其中命题逻辑可满足性问题是研究最广泛的核心问题之一，约简命题逻辑......
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性......
DRS是Discourse Representation Structure(话语表征结构)的简称,是DRT的灵魂部分.DRT即Discourse Representation Theory,在国内......
引入了语言真值格值一阶逻辑系统Lv(n×2)F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真......
在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.......
以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,......
研究了G(o)del逻辑系统和L*逻辑系统中公式的真度的分布情况.结果表明在G(o)del逻辑系统和L*逻辑系统中含有n个原子命题的公式(n元......
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.......
期刊
规模空前2005年4月11日,被誉为世界四大国际机床名展之一的CIMT迎来了她的第九次盛会,来自德国、美国、日本、瑞士、意大利、英国......
本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻......
以L^＊系统为背景，针对由单个原子生成的公式，解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0，1/8,2/8,3/8,…7/8,1之一......
对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述.本文提出了用等式......
针对常规关联规则定义中未涉及项域划分的问题,提出极大关联规则是对常规关联规则的有益补充.以软集理论和软集逻辑公式为主要工具......
基于逻辑公式定义了逻辑型决策蕴涵。设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完......
根据信息理论的一些基本观点首次定义了决策逻辑系统中公式的信息熵,由此给出了知识系统中推理规则信息熵的定义.然后讨论了推理规......
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题（VDF问题）,即满足什么条件的函数可由逻辑公式......
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统(L4(X))中的逻辑公式进行计算.本方法可以对逻辑公式的原......
研究了数理逻辑的若干应用,即利用数理逻辑证明某些数学证明方法的合理性,证明集合论中的某些关系,证明数学分析中的“一致”与“......
为充分利用NTFS提供的文件（夹）级别的基于角色的访问控制技术，根据角色表和用户所需权限矩阵分析了角色指派应满足的逻辑条件，建立了用......
