命题逻辑

摘要： 随着计算机求解问题越加复杂,问题在转化为命题逻辑子句集包含的冗余信息也越来越多,浪费计算机大量的储存空间和搜索解的时间,因此,对于冗余信息的删减有助于提高计算机求解问题的效率.针对命题逻辑子句集化简问题,在原有冗余性质P、RP基础上,提出多种扩展的、具有性质HRP、ARP的子句消去方法,并通过将不对称文字添加前置方法与命题逻辑集合封锁(SET BC )、蕴涵模归结原则(IMR)结合,分别提出不对称集合封锁( ASET BC )消去方法和不对称蕴涵模归结(AIMR)原则.最后,提出 L -集合蕴涵模归结( L -SET IMR )原则和 L -不对称集合蕴涵模( L -ASET IMR )原则.所提出的方法丰富了命题逻辑中冗余性子句消去理论和方法.

摘要： 自动推理是人工智能领域研究的核心问题之一。由于在基于归结的自动推理过程中会产生大量的冗余文字和冗余子句,进而影响归结自动推理的效率,因此消除子句集中的冗余文字和冗余子句具有重要的意义。在命题逻辑中,依据必需文字、有用文字、无用文字的相关概念和性质,针对部分三元子句集,分类给出这些三元子句集中冗余文字的判别方法,并通过具体实例对这些判别方法进行说明。

摘要： 借鉴亚里士多德的化归方法,通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则,可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。

摘要： 在考试研究强调"必备知识"是形成能力与素养的基础的形势下,中考语文考什么?怎么考?本文通过2020年全国各地中考语文现代文阅读题的述评回答了这类问题.述评从"静态认知""动态解析""动静结合""多重综合""审美应用""写作迁移"等方面,揭示了运用语言知识解决语文问题的命题逻辑.

摘要： 离散数学又称为计算机数学,它是研究离散量之间的科学.数理逻辑是离散数学的四大模块之一.为了满足自动化推理的客观需要,人类逐渐将逻辑学运用到了计算机科学领域.回顾人类计算机科学的发展历程,可以清晰地看到逻辑学在计算机科学中所奠定的理论基础和积极的推动作用,在计算机硬件设计和软件设计中的应用都非常突出.逻辑学是研究思维规律和思维的形式结构的一门学科.数据逻辑是用数学方法研究逻辑学中形式逻辑的一门分支学科.数理逻辑分成命题逻辑和谓词逻辑.该文主要研究命题逻辑的应用问题,分别研究了推理问题、分工问题、逻辑学家的推理、程序下载、自动调动电路、人员录取方案、人员选派问题.研究方法分别采用命题推理理论、真值表、穷举法、等值演算法.

摘要： 通过分析离散数学课程的特点,强调命题逻辑是离散数学的重要内容以及计算思维培养的重要性,从理论知识、混合教学、教学设计和评价模式4个方面探讨如何在命题逻辑教学中培养计算思维能力.

摘要： 伽达默尔称柯林武德为谈及问答逻辑"唯一能够援引的人".在充分肯定柯林武德"问答逻辑"合理因素的同时,对内涵于其中的诸多错误予以深刻地揭示与修正.他拒斥柯林武德关于理解在于理解原作者所想到的意义的"重演论",明确指出理解的任务首先是注意文本自身的意义.另外,他对柯林武德倚重历史主义方法,主张对给定文本是其回答的问题做"单纯的重构"亦提出批评,坚持认为谁想理解,谁就必须转变视域,对这个问题重新提问.伽达默尔对柯林武德问答逻辑的批判与超越,以及其关于问题与回答给予诠释学经验以"真正的度向"的主张,充分彰显出其哲学诠释学与传统诠释学在解释旨趣上的本质区别.

摘要： 文章从阐述高考结构不良数学试题的概念、特点及命题背景出发,分析并归纳了近年高考试题与模拟试题中的结构不良试题的呈现方式及其解答策略,从理论依据与命题技术两个视角解析结构不良试题的命题逻辑,最后给出数学教学的两点建议.认为结构不良试题是顺应课程改革与高考评价体系变革背景下的产物,是以考查"四基"与"四能"发展水平为基础、检测数学核心素养发展层次以及考查学生运用已有知识经验在具体问题情景中解决实际问题的能力为目标而设计的具有创新结构的问题,既服务于人才选拔又能够有效支撑数学的教与学活动.

