PARTIAL DEDUCTION FOR STRUCTURED LOGIC PROGRAMMING

被引：5
|
作者：
BUGLIESI, M [1 ]
LAMMA, E [1 ]
MELLO, P [1 ]
机构：
[1] DEIS UNIV BOLOGNA,I-40136 BOLOGNA,ITALY
来源：
JOURNAL OF LOGIC PROGRAMMING | 1993年 / 16卷 / 1-2期
关键词：
D O I：
10.1016/0743-1066(93)90024-B
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we discuss an extension of Partial Deduction in the framework of structured logic programs. The class of programs we consider includes statically configured systems such as block- and inheritance-based systems, as well as more dynamic configurations which support hypothetical reasoning and viewpoints. We show that the basic Partial Deduction definition can be extended to deal with a richer class of programs, while maintaining, under appropriate closedness conditions, the properties of soundness and completeness of the transformation which hold in the case of logic programming.
引用
收藏
页码：89 / 122
页数：34
相关论文
共 50 条
  • [11] PARTIAL MODELS AND LOGIC PROGRAMMING
    FITTING, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1986, 48 (2-3) : 229 - 255
  • [12] An automatic partial deduction system for constraint logic programs
    Tao, Y
    Grosky, WI
    Liu, CN
    [J]. NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 149 - 156
  • [13] Linear logic, partial deduction and cooperative problem solving
    Küngas, P
    Matskin, M
    [J]. DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 263 - 279
  • [14] Deduction System for Decision Logic based on Partial Semantics
    Nakayama, Yotaro
    Akama, Seiki
    Murai, Tetsuya
    [J]. SEMAPRO 2017: THE ELEVENTH INTERNATIONAL CONFERENCE ON ADVANCES IN SEMANTIC PROCESSING, 2017, : 8 - 11
  • [15] Controlling generalization and polyvariance in partial deduction of normal logic programs
    Leuschel, M
    Martens, B
    De Schreye, D
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (01): : 208 - 258
  • [16] Logic program specialisation through partial deduction: Control issues
    Leuschel, M
    Bruynooghe, M
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2002, 2 : 461 - 515
  • [17] A PROGRAMMING LOGIC FOR A VERIFIED STRUCTURED ASSEMBLY LANGUAGE
    CURZON, P
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 403 - 408
  • [18] Differentiable Inductive Logic Programming for Structured Examples
    Shindo, Hikaru
    Nishino, Masaaki
    Yamamoto, Akihiro
    [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 5034 - 5041
  • [19] PARTIAL DEDUCTION OF LOGIC PROGRAMS WRT WELL-FOUNDED SEMANTICS
    ARAVINDAN, C
    DUNG, PM
    [J]. NEW GENERATION COMPUTING, 1994, 13 (01) : 45 - 74
  • [20] Analysing AI planning problems in linear logic -: A partial deduction approach
    Küngas, P
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2004, 2004, 3171 : 52 - 61
12345