This paper discusses and summarizes the implemental techniques of inductive reasoning based on rewriting with Knuth-Bendix completion procedure and consistent decision.

  • 本文采用Knuth-Bendix(KB)完备化和一致性判别这两种方法,讨论和总结重写归纳推理的实现技术。

  • 互联网摘选 2025-01-20 13:00:27

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句