扩充析取逻辑程序的诱导语义

基于诱导推理，提出了析取逻辑程序的一种说明语义框架，称为典型诱导语义，证明了ＴＡＳ不仅具有完全性而且是析取稳定语义的自然扩展，利用相干原理，ＴＡＳ很容易推广到扩充析取程序类，由此可以定义ＴＡＳ的一种合理扩充，并能解决常识推理中一些典型问题。