量化单一带标公式的消解

金继伟; 赵希顺

您当前的位置：

首页 >

文章列表页 >

量化单一带标公式的消解

研究论文 | 更新时间：2023-12-11

- 量化单一带标公式的消解
- Resolution for Quantified Monosigned Formulae
- 中山大学学报(自然科学版)(中英文) 2010年49卷第1期页码：20-23
- 作者机构：
  
  中山大学逻辑与认知研究所,广东,广州,510275
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版日期：2010，
  
  网络出版日期：2010-1-25，
扫描看全文
金继伟, 赵希顺. 量化单一带标公式的消解[J]. 中山大学学报(自然科学版)(中英文), 2010,49(1):20-23.

JIN Jiwei, ZHAO Xishun. Resolution for Quantified Monosigned Formulae[J]. Acta Scientiarum Naturalium Universitatis SunYatseni, 2010,49(1):20-23.
金继伟, 赵希顺. 量化单一带标公式的消解[J]. 中山大学学报(自然科学版)(中英文), 2010,49(1):20-23. DOI：

JIN Jiwei, ZHAO Xishun. Resolution for Quantified Monosigned Formulae[J]. Acta Scientiarum Naturalium Universitatis SunYatseni, 2010,49(1):20-23. DOI：

摘要

在引入量化单一带标公式的概念后，给出其消解算法，并证明该消解算法是健全的和拒绝性完备的。因此该算法可用于对量化单一带标公式进行理论上的研究，同时也可用于在实际应用中解决这类公式的可满足性问题。最后，根据消解算法，得出一个可以在多项式时间内判定可满足性的量化单一带标公式的子类。

Abstract

After the introduction of quantified monosigned formulae

the resolution for them is investigated and proved to be sound and refutational complete. This kind of resolution can be used not only for theoretical studies but also for practical applications. As a result

a subclass of quantified monosigned formulae which can be solved the satisfiability problem in polynomial time is recognized.

关键词

量化单一带标公式消解可满足性多项式时间可判定

Keywords

quantified monosigned formulaeresolutionsatisfiabilityin polynomial time

references

浏览量

112

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据