摘要
有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
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.
出处
《广西师范大学学报（自然科学版）》
CAS
北大核心
2006年第4期30-33,共4页
Journal of Guangxi Normal University:Natural Science Edition
基金
国家自然科学基金资助项目(60573011)
关键词
属性论
定性映射
后承式
attribute theory
qualitative map
sequent
