具有否定的高阶逻辑程序的外延语义
摘要：一个新的扩展的语义给予高阶逻辑程序的否定， 扩展了早期的仅仅研究高阶正程序的技术。 这样我们就给高阶逻辑程序的否定提供了替代的扩展语义， 这个语义不同于[CharalambidisER14]中提出的语义。 我们的研究还定义了我们所考虑语言的层次化和局部层次化， 这两个概念是经典逻辑编程中熟悉的概念的扩展。 我们证明对于层次化和局部层次化的高阶逻辑程序， 提出的语义从不赋予未知的真值。 最后，我们给出一个否定的结果： 证明了知名的经典逻辑编程的稳定模型语义， 如果扩展到高阶逻辑程序， 不总是导致扩展的稳定模型。
作者：Panos Rondogiannis, Ioanna Symeonidou
论文ID：1701.08622
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22