合取式相关论文
本文首先从北京大学汉语语言学研究中心现代汉语语料库搜索了否定词与“或(者)”同现的其中100条例句,再按照其所表达的是a.p∨q,......
本文提出一种基于对规则语义“了解”的元知识对知识进行处理的方法:利用元知识静态检查知识的相容性,并利用元知识对规则进行静态......
本文介绍了目前应用较为广泛的产生式专家系统知识库的不一致和冗余的几种可能的规则或规则链形式,并给出了一致性和冗余性检查的......
结合工程实践之需要,提出了模糊逻辑合取式和析取式真值求解的"一票否决"与模糊综合评判中的"综合性"问题,并首次建立了相应的算法......
为了引导学生全面的理解概念,正确的进行表述、推理和判断,全文对学生在数理逻辑命题符号化的学习中容易出错的几组概念进行了剖析......
<正> 这是我们研究齐次模型的第二篇文章。在第一篇文章里我们证明了:(1)任意可数理论T的可数模齐次型数h_T......
自从美国逻辑学家皮尔士(Charles Sanders Peirce.1839—1914)创立了真值表(truth—table)以后,它已成为研究命题逻辑的必不可少的......
本文讨论了数据库中查询优化的基本策略,并提出了分解优化方法的基本原理,同时给出了连接图分解优化查询的具体过程和方法。......
二、关于命题演算的法则上一节,我们已指出,为了使别人相信,某一判断(命题)而提出一些别人已经信服的判断(命题)来做证据或理由,......
【正】 概念反映什么?李先焜同志在《武汉师范学院学报》1980年第3期上发表的《概念反映什么?》一文,对这个原来似乎不成问题的问......
