语义归结相关论文
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.语义归结是对归结原理的一种......
语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究.为了提高基于语言......
语义归结方法是对归结原理的一种重要改进，能有效地提高归结推理的效率，讨论了格值逻辑系统的语义归结方法，并列出了语义归结方法的一......
