卡洛斯·维加斯·达马西奥;路易斯·莫尼兹·佩雷拉;Swift，Terrance公司 连贯、基础良好的注释逻辑程序。 （英语） Zbl 0952.68025号 Michael Gelfond（编辑）等人，《逻辑编程和非单调推理》。第五届国际会议，LPNMR’99。美国德克萨斯州埃尔帕索，1999年12月2日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1730, 262-276 (1999). 摘要：扩展逻辑程序和注释逻辑程序是常规逻辑程序的两个重要扩展，它们允许更简洁和声明性的知识表示。扩展逻辑程序将显式否定添加到普通程序的默认否定中，以区分哪些可以证明为假，哪些不能证明为真。注释逻辑程序概括了一组真值，通过用新的真值域元素显式注释原子来解释程序。本文定义了一致的、基础良好的注释程序，并证明了它可以推广一致的和次一致的扩展程序，以及几类注释程序。关于整个系列，请参见[Zbl 0931.00043号]. 引用于2文件 MSC公司： 68N17号 逻辑编程 关键词：扩展逻辑程序;带注释的逻辑程序 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Damásio}等人，Lect。注释计算。科学。1730、262--276（1999年；Zbl 0952.68025）