摘要
析取逻辑程序设计（ＤＬＰ）是传统逻辑程序设计（ＬＰ）最重要的扩充之一，本文通过一些实例说明，现存语义无法充分表示信息的不完全性．为此，本文提出了双析取逻辑程序设计（ＢＤＬＰ）的概念，我们不仅从句法上将正规析取逻辑程序推广为双析取逻辑程序，而且建立了一种高度直观、灵活的辩论语义框架ＢＤＡＳ．特别是ＢＤＡＳ中定义的三种双析取程序语义：优先析取假说ＰＤＨ、完全析取假说ＣＤＨ和良基析取假说ＷＦＤＨ，分别反映了人工智能中的三种非单调推理形式．ＢＤＬＰ为逻辑程序设计中的常识推理提供了一种较为合理的语义框架．
Bi-disjunctive logic programming (BDLP) is an extension of disjunctive logic programming (DLP) and its semantic framework BDAS provides a suitable semantic framework for commonsense reasoning in DLP. This paper further studies some fundamental properties of BDAS. Various characterizations for ADH and WFDH are introduced, and a kind of weak cumulativity for WFDH is shown. Also,the relationships between BDAS and some key semantics for logic programming arediscussed. These results further convince the suitability of BDLP.
出处
《计算机学报》
EI
CSCD
北大核心
1997年第4期289-297,共9页
Chinese Journal of Computers
基金
国家攀登计划和国家高科技计划项目
关键词
逻辑程序设计
非单调推理
辩论推理
可接受假说
Logic programming,cumulativity,argument reasoning,acceptable hypothesis.
