双析取逻辑程序设计基础(Ⅱ)

摘要

双析取逻辑程序设计(BDLP)是析取逻辑程序设计(DLP)的一种扩充,其辩论语义框架BDAS为逻辑程序设计(LP)中的常识推理提供了一种较为合理的语义框架.本文进一步研究BDAS的一些基本性质,给出了双析取语义ADH和WFDH的几种重要刻划,从而证明了基于WFDH的推理具有一种弱累加性(Weak cumulativity).同时也讨论了BDAS与一些重要逻辑程序语义的关系.本文的研究进一步从理论上论证了BDLP的合理性.