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