EXTENSION AL SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMS WITH NEGATION

作     者：Rondogiannis, Panos Symeonidou, Ioanna 

作者机构：Univ Athens Dept Informat & Telecommun Athens Greece 

出 版 物：《LOGICAL METHODS IN COMPUTER SCIENCE》 (Log. Methods Comp. Sci.)

年 卷 期：2018年第14卷第2期

核心收录：

学科分类：08[工学] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Higher-Order Logic Programming Negation in Logic Programming Extensional Semantics 

摘      要：We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [2, 3] for positive higher-order programs. In this way we provide an alternative extensional semantics for higher-order logic programs with negation to the one proposed in [6]. We define for the language we consider the notions of stratification and local stratification, which generalize the familiar such notions from classical logic programming, and we demonstrate that for stratified and locally stratified higher-order logic programs, the proposed semantics never assigns the unknown truth value. We conclude the paper by providing a negative result: we demonstrate that the well-known stable model semantics of classical logic programming, if extended according to the technique of [2, 3] to higher-order logic programs, does not in general lead to extensional stable models.