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

摘要

析取逻辑程序设计(DLP)是传统逻辑程序设计(LP)最重要的扩充之一,本文通过一些实例说明,现存语义无法充分表示信息的不完全性.为此,本文提出了双析取逻辑程序设计(BDLP)的概念,我们不仅从句法上将正规析取逻辑程序推广为双析取逻辑程序,而且建立了一种高度直观、灵活的辩论语义框架BDAS.特别是BDAS中定义的三种双析取程序语义:优先析取假说PDH、完全析取假说CDH和良基析取假说WFDH,分别反映了人工智能中的三种非单调推理形式.BDLP为逻辑程序设计中的常识推理提供了一种较为合理的语义框架.