分类：我如何学会停止担忧并爱上两种类型
逻辑
2019-01-04 v3
摘要
RS-frames由Gehrke引入作为子结构逻辑的关系语义。它们是双类型结构，基于RS-polarities并带有用于解释模态的附加关系。我们针对模态逻辑提出了RS-frames的一种直观的认知解释，涉及分类系统以及主体对这些系统的主观解释。分类系统是任何决策过程的关键，并在社会科学和管理科学中被广泛研究。一组对象连同一组属性以及连接对象与其属性的关联关系式构成一个极性，该极性可被“修剪”为RS-polarity。潜在的类别作为此极性的伽罗瓦稳定集出现，正如形式概念分析中的概念一样。主体关于对象及其属性（可能是部分的）的信念由一种关系建模，该关系产生一个表达主体关于类别成员身份信念的正规模态算子。所有主体的信念模态迭代的不动点被用于建模通过社会交互构建的类别。
引用
@article{arxiv.1604.00777,
title = {Categories: How I Learned to Stop Worrying and Love Two Sorts},
author = {Willem Conradie and Sabine Frittella and Michele Piazzai and Apostolos Tzimoulis and Alessandra Palmigiano and Nachoem M. Wijnberg},
journal= {arXiv preprint arXiv:1604.00777},
year = {2019}
}
备注
References updated