属性论的分级推理方法  

Inference Method for Grading in Attribute Theory

作　　者：聂文龙[1] 冯嘉礼[2] 

机构地区：[1]中山大学逻辑与认知研究所,广东广州510275 [2]上海海事大学信息工程学院,上海200135

出　　处：《广西师范大学学报（自然科学版）》2006年第4期30-33,共4页Journal of Guangxi Normal University:Natural Science Edition

基　　金：国家自然科学基金资助项目(60573011)

摘　　要：有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。The grading phenomena in attribute theory gains effective treatment in this paper. We introduce the notion of sequent to the computation,and it results a new computing frame in the research.

关 键 词：属性论 定性映射 后承式 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]