冗余子句相关论文
针对命题逻辑中逻辑公式的某个单元子句及其负文字和冗余子句,给出了含单元子句的子句集的等价条件,同时刻画了子句集中文字和子句......
检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余......
逻辑公式的可满足性问题在工程技术、交通运输、军事及自然科学等领域有着广泛的应用。随着计算机求解问题容量的逐渐增大、求解的......