计算机科学 ›› 2005, Vol. 32 ›› Issue (10): 1-5.

• 计算机网络与信息安全 •    下一篇

一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用

张兴芳 孟广武   

  1. 聊城大学数学科学学院,山东聊城252059
  • 出版日期:2018-11-17 发布日期:2018-11-17

ZHANG Xing-Fang, MENG Guang-Wu (School of Mathematics Science, Liaocheng University, Liaocheng,Shandong, 252059)   

  • Online:2018-11-17 Published:2018-11-17

摘要: 通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架.

关键词: 一阶模糊谓词逻辑 公式变元集的赋值 有限解释真度 可数解释真度 一阶谓词逻辑 模糊谓词逻辑 逻辑公式 真度 应用 可数 有限 近似推理 模糊语言

Abstract: In this paper we gave the definition of truth degree based on finite and enumble interpretation of first-order fuzzy predicate logic (or first-order language) formulas by introducing the new concept of evaluation of set of variable of formulas,and discuss

Key words: First-order fuzzy predicate logic, Valuation of set of formulas variable, Truth degree of finite interpretation, Truth degree of enumerable interpretation

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!