限定缺省证明与限定扩充计算

摘要：

该文介绍了缺省逻辑的变形之一－－限定缺省逻辑，并在此基础上深入讨论了限定缺省证明和限定扩充的计算。

关键词： 限定缺省证明 限定缺省逻辑 限定扩充

作者: 李尚奋 林淑琼

作者单位: 汕头大学(汕头)

会议类型: 国内会议

会议名称: 第七届联合国际计算机会议

会议地点: 汕头

会议语种:中文

页码: 177～183

在线出版日期: 2000-10-01（万方平台首次上网日期，不代表论文的发表时间）