摘要
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
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.
出处
《软件学报》
EI
CSCD
北大核心
2003年第9期1530-1537,共8页
Journal of Software
基金
国家自然科学基金
国家社会科学基金
国家教育部博士点基金~~
关键词
缺省逻辑
特殊性
稳定扩充
复杂性
default logic
specificity
stationary extension
complexity
