摘要
点型限制和启发式语义映射都可以用来处理逻辑程序和基于逻辑的知识表示系统中的否定信息,本文基于分层逻辑程序讨论了这两种方法之间的关系并证明了分别由这两种方法定义的分层逻辑程序的说明性语义是一致的。
Both the pointwise circumscription and heuristic semantic mapping can be used to deal with the negative information in logic program and logic—based knowledge representation systen. In this paper, we discuss the relationship between the two methods based on the stratified programs and show that both of them lead to the same semantics of the stratified pragrams.
出处
《贵州大学学报（自然科学版）》
1994年第3期129-134,共6页
Journal of Guizhou University:Natural Sciences
基金
贵州大学科学基金
贵州省科学基金
贵州省教委科学基金
关键词
逻辑程序
点型限制
语义
软件工程
Logic program, Pointwise circumscription, Semantics
