双析取逻辑程序设计基础（Ⅰ）

析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一，本文通过一些实例说明，现存语义无法充分 表示信息的不完全性。为此，本文提出了双析取逻辑程序设计的概念，我们不仅从句法上将正规则析取逻辑程序推广为双析取逻辑程序。而且建立了一种高度直观，灵活的辩论语义框架ＢＤＡＳ。

FOUNDATION FOR BI-DISJUNCTIVE LOGIC PROGRAMMING (I)

Disjunctive logic programming (DLP) is one of the most important extension of ordinary logic programming (LP). The examples this paper given show that the existing semantics of DLP could not represent incomplete information properly. To solve this problem this paper presents a new extension of DLP,called bi-disjunctive logic programming (BDLP), by generalizing the syntax of DLP and establishing a highly simple and intuitive argument-theoretic semantic framework BDAS. In particular, three semantics (PDH, CDH and WFDH) defined in BDAS characterize three types of nonmonotonic reasoning formalisms in Al. BDLP provides a suitable semantic framework for commonsense reasoning in DLP.