论文部分内容阅读
推论(诱拐) 广泛地在人工智能(AI ) 和推理的法律被使用。然而，怎么在分离逻辑编程(DLP ) 执行推论的问题仍然是开的。另外，统一语义框架为为 DLP 合并各种各样的语义被要求。为由拿 abducibles 被介绍的否定文字的 disjuncts 的 DLP 的一个推论理论上的框架。这语义不仅是为在 DLP 执行推论和诱拐的一个简单、直觉的框架，而且为分离逻辑程序的许多关键语义提供一个统一框架。特别地， EGCWA，有根据的模型和分离稳定的模型都能被嵌进这语义，这被显示出。