首页|命题逻辑中一类正则标准矛盾体的构造与复合

命题逻辑中一类正则标准矛盾体的构造与复合

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
归结原理是自动推理中一种简洁、可靠且完备的推理规则,标准矛盾体分离演绎理论是二元归结的一个延拓.矛盾体的结构非常复杂,现有的矛盾体种类和生成策略较少.针对该问题,文中基于命题逻辑的标准矛盾体分离演绎理论,首先通过复合两个或多个正则标准矛盾体,得到了生成新矛盾体的多个复合策略;其次,提出了一类特殊标准矛盾体结构——复合正则标准矛盾体,丰富了矛盾体的结构特征;然后讨论了复合得到的新矛盾体不同子句的可扩充性,进而得到相应的文字添加策略;最后,提出了矛盾体的生成算法,为进一步在计算机上实现新矛盾体的生成提供了参考.
Construction and Compounding of a Class of Regular Standard Contradictions in Propositional Logic
The resolution principle is a brief,reliable and complete inference rule in automated reasoning and the deductive theory of standard contradiction separation is an extension of binary resolution.Since the structure of the standard contradiction is very complex and there are few existing contradiction types and generation strategies,this paper first obtains multiple compound stra-tegies for generating new contradictions by compounding two or more contradictions based on the standard contradiction separa-tion deduction theory in propositional logic.Then a kind of special standard contradiction structure,i.e.,composite regular stan-dard contradiction,is put forward to enrich the structural features of contradictions.Furthermore,the expandability of the diffe-rent clauses of the new contradictions obtained by compounding is discussed,which leads to corresponding literals adding strate-gies.Finally,algorithms for generating contradictions are proposed to provide a reference for further implementing the generation of new contradictions on computers.

Propositional logicStandard contradictionComposite regular standard contradictionComposite strategyLiterals adding strategy

臧珲、何星星、王成龙、李莹芳、李天瑞

展开 >

西南交通大学数学学院 成都 611756

西南财经大学计算机与人工智能学院 成都 611130

西南交通大学计算机与人工智能学院 成都 611756

命题逻辑 标准矛盾体 复合正则标准矛盾体 复合策略 文字添加策略

中央高校基本科研业务费专项资金国家自然科学基金教育部人文社科项目教育部人文社科项目四川省科技计划

2682020ZT1076210620619YJCZH04820XJCZH0162023YFH0066

2024

10.11896/jsjkx.230600009

计算机科学
重庆西南信息有限公司（原科技部西南信息中心）

计算机科学

CSTPCD北大核心
影响因子：0.944
ISSN：1002-137X
年,卷(期)：2024.51(1)
  • 1