高级检索

    锁语义归结原理和模糊逻辑

    • 摘要: 一、LI-归结原理定义:设I是一个解释,已配锁的有限子句序列(E1,…,Eq,N),q≥1,称为关于I的锁语义互撞,简称LI-互撞,当且仅当E1,…,Eq,N满足下面条件: 1)E1,…,Eq在I下为假, 2)令R1=N,对每个i=1,…,q,存

       

    /

    返回文章
    返回