逻辑公式相关论文
根据《海南省财政厅关于省本级部门预算编制工作考核评比情况的通报》,海南省总工会荣获2017年度财政预算编制工作一等奖。为做好......
本文重点阐述了文献语言的数学表达式及其在不同场合的不同用法。
This article focuses on the mathematical expressions of do......
在各种专业或私人情境中,人们经常需要整合不同的意见来判断某一观点的对错。当观点的形式类似于将多个论点组合而成的逻辑公式(使......
当今社会,网络技术发展的相当迅速,数字资源得到高效率共享,但这也使数据库系统面临着更大的信息处理压力。数据库系统主要有两方......
2006年9月24~27日,由国家自然科学基金资助、中山大学逻辑与认知研究所与德国帕德博恩大学国际动态智能系统研究院及计算机科学系联......
阜阳市局 £4a 局长——_MINtkMMtgj’#lnH$B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
本文对让步句的语意重心进行分析,主要从让步句的语义背景特征入手来对让步句的逻辑系统构建进行一个前准备。在构建让步句的逻辑......
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性......
针对目前已开发出的电气倒闸操作票系统规则数据库维护较繁琐的状况,自主开发了适用于多变电站的操作票专家系统。该系统以VisualC+......
复杂反应式系统通常包含大量行为,因此难以对它们进行全面而深入的测试.本文提出了一种用于反应式系统的选择性测试方法,对于描述......
本文基于邻域系统定义了邻域拓扑内点(I)和邻域拓扑闭包(C),并由它定义了邻域系统上的Rough集.利用邻域拓扑内点和邻域拓扑闭包描......
该文试图用并发进程描述时序电路,用时态逻辑公式来刻画它的某些特性,借助STeP演绎证明系统,证明了该电路具有时态逻辑公式所描术的特性,同......
本文介绍了一个基于模糊关系数据库及模糊推理规则概念的原型模糊信息系统,该原型系统可对非精确数据以及知识描述中的不确定性进行......
符号主义和连结主义是人工智能研究的两个主要流派。近年来,将两者结合起来的研究引起了广泛的兴趣。此文提出一种有语义的连结主义......
该文引入了格值逻辑的L-素蕴含项的概念,并利用格论工具,讨论了L-素蕴含项的性质,进而给出一种格值逻辑公式化简的方法。......
n个变量的模糊开关函数f是映射〔0,1〕[*n*]→〔0,1〕的一种表达式,使f可用Kleene代数中算子的逻辑公式表示,该文综述有关简化模糊开关......
1.大盘连续空间运行定理:稳中有涨,涨幅有限 沪深股市是一个初级股市,多数上市公司目前投资价值低,未来投资价值高,这样总体长期走......
问题求解是人工智能中的一大类问题。本文基于动态模糊逻辑(DFL),以动态模糊(DF)产生式作为问题的表示方法,用动态模糊(DF)与/或语......
本文根据顺序控制电路的图解理论详细论述了顺序控制电路的结构与程序图的关系,整理出近二十种典型电路的程序图和逻辑公式,并举例......
在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的......
计算语义研究的是一种可计算的语义表示形式。要使汉语语义分析过程成为一个计算过程,必须将汉语语句抽象为数学表达式。函子是汉语......
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子......
智能信息处理一直是众多学者密切关注的研究方向,计算机科学的迅速发展为其理论研究和实际应用提供了广阔的前景,其中软件工程与人......
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型,本文给出了一种新的PI推理的定义,并且对PI归结的......
真度,是衡量一个公式的真实程度的新指标.精确刻画逻辑公式真度的方法首先是在经典的二值命题逻辑中而不是在多值逻辑中给出的。那么......
本文利用概率测度来度量模糊命题逻辑公式的真度,定义了公式的α-真度,并研究了其相关性质.首先在[0,1]赋值格上研究公式的α-真度,定义......
在知识表示和自动推理领域,命题逻辑是一种极其重要的形式化语言,其中命题逻辑可满足性问题是研究最广泛的核心问题之一,约简命题逻辑......
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系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.......
期刊
文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求(』)A,A ∨ B,A∧B,A→B,A(→)B的主范式的公式,由此可......
规模空前2005年4月11日,被誉为世界四大国际机床名展之一的CIMT迎来了她的第九次盛会,来自德国、美国、日本、瑞士、意大利、英国......
本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻......
...
文献[1—3]都给出了Fuzzy逻辑公式的若干性质,除此之外,本文给出了另外的一些性质,这些性质对研究Fuzzy逻辑公式的简化都是非常有......
论商业银行的职工教育魏兆洪随着农业银行向商业银行转变,农业银行的职工教育也面临向商业银行职工教育接轨的问题.如何认识商业银行......
以L^*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一......