逻辑代数的集合图方法的注记

来源 :第四届全国逻辑系统、智能科学与信息科学学术会议 | 被引量 : 0次 | 上传用户：tao1624

【摘要】

：

　　利用极小项与命题变项个数之间的关系指出了文[1-2]给出的四、五变量集合图的错误。利用Euler公式说明了四个变量以上的集合图不具有可平面性。

【作者】

：

Chen Yongming[1] 陈勇明[2] Xie Haiying[1] 谢海英[2]

【机构】

：

DepartmentofComputationScience,ChengduUniversityofInformationTechnology,Chengdu,610225成都信息工程学院计算科学系成

【出处】

：

第四届全国逻辑系统、智能科学与信息科学学术会议

【发表日期】

：

2008年11期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

　　利用极小项与命题变项个数之间的关系指出了文[1-2]给出的四、五变量集合图的错误。利用Euler公式说明了四个变量以上的集合图不具有可平面性。

其他文献

《经言祖语》：《最上乘论》关于心的论述(9)

会议

用数或数字起卦的某些方法

　　因为在传统的易学及易学应用的过程中，受汉朝以后的儒学、儒术的多仅以“形而上”推崇目的的影响，往往对易学、“象数易学”与自然科学和“形而下”科学技术、技

会议

谈天论地看人间

　　易学文化的研究，古人是从立脚于地，着眼于天，感悟于自然，而进行辩证思维，归纳总结，用纳甲、五行、八卦、象数、时间、方位等穷万物之理，测万物之变化的方法论。学易者

会议

中国宗教慈善的历史文化特色

　　要理解中国慈善的现状，就是研究中国慈善的心理动力模式，要研究中国慈善的传统文化背景。自鸦片战争打开传统中华帝国的大门以后，中国与世界的交流越来越频繁，越来

会议

论代数、逻辑和智能系统之间的对应关系

　　代数与逻辑的关系在数学中是众所周知的，逻辑与智能系统的关系在计算机科学中已有深入的研究，但代数、逻辑和智能系统的统一的对应关系在计算机科学教学和研究中

会议

基于SVO逻辑的电子商务协议非否认性形式化分析

　　非否认性是电子商务协议应该具备的一个重要特性.SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用.本文通过对SVO逻辑分析推理规则进行扩展，将其运用到

会议

基于哲学本体论的真值演算系统--实现计算机理解自然语言的逻辑方法

　　计算机理解自然语言是实现智能化计算的技术核心，但现代计算技术及其理论的逻辑局限性，使得希望通过机械方法来理解自然语言即计算人类思维过程的技术目标无法实

会议

基于ALC的扩展描述逻辑ALC+

　　本文首先介绍了描述ALC语法和语义，并指出ALC的不足；然后提出了ALC+，它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器

会议

命题逻辑的文氏图方法

　　系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法。通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取

会议

命名实体识别与提取分析

　　命名实体的识别是信息抽取的前提与重要组成部分，广泛地应用于自动问答系统、语义信息提取系统、文本摘要等自然语言处理系统之中。当前命名实体的识别技术主要

会议

逻辑代数的集合图方法的注记

与本文相关的学术论文