摘要： 山东省是新高考试点省份,2020年的山东省普通高中学业水平等级考试生物试卷采取自主命题的方式,整体来看试题质量较高,某些题目新颖、有亮点,能较好地考查学生的科学思维能力和学科核心素养水平。本文以2020年山东省普通高中学业水平等级考试生物试卷(以下简称2020年山东卷)第6题为例,分析其命题背景、命题逻辑及试题价值,并在此题的基础上进行命题延伸。

摘要： 归结是自动推理中简洁、可靠且完备的推理规则.标准矛盾体分离规则是归结原理的一个重要延拓.基于命题逻辑的标准矛盾体分离演绎推理,对标准矛盾体的性质进行进一步研究,提出了两类特殊标准矛盾体——完全标准矛盾体和最小标准矛盾体,得到了相应的性质和定理.这些性质定理主要描述了:1)各类标准矛盾体的本质特征;2)完全标准矛盾体中添加子句后另添加文字的策略及子句非扩充性的变化规律;3)完全标准矛盾体添加子句及相关文字后,其最小标准矛盾体呈现出的规律;4)最小标准矛盾体可扩充为完全标准矛盾体.这些结论使完全标准矛盾体与最小标准矛盾体能通过添加新子句或相关文字完成互相转换.这一性质为标准矛盾体演绎理论进一步应用于计算机求解提供了一定的理论支撑.

摘要： 基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质.讨论了这两种椎理模式与经典推理模式之间的关系.此外,当理论(P)有限时,本文分别拾出(P)在α程度上近似推出公式A和理论Σ的充要条件.最后,我们拾出公式A与有限理论(P)的结论亲D(P)之间距离的计算公式.

摘要： 以罗伯特·范·罗伊的工作为基础，本文展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑。文中将依次给出按现代逻辑标准形式化的三个逻辑：亚里土多德的三段论逻辑SYL，引入否定词项等之后的扩充系统，最终得到从三段论逻辑扩充而来的命题逻辑。

摘要： 系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法.通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或、蕴涵、等价、与非、或非运算的依据.给出了在命题公式的类型判断、主范式的获取、逻辑推论、逻辑联结词完全集的证明等方面的应用实例.应用Euler公式给出了文氏图方法对命题变元个数的适用范围.

摘要： 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.

摘要： 以命题逻辑公式和子句的形式作为系统知识的表示方法,对系统观测信息和定性特性加以描述,本文建立了液体火箭发动机的基于命题逻辑的定性诊断模型,并发展了基于归结原理和假言推理规则的演绎推理方法用以求解诊断问题.研究表明,该方法为液体火箭发动机诊断知识的表达和组织提供了一种简洁有效和易于处理的方式,且具有较强的诊断能力.

摘要： Web服务的自动组合,是目前的一个热点研究课题,目的是使用具有语义关联的简单服务进行组合以便整体提供所需的服务.本文基于图论算法来研究Web服务的自动组合,首先将用户的服务请求输入参数和输出参数集合映射为图中的源点及汇点,服务提供商提供的每个Web服务映射为图中的一点,服务之间的语义关系通过命题逻辑自动映射为边,然后利用领域本体来判断服务参数之间的语义相似度,结合服务质量找出合理的评估函数并据此定义图中边的权值,这样将寻找最佳的服务组合的问题转换为图中求源点-汇点的最短路径问题,最后通过Bellman-Ford算法来求解.

摘要： 这篇文章介绍我讲授《数理逻辑》课程的三点方法。这些方法包括：1.讲清《数理逻辑》产生的背景和思想;2.讲清各种具体问题之间的联系;3.采用多媒体课件并附以逻辑推理教学软件教学。

摘要： 这篇文章介绍我讲授《数理逻辑》课程的三点方法。这些方法包括：1.讲清《数理逻辑》产生的背景和思想;2.讲清各种具体问题之间的联系;3.采用多媒体课件并附以逻辑推理教学软件教学。

摘要： 这篇文章介绍我讲授《数理逻辑》课程的三点方法。这些方法包括：1.讲清《数理逻辑》产生的背景和思想;2.讲清各种具体问题之间的联系;3.采用多媒体课件并附以逻辑推理教学软件教学。

摘要： 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.

