Author:
CHARALAMBIDIS ANGELOS,RONDOGIANNIS PANOS,SYMEONIDOU IOANNA
Abstract
AbstractWe define a novel, extensional, three-valued semantics for higher-order logic programs with negation. The new semantics is based on interpreting the types of the source language as three-valued Fitting-monotonic functions at all levels of the type hierarchy. We prove that there exists a bijection between such Fitting-monotonic functions and pairs of two-valued-result functions where the first member of the pair is monotone-antimonotone and the second member is antimonotone-monotone. By deriving an extension ofconsistent approximation fixpoint theory(Deneckeret al.2004) and utilizing the above bijection, we define an iterative procedure that produces for any given higher-order logic program a distinguished extensional model. We demonstrate that this model is actually aminimalone. Moreover, we prove that our construction generalizes the familiar well-founded semantics for classical logic programs, making in this way our proposal an appealing formulation for capturing thewell-founded semantics for higher-order logic programs.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference20 articles.
1. The well-founded semantics for general logic programs;Gelder;J. ACM,1991
2. The intricacies of three-valued extensional semantics for higher-order logic programs;Rondogiannis;TPLP,2017
3. Extensional Higher-Order Logic Programming
4. Ultimate approximation and its application in nonmonotonic knowledge representation systems
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献