逻辑程序中的否定问题与非单调逻辑

1引言 常识推理的一个共同特性是在不完全知识下的推理,非单调推理提供了不完全知下的推理方法,它能在有限如识的基础上得出一些结论,而当知识进一步丰富时这些结论是可销的。最著名的非单