粒计算的α-决策逻辑语言

摘要

提出一种用于粒计算的α-决策逻辑语言,该语言是由T arsk i意义下的模型和可满足性所描述的一种特殊的经典谓词逻辑.由属性值域的模糊子集代替经典的单值信息函数所得到的广义信息系统对应于模型;借助于模糊集理论的水平截集的概念,归纳地定义对象在一定阈值水平下满足某公式.最后讨论如何利用α-决策逻辑语言描述不同的粒世界及分析形式概念和决策规则.