摘要： 本发明公开了一种基于命题逻辑的规范拆解方法，具体包括如下步骤：针对具体规范条目进行语义分析，将规范拆解为多个简单的句子，对所得的句子进行命名，并将其映射表示为原子命题集合；基于对简单句子的分析结果，获得该规范条目的语义标签集合；通过对简单句集合进行语法分析，获得每一简单句的连接词或程度词，从而得到该规范条目的连接词集合；确定原子命题集合中原子命题和之间的逻辑连结词,得到该条规范的连结词集合；将原子命题集合作为合取范式的一组真值指派，用合取范式附加真值指派来表达具体规范条目；本发明提供的方法能够将建筑行业规范条目的文本信息和规范条目所包含的语义信息进行数字化表达。

摘要： 本发明公开了命题逻辑中基于最大矛盾体的自动推理方法，其步骤为：首先，利用子句集S中出现的k个变元生成最大矛盾体，然后利用最大矛盾体找出矛盾体，删除矛盾体中的文字后，将全部剩余文字析取形成矛盾体分离式，最后利用矛盾体分离式判定子句集S的属性，完成推理；本发明突破了传统的归结原理每次演绎“且只能有两个子句参与”的限制，将静态、二元、归结演绎发展为动态、多元、矛盾体分离演绎，该方法具有更强的针对性、更大的灵活性，判定逻辑公式属性的能力更强。

摘要： 本发明公开了命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断S的不可满足性：如果判定S不可满足则停止，否则，基于矛盾体分离式构造逆向演绎子句集，得到t个新子句集并进行演绎推理，如果对t个新子句集的演绎结果都是空子句，则S不可满足，否则循环前述步骤，直至得到S属性的判定结论或满足设定条件停止；本发明能动态分解矛盾体分离式，形成动态逆向演绎目标，有效指导下一步演绎推理，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可用于程序验证、定理机器证明等领域。

摘要： 本发明公开了命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法步骤为：对于命题逻辑中的子句集S构造扩展三角形矛盾体，形成矛盾体分离式，根据矛盾体分离式判断子句集属性；如果能判断子句集不可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集，接着构造并分离扩展三角形矛盾体，直至得到子句集属性的判定结论或满足设定条件停止；本发明提供了命题逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。

摘要： 本发明公开了命题逻辑中基于极大子句判定公式属性的方法，其步骤为：首先，根据子句集S中出现的所有命题变元集合V(S)，构造一个关于V(S)的极大子句D(k)，其次，在子句集S中将与子句～D(k)含有相同文字的子句删除，并将所得子句集记为S

摘要： 本发明公开了命题逻辑中基于最大矛盾体判定公式属性的方法，其步骤为：首先，利用子句集S中出现的全部命题变元构造最大矛盾体，然后在最大矛盾体中寻找满足一定条件的子句D，最后根据子句D判定子句集S的属性；本发明在基于矛盾体分离的多元动态自动演绎推理理论基础上，给出了一种利用最大矛盾体判定命题逻辑子句集属性的方法，且该方法在判定子句集为可满足的同时给出了一个满足该子句集的解释。

摘要： 本发明公开了命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：若矛盾体分离式为空则停止，得到结论：S不可满足；否则，抽取矛盾体内部子句

摘要： 本发明提出了命题逻辑中基于标准延拓三角形的矛盾体分离演绎推理，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式和子句的特点判定子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集。接着构造并分离基于标准延拓三角形矛盾体，直至满足条件停止或得到子句集属性的判定结论。本发明可高效构造矛盾体，实现将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，是自动演绎推理领域一个本质性的突破。

摘要： 本发明公开了命题逻辑中基于矛盾体分离的多元动态自动演绎推理方法，对于命题逻辑中子句集S，在S中选出k个子句C

摘要： 本发明公开了一种基于命题逻辑的规范拆解方法，具体包括如下步骤：针对具体规范条目进行语义分析，将规范拆解为多个简单的句子，对所得的句子进行命名，并将其映射表示为原子命题集合；基于对简单句子的分析结果，获得该规范条目的语义标签集合；通过对简单句集合进行语法分析，获得每一简单句的连接词或程度词，从而得到该规范条目的连接词集合；确定原子命题集合中原子命题和之间的逻辑连结词,得到该条规范的连结词集合；将原子命题集合作为合取范式的一组真值指派，用合取范式附加真值指派来表达具体规范条目；本发明提供的方法能够将建筑行业规范条目的文本信息和规范条目所包含的语义信息进行数字化表达。