摘要
提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．
This paper introduces a constrained default logic. Every default theory has its extension,and it is semimonotonic and cumulative. The multiextensions problem is also discussed.
出处
《吉林大学自然科学学报》
CAS
CSCD
1996年第3期1-4,共4页
Acta Scientiarum Naturalium Universitatis Jilinensis
基金
国家自然科学基金
博士点基金
"863"计划资助
