re-Horn子句集的Horn化及可满足性判定方法
|
|
【文章作者】安世勇;徐扬; |
【文章摘要】 在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。 |
【关 键 字】命题逻辑;;Horn子句;;子句集;;可满足性;;同态 |
【期刊】济南大学学报(自然科学版)【卷】【ISSUE】【ISSUEID】
【文章期份】2015
【发布日期】2015/3/19 0:00:00
点击率:1
打印
关闭
|
|