论文部分内容阅读
针对命题逻辑中子句集中子句的划分以及冗余子句和冗余文字的概念，将命题逻辑中的文字分为必需文字、有用文字和无用文字，分别给出相应的等价描述方法，进而讨论三种文字之间的相互关系。另外，得到三种文字的判别方法，借助子句集的可满足性给出三种文字与相关子句集的可满足性的等价条件。
命题逻辑中子句集的文字的分类研究
【摘 要】
：
针对命题逻辑中子句集中子句的划分以及冗余子句和冗余文字的概念，将命题逻辑中的文字分为必需文字、有用文字和无用文字，分别给出相应的等价描述方法，进而讨论三种文字之间
【机 构】
：
西南交通大学
【出 处】
：
中国计算机学会多值逻辑与模糊逻辑专业委员会第十四届学术会议
【发表日期】
：
2014年期
其他文献
城市拥挤问题一直是城市发展所需要解决的难点问题，本文针对路口周边各路段的交通拥堵情况，提出一种基于神经网络和模糊算法相结合的实时监测和预测控制系统，应用神经网络和
在多标签分类问题中，多个标签共享同一个输入空间，而且同一个实例的不同标签之间也存在一定的相关性，所以在研究此类问题的时候，标签之间的关联性研究就显得尤为重要。现有的
会议
In this paper,the soft general topology is defined the general rough upper(lower)rough approximation is defmed on the soft topological space over the soft g
会议
苯酚是重要的有机化工原材料，广泛应用于石油化工、农业及塑料工业等。目前异丙苯法是世界上生产苯酚最主要的方法，其生产能力约占世界苯酚总产能的90％以上，但是异丙苯法存在工艺
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
为筛选甘蔗凤梨病防治药剂,寻求最佳使用技术方法,结合新植蔗下种,采用蔗种单芽包衣、双芽包衣、双芽浸种等3种方式对28.7%精甲霜灵·咯菌腈·噻虫嗪FS防治甘蔗凤梨病效果进
多示例多标记学习技术可用于图像分类，目前已有很多相关研究成果.本文通过改善图像包的生成方法，分割并提取图像的颜色和纹理特征，使用最小Hausdorff距离作为包间的距离度量
农业害虫的危害一直都是我国农业面临的重大难题。我们长期以来大量施用化学农药防治农业害虫。然而由于化学农药的滥用,给人类的健康和环境造成了巨大威胁,同时害虫产生了抗
为了处理在不确定性环境下的自动演绎，本文重点研究基于自动推理理论的推理方法，其理论是真值定义在格蕴涵代数结构上格值逻辑系统中的。在确定真值水平α的二元归结已有的