Modelling Informational Entropy

被引:7
作者
Conradiel, Willem [1 ]
Craig, Andrew [2 ]
Palmigiano, Alessandra [2 ,3 ]
Wijnberg, Nachoem M. [2 ,4 ]
机构
[1] Univ Witwatersrand, Johannesburg, South Africa
[2] Univ Johannesburg, Johannesburg, South Africa
[3] Delft Univ Technol, Delft, Netherlands
[4] Univ Amsterdam, Amsterdam, Netherlands
来源
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) | 2019年 / 11541卷
关键词
Lattice-based modal logic; Epistemic logic; Concept lattice; Graph-based semantics; Polarity-based semantics;
D O I
10.1007/978-3-662-59533-6_9
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
By 'informational entropy', we understand an inherent boundary to knowability, due e.g. to perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a logical framework in which this boundary is incorporated into the semantic and deductive machinery, and outline how this framework can be used to model various situations in which informational entropy arises.
引用
收藏
页码:140 / 160
页数:21
相关论文
共 24 条
[1]  
Chodorow M. S., 1988, Second Conference on Applied Natural Language Processing, P144
[2]  
Conradie W, 2019, ROUGH CONCEPTS UNPUB
[3]  
Conradie W., 2019, MODELLING SOCI UNPUB
[4]  
Conradie W., 2019, P EUSFLAT 2019
[5]  
Conradie W., 2015, TACL 2015
[6]  
Conradie W, 2020, Arxiv, DOI arXiv:1603.08341
[7]   Algorithmic correspondence and canonicity for non-distributive logics [J].
Conradie, Willem ;
Palmigiano, Alessandra .
ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (09) :923-974
[8]   Toward an Epistemic-Logical Theory of Categorization [J].
Conradie, Willem ;
Frittella, Sabine ;
Palmigiano, Alessandra ;
Piazzai, Michele ;
Tzimoulis, Apostolos ;
Wijnberg, Nachoem M. .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (251) :167-186
[9]   Constructive Canonicity for Lattice-Based Fixed Point Logics [J].
Conradie, Willem ;
Craig, Andrew ;
Palmigiano, Alessandra ;
Zhao, Zhiguang .
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, 2017, 10388 :92-109
[10]   Categories: How I Learned to Stop Worrying and Love Two Sorts [J].
Conradie, Willem ;
Frittella, Sabine ;
Palmigiano, Alessandra ;
Piazzai, Michele ;
Tzimoulis, Apostolos ;
Wijnberg, Nachoem M. .
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 :145-164