不相容逻辑程序的矛盾处理及其语义AFSX

• 来源期刊: 模式识别与人工智能
• 学科: 工学
• 关键词: 经典否定 缺省否定 次协调逻辑程序 4-值逻辑
• 年，卷（期）: 1998,（3）
• 页码范围: 260-265
• 页数: 6页
• 分类号: TP311.11
• 语种: 中文

摘要

Gelfond和Lifschitz将逻辑程序扩展,使其包含两种否定:经典否定和缺省否定,这种扩展逻辑程序的知识表达能力有了很大的提高,该文在多值逻辑的基础之上,提出了处理不相容扩展逻辑程序的方法,并且给出了它的一种构造性语义AFSX.