论文部分内容阅读
通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架.
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用
【摘 要】
：
通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为
【机 构】
：
聊城大学数学科学学院
【出 处】
：
计算机科学
【发表日期】
：
2005年10期
【基金项目】
：
山东省自然科学基金
其他文献
随着Web Services的发展,它本身的安全问题已经成为制约其发展的关键因素.本文主要论述了Web Services的访问控制技术的研究现状及其问题.首先,从协议层次出发讨论了Web Serv
tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一.在提高系统效率方面,主要在相关技术和策略、
本文对近几年Web服务、语义Web及网格计算等一些新兴的技术进行了简要的回顾,并对它们的背景、特点及相互关系进行了分析,在这基础上,介绍了一种新的网格发展趋势--语义网格,