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

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