冗余文字相关论文
针对命题逻辑中逻辑公式的某个单元子句及其负文字和冗余子句,给出了含单元子句的子句集的等价条件,同时刻画了子句集中文字和子句......
检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余......
定理机器证明是通过计算机实现定理自动证明。自上世纪五十年代以来定理自动证明一直是计算机科学研究的热点之一,在数学、硬件测......
