Coinductive logic programming

被引：45
|
作者：
Simon, Luke [1 ]
Mallya, Ajay [1 ]
Bansal, Ajay [1 ]
Gupta, Gopal [1 ]
机构：
[1] Univ Texas, Dept Comp Sci, Richardson, TX 75080 USA
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2006年 / 4079卷
关键词：
D O I：
10.1007/11799573_25
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We extend logic programming's semantics with the semantic dual of traditional Herbrand semantics by using greatest fixed-points in place of least fixed-points. Executing a logic program then involves using coinduction to check inclusion in the greatest fixed-point. The resulting coinductive logic programming language is syntactically identical to, yet semantically subsumes logic programming with rational terms and lazy evaluation. We present a novel formal operational semantics that is based on synthesizing a coinductive hypothesis for this coinductive logic programming language. We prove that this new operational semantics is equivalent to the declarative semantics. Our operational semantics lends itself to an elegant and efficient goal directed proof search in the presence of rational terms and proofs. We describe a prototype implementation of this operational semantics along with applications of coinductive logic programming.
引用
收藏
页码：330 / 345
页数：16
相关论文
共 50 条
  • [1] Coinductive Constraint Logic Programming
    Saeedloei, Neda
    Gupta, Gopal
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259
  • [2] Flexible coinductive logic programming
    DAGNINO, F. R. A. N. C. E. S. C. O.
    ANCONA, D. A. V. I. D. E.
    ZUCCA, E. L. E. N. A.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (06) : 818 - 833
  • [3] Coinductive Logic Programming with Negation
    Min, Richard
    Gupta, Gopal
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 97 - 112
  • [4] Coinductive logic programming and its applications
    Gupta, Gopal
    Bansal, Ajay
    Min, Richard
    Simon, Luke
    Mallya, Ajay
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 27 - +
  • [5] A Theoretical Perspective of Coinductive Logic Programming
    Ancona, Davide
    Dovier, Agostino
    [J]. FUNDAMENTA INFORMATICAE, 2015, 140 (3-4) : 221 - 246
  • [6] Type Inference by Coinductive Logic Programming
    Ancona, Davide
    Lagorio, Giovanni
    Zucca, Elena
    [J]. TYPES FOR PROOFS AND PROGRAMS, 2009, 5497 : 1 - 18
  • [7] Type Inference by Coinductive Logic Programming
    DISI, Univ. of Genova, v. Dodecaneso 35, Genova 16146, Italy
    [J]. Lect. Notes Comput. Sci., (1-18):
  • [8] Predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2009, 17 (2-3): : 105 - 114
  • [9] Towards Predicate Answer Set Programming via Coinductive Logic Programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III, 2009, : 499 - 508
  • [10] Towards predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    [J]. IFIP Advances in Information and Communication Technology, 2009, 296 : 499 - 508
12345