利用格论研究约束缺省推理

• 作 者: 王淞昕 姜云飞
• 机 构: 大学计算机科学系(长春)
• 出 处: 第四届全国计算机应用联合学术会议
• 发表日期: 1997年期
• 关键词: 缺省逻辑 扩充 约束逻辑 扩展规则 构造方式 方法 定义约束 极大值 证明 文献 概念 变种

姜云飞＜’〔１〕＞利用格论研究约束缺省逻辑，以可构造方式给出了一种求扩充的方法。该文将这一工作从缺省逻辑推广到它的一个重要变种－－约束逻辑中。他们针对约束缺省逻辑的特点，重新定义约束扩展规则，约束扩展及约束缺省格的概念，并证明了约束扩充同约束缺省格的相容极大值－－对应，从而提供了一种利用格论求约束扩充的方法。此外，该文的结果要比文献〔１〕的相应结果来得更为简洁。