典型文献
集值信息系统的公理系统
文献摘要：
自从波兰数学家Z.Pawlak建立信息表的逻辑系统以来,出现了各种信息系统及其逻辑的研究.集值信息系统在机器学习方面有着重要的应用,本文从一个具体的集值信息系统的例子引发出建立集值信息系统的公理系统必要性.首先借助相容性关系给出模态算子的语义;然后给出集值信息系统的逻辑的语法和语义;最后建立集值信息系统的公理系统的公理和推理规则,并且利用传统方法证明集值信息系统的逻辑系统的可靠性和完全性.从逻辑本质上看,集值信息系统的逻辑系统就是一种多模态逻辑系统,它也给出多模态逻辑的非常完美的诠释.
文献关键词：
集值信息系统;过滤;典范模型;公理系统
中图分类号：
作者姓名：
曹发生
作者机构：
贵州民族大学民族文化与认知科学学院
文献出处：
引用格式：
[1]曹发生-.集值信息系统的公理系统)[J].逻辑学研究,2022(05):51-69
A类：
B类：
集值信息系统,公理系统,自从,波兰,数学家,Pawlak,立信,逻辑系统,例子,引发出,先借,相容性,出模,语法,推理规则,完全性,辑本,模态逻辑,典范模型
AB值：
0.306562
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
