首页
文献服务
文献资源
外文期刊
外文会议
中文期刊
专业机构
智能制造
高级检索
版权声明
使用帮助
A semantic study of the first-order predicate logic with uncertainty involved
     
  
  
刊名:
Fuzzy Optimization and Decision Making
作者:
Xingfang Zhang
(School of Mathematical Sciences, Liaocheng University)
Xiang Li
(School of Economics and Management, Beijing University of Chemical Technology)
刊号:
519LB020
ISSN:
1568-4539
出版年:
2014
年卷期:
2014, vol.13, no.4
页码:
357-367
总页数:
11
分类号:
O22
关键词:
Uncertain first-order predicate logic
;
Uncertain predicate formula
;
Degree of truth
;
Uncertain measure
;
Uncertain variable
参考中译:
语种:
eng
文摘:
In this paper, we provide a semantic study of the first-order predicate logic for situations involving uncertainty. We introduce the concepts of uncertain predicate proposition, uncertain predicate formula, uncertain interpretation and degree of truth in the framework of uncertainty theory. Compared with classical predicate formula taking true value in {0, 1}, the degree of truth of uncertain predicate formula may take any value in the unit interval [0, 1]. We also show that the uncertain first-order predicate logic is consistent with the classical first-order predicate logic on some laws of the degree of truth.
©2016机械工业出版社(机械工业信息研究院) 京ICP备05055788号-35