项目名称: 对偶三角模-余模逻辑的语义理论与应用

项目编号: No.11471152

项目类型: 面上项目

立项/批准年度: 2015

项目学科: 数理科学和化学

项目作者: 张兴芳

作者单位: 聊城大学

项目金额: 80万元

中文摘要: 信息的不确定性常常导致命题(谓词)的真假无法确定。因此,需要给出度量命题(谓词)真的可能程度(简称真度)的科学方法,即需要将命题(谓词)的二值逻辑推广到命题(谓词)的非经典逻辑。人们提出了多值逻辑、概率逻辑(称对偶乘-加逻辑)及不确定逻辑(称对偶下-上确界逻辑)。这三种逻辑在处理不确定性方面显示出独特的优势。然而,其自身理论并不完善。特别是不确定逻辑仅处于研究的初始阶段。本项目成员已经研究了这三种逻辑,并通过抽象人们实际中群决策的过程,利用连续三角模逻辑,提出了模糊命题的多维三层逻辑。本项目的研究内容是: 一、继续研究对偶乘-加逻辑和下-上确界逻辑,并就所有三角模和对偶的三角余模建立一般性的逻辑和推理理论. 二、利用模糊命题的多维三层逻辑的思想,建立多维三层对偶三角模-余模逻辑理论。 三、研究新建逻辑的实际应用。 该项目属于不确定性的数学理论和非经典逻辑的交叉范畴。

中文关键词: 模糊逻辑;不确定理论;概率逻辑;不确定逻辑;不确定规划

英文摘要: It's difficult to judge truth or fake of proposition (predicate) for the existing uncertainty of information. So, we need to give a scientific method for measuring of degree of belief that proposition (predicate) is true ,in short truth degree. Then classical logic needs to be extended to nonclassical logic. The existing nonclassical logics includes multi-valued logic, probabilistic logic (called dual Product-Additionlogic)and uncertain logic (called dual Infimum-Supremum logic). These logics display characteristic superiority in dealing with uncertainty. However, they need further improvement. Particularly, the study of uncertain logic is in its initial stage. The members of the project have studied these logics, and have presented multi-dimensions and three layer logics about fuzzy propositions by abstracting the process to group decision making. The researchful contents of the project are as follows: 1. Study dual Product-Addition logic and Infimum -Supremum logic, and establish generalized theories of logic and reasoning using all dual t-norms and t-conorms. 2. Establish the theory of many-dimensions and three layers logic based on dual t-norms and t-conorms using the thought of many-dimensions and three logics of fuzzy propositions. 3. Study practical application about the above new logics and reasoning. The project belongs to intersected category of mathematic theory with uncertainty and nonclassical logic.

英文关键词: Fuzzy logic;Uncertainty theory;Probabilistic logic;Uncertain logic;Uncertain programming

成为VIP会员查看完整内容
0

相关内容

《过参数化机器学习理论》综述论文
专知会员服务
45+阅读 · 2021年9月19日
逆优化: 理论与应用
专知会员服务
35+阅读 · 2021年9月13日
算法分析导论, 593页pdf
专知会员服务
144+阅读 · 2021年8月30日
专知会员服务
19+阅读 · 2021年8月24日
专知会员服务
40+阅读 · 2021年5月24日
专知会员服务
16+阅读 · 2021年4月27日
专知会员服务
104+阅读 · 2021年3月23日
【经典书】概率统计导论第五版,730页pdf
专知会员服务
233+阅读 · 2020年7月28日
【硬核书】不完全信息决策理论,467页pdf
专知会员服务
334+阅读 · 2020年6月24日
论文浅尝 - ACL2022 | 面向推理阅读理解的神经符号方法
开放知识图谱
1+阅读 · 2022年3月21日
论文浅尝 | 基于正交普鲁克分析的高效知识图嵌入学习
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
论文浅尝 | ICLR2020 - 基于组合的多关系图卷积网络
开放知识图谱
21+阅读 · 2020年4月24日
论文浅尝 | 时序与因果关系联合推理
开放知识图谱
33+阅读 · 2019年6月23日
论文浅尝 | TuckER:基于张量分解的知识图谱补全
开放知识图谱
34+阅读 · 2019年3月17日
学会原创 | 自然语言的语义表示学习方法与应用
中国人工智能学会
11+阅读 · 2019年3月7日
基于LDA的主题模型实践(一)
机器学习深度学习实战原创交流
20+阅读 · 2015年9月9日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
3+阅读 · 2012年12月31日
国家自然科学基金
17+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
3+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
Arxiv
0+阅读 · 2022年4月19日
Arxiv
10+阅读 · 2020年6月12日
Arxiv
23+阅读 · 2018年10月1日
Arxiv
11+阅读 · 2018年1月28日
小贴士
相关VIP内容
《过参数化机器学习理论》综述论文
专知会员服务
45+阅读 · 2021年9月19日
逆优化: 理论与应用
专知会员服务
35+阅读 · 2021年9月13日
算法分析导论, 593页pdf
专知会员服务
144+阅读 · 2021年8月30日
专知会员服务
19+阅读 · 2021年8月24日
专知会员服务
40+阅读 · 2021年5月24日
专知会员服务
16+阅读 · 2021年4月27日
专知会员服务
104+阅读 · 2021年3月23日
【经典书】概率统计导论第五版,730页pdf
专知会员服务
233+阅读 · 2020年7月28日
【硬核书】不完全信息决策理论,467页pdf
专知会员服务
334+阅读 · 2020年6月24日
相关资讯
论文浅尝 - ACL2022 | 面向推理阅读理解的神经符号方法
开放知识图谱
1+阅读 · 2022年3月21日
论文浅尝 | 基于正交普鲁克分析的高效知识图嵌入学习
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
论文浅尝 | ICLR2020 - 基于组合的多关系图卷积网络
开放知识图谱
21+阅读 · 2020年4月24日
论文浅尝 | 时序与因果关系联合推理
开放知识图谱
33+阅读 · 2019年6月23日
论文浅尝 | TuckER:基于张量分解的知识图谱补全
开放知识图谱
34+阅读 · 2019年3月17日
学会原创 | 自然语言的语义表示学习方法与应用
中国人工智能学会
11+阅读 · 2019年3月7日
基于LDA的主题模型实践(一)
机器学习深度学习实战原创交流
20+阅读 · 2015年9月9日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
3+阅读 · 2012年12月31日
国家自然科学基金
17+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
3+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员