| 带有约束的缺省逻辑 |
| |
| 引用本文： | 刘瑞胜,孙吉贵,刘叙华.带有约束的缺省逻辑[J].吉林大学学报(理学版),1996(3). |
| |
| 作者姓名： | 刘瑞胜 孙吉贵 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系 |
| |
| 基金项目： | 国家自然科学基金,博士点基金,“863”计划资助 |
| |
| 摘 要： | 提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．
|
| 关 键 词： | 非单调逻辑，缺省理论，扩充 |
A Constrained Default Logic |
| |
| Liu Ruisheng, Sun Jigui, Liu Xuhua.A Constrained Default Logic[J].Journal of Jilin University: Sci Ed,1996(3). |
| |
| Authors: | Liu Ruisheng Sun Jigui Liu Xuhua |
| |
| Abstract: | 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. |
| |
| Keywords: | nonmonotonic logic default theory extension |
| 本文献已被 CNKI 等数据库收录！ |
|
