缺省理论中一种获取优先序的方法(英文)  

A Method of Finding Priorities in Default Theories

作　　者：赵希顺[1] 丁德成[2] 

机构地区：[1]中山大学逻辑与认知研究所,广东广州510275 [2]南京大学数学系,江苏南京210093

出　　处：《软件学报》2003年第9期1530-1537,共8页Journal of Software

基　　金：国家自然科学基金;国家社会科学基金;国家教育部博士点基金~~

摘　　要：引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.An approach is introduced to derive specificity in default theories.Compared with other methods,the method handles priority quite well and has lower complexity.Then the prioritized stationary semantic for default logic is defined.The method can strengthen the cautious stationary default reasoning without increasing the computational complexity very much.

关 键 词：缺省逻辑 特殊性 稳定扩充 复杂性 

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