首页|Epistemic ?ukasiewicz logic of partial knowledge
Epistemic ?ukasiewicz logic of partial knowledge
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NSTL
Springer Nature
Abstract We offer a new logic, called Epistemic ?ukasiewicz logic of partial knowledge that is represented as multimodal epistemic ?ukasiewicz logic K?P(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$K\text{\L} _\text {P}(n)$$\end{document} with n knowledge operators □i\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Box _i$$\end{document}(1≤i≤n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(1 \le i \le n)$$\end{document} interpreted in a non-archimedean monadic MV-algebra. We choose knowledge operators, which can be estimated by some grading (different kinds of knowledge): absolute knowledge or partial knowledge. We consider a very special type of partial knowledge. Actually, we take infinitesimal elements (the radical) of perfect MV-algebras as a range of this estimation. The choice of infinitesimal elements seems suitable for actual situations like a measure of partial information.
NSTL
Springer Nature
