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 条

[21] Towards a logic programming methodology based on higher-order predicates
Hamfelt, A
Nilsson, JF
NEW GENERATION COMPUTING, 1997, 15 (04) : 421 - 447
[22] A complete narrowing calculus for higher-order functional logic programming
Nakahara, K
Middeldorp, A
Ida, T
PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 97 - 114
[23] Aspect-oriented programming in higher-order and linear logic
Liang, Chuck C.
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 305 - 319
[24] Towards a logic programming methodology based on higher-order predicates
Andreas Hamfelt
Jørgen Fischer Nilsson
New Generation Computing, 1997, 15 : 421 - 447
[25] The intricacies of three-valued extensional semantics for higher-order logic programs
Rondogiannis, Panos
Symeonidou, Ioanna
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 974 - 991
[26] IMPLEMENTING TACTICS AND TACTICALS IN A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
FELTY, A
JOURNAL OF AUTOMATED REASONING, 1993, 11 (01) : 43 - 81
[27] Proof-theoretic and higher-order extensions of logic programming
Momigliano A.
Ornaghi M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 254 - 270
[28] Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III
Alexander Steen
KI - Künstliche Intelligenz, 2020, 34 : 105 - 108
[29] Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III
Steen, Alexander
KUNSTLICHE INTELLIGENZ, 2020, 34 (01): : 105 - 108
[30] AL-KHOWARIZMI - A FORMAL SYSTEM FOR HIGHER-ORDER LOGIC PROGRAMMING
ABDALLAH, MAN
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 233 : 545 - 553

← 1 2 3 4 5 →