Extensional Higher-Order Logic Programming

被引：2
|
作者：
Charalambidis, Angelos [1 ]
Handjopoulos, Konstantinos [1 ]
Rondogiannis, Panos [1 ]
Wadge, William W. [2 ]
机构：
[1] Univ Athens, Dept Informat & Telecommun, GR-10679 Athens, Greece
[2] Univ Victoria, Dept Comp Sci, Victoria, BC V8W 2Y2, Canada
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010 | 2010年 / 6341卷
关键词：
D O I：
10.1007/978-3-642-15675-5_10
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose a purely extensional semantics for higher-order logic programming. Under this semantics, every program has a unique minimum Herbrand model which is the greatest lower bound of all Herbrand models of the program and the least fixed-point of the immediate consequence operator of the program. We also propose an SLD-resolution proof procedure which is sound and complete with respect to the minimum model semantics. In other words, we provide a purely extensional theoretical framework for higher-order logic programming which generalizes the familiar theory of classical (first-order) logic programming.
引用
收藏
页码：91 / 103
页数：13
相关论文
共 50 条
  • [1] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
  • [2] Constructive Negation in Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Rondogiannis, Panos
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 12 - 21
  • [3] Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
    Charalambidis, Angelos
    Esik, Zoltan
    Rondogiannis, Panos
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 : 725 - 737
  • [4] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [5] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [6] Tabling for higher-order logic programming
    Pientka, B
    AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 54 - 68
  • [7] Extensional Semantics for Higher-Order Logic Programs with Negation
    Rondogiannis, Panos
    Symeonidou, Ioanna
    LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 447 - 462
  • [8] HILOG - A FOUNDATION FOR HIGHER-ORDER LOGIC PROGRAMMING
    CHEN, WD
    KIFER, M
    WARREN, DS
    JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (03): : 187 - 230
  • [9] A higher-order logic programming language with constraints
    Leach, J
    Nieva, S
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
  • [10] A treatment of higher-order features in logic programming
    Nadathur, G
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 305 - 354
12345