Fuzzy Epistemic Logic is an important formalism for approximate reasoning. It extends the well known basic propositional logic BL, introduced by H\'ajek, by offering the ability to reason about possibility and necessity of fuzzy propositions. We consider an algebraic approach to study this logic, introducing Epistemic BL-algebras. These algebras turn to be a generalization of both, Pseudomonadic Algebras introduced by \cite{Bez2002} and serial, euclidean and transitive Bi-modal G\"odel Algebras proposed by \cite{CaiRod2015}. We present the connection between this class of algebras and fuzzy possibilistic frames, as a first step to solve an open problem proposed by H\'ajek \cite[chap. ~8]{HajekBook98}.


翻译:Fuzzy Epistemic Lologic 是近似推理的一个重要形式主义。 它扩展了H\'ajek提出的众所周知的基本理论逻辑 BL, 提供了解释模糊推理可能性和必要性的能力。 我们考虑一种代数法方法来研究这一逻辑, 引入了闪烁 BL- algebras。 这些代数转而成为两者的概括, 由\cite{Bez2002} 引入的普塞多莫纳迪代数以及由\cite{Bez2002} 提议的序列、 euclidean 和中转性双模 G\'odel Algebras 。 我们展示了这一类代数和fuzzy posiblicistic 框架之间的联系, 作为解决H\'ajeek\cite提出的一个公开问题的第一步 [第~ 8章] {HekBook98}。

0
下载
关闭预览

相关内容

CHAP:挑战握手认证协议 (Challenge Handshake Authentication Protocol) 挑战握手认证协议(CHAP,Challenge-Handshake Authentication Protocol)是在网络物理连接后进行连接安全性验证的协议。它比另一种协议密码验证程序(PAP)更加可靠。 挑战握手认证协议(CHAP)通过 三次握手周期性的校验对端的身份,在初始链路建立时完成,可以在链路建立之后的任何时候重复进行。
强化学习最新教程,17页pdf
专知会员服务
182+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
动物脑的好奇心和强化学习的好奇心
CreateAMind
10+阅读 · 2019年1月26日
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
人工智能 | 国际会议信息10条
Call4Papers
5+阅读 · 2018年12月18日
【论文】图上的表示学习综述
机器学习研究会
15+阅读 · 2017年9月24日
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
Learning Blind Video Temporal Consistency
Arxiv
3+阅读 · 2018年8月1日
VIP会员
相关资讯
动物脑的好奇心和强化学习的好奇心
CreateAMind
10+阅读 · 2019年1月26日
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
人工智能 | 国际会议信息10条
Call4Papers
5+阅读 · 2018年12月18日
【论文】图上的表示学习综述
机器学习研究会
15+阅读 · 2017年9月24日
【今日新增】IEEE Trans.专刊截稿信息8条
Call4Papers
7+阅读 · 2017年6月29日
Top
微信扫码咨询专知VIP会员