A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION

被引：0

作者：

DOUGHERTY, DJ ^{[1
]}

JOHANN, P ^{[1
]}

机构：

[1] HOBART & WILLIAM SMITH COLL, DEPT MATH & COMP SCI, GENEVA, NY 14456 USA

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 607卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Let E be a first-order equational theory. A translation of higher-order E-unification problems into a combinatory logic framework is presented and justified. The case in which E admits presentation as a convergent term rewriting system is treated in detail: in this situation, a modification of ordinary narrowing is shown to be a complete method for enumerating higher-order E-unifiers. In fact, we treat a more general problem, in which the types of terms contain type variables.

引用

页码：79 / 93

页数：15

共 50 条

[1] A COMBINATORY-LOGIC APPROACH TO HIGHER-ORDER E-UNIFICATION
DOUGHERTY, DJ
JOHANN, P
[J]. THEORETICAL COMPUTER SCIENCE, 1995, 139 (1-2) : 207 - 242
[2] MODULAR HIGHER-ORDER E-UNIFICATION
NIPKOW, T
QIAN, Z
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 200 - 214
[3] THE CONSISTENCY OF A HIGHER-ORDER PREDICATE CALCULUS AND SET-THEORY BASED ON COMBINATORY-LOGIC
BUNDER, MW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 425 - 425
[4] THE CONSISTENCY OF A HIGHER-ORDER PREDICATE CALCULUS AND SET-THEORY BASED ON COMBINATORY-LOGIC
BUNDER, MW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 182 - 182
[5] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
Czajka, Lukasz
[J]. JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
[6] ABSTRACTION PROBLEMS IN COMBINATORY-LOGIC - A COMPOSITIVE APPROACH
PIPERNO, A
[J]. THEORETICAL COMPUTER SCIENCE, 1989, 66 (01) : 27 - 43
[7] COMBINATORY-LOGIC AS THE 1ST-ORDER MATHEMATICAL-THEORY
JIANG, MD
WEN, H
[J]. CHINESE SCIENCE BULLETIN, 1989, 34 (24): : 2079 - 2083
[8] Eliminating redundancy in higher-order unification: A lightweight approach
Pientka, Brigitte
[J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 362 - 376
[9] Deaccenting and higher-order unification
Gardent C.
[J]. Journal of Logic, Language and Information, 2000, 9 (3) : 313 - 338
[10] Corrections and higher-order unification
Gardent, C
Kohlhase, M
van Leusen, N
[J]. NATURAL LANGUAGE PROCESSING AND SPEECH TECHNOLOGY: RESULTS OF THE 3RD KONVENS CONFERENCE, 1996, : 268 - 279

← 1 2 3 4 5 →