注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 格值命题逻辑LP(X)中的语义归结方法

  2. 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。

  3. 所属分类：其它

    • 发布日期：2020-06-03
    • 文件大小：926720
    • 提供者：weixin_38714162

  1. 格值命题逻辑系统LP(X)的语义归结方法

  2. 为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。

  3. 所属分类：其它

    • 发布日期：2020-06-27
    • 文件大小：946176
    • 提供者：weixin_38692202