Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
   volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 1 van 8 gevonden artikelen
  A Multiple-Clause Folding Rule Using Instantiation and Generalization
Titel: A Multiple-Clause Folding Rule Using Instantiation and Generalization
Auteur: David A. Rosenblueth
Verschenen in: Fundamenta informaticae
Paginering: Jaargang 69 (2005) nr. 1-2 pagina's 219-249
Jaar: 2005-12-19
Inhoud: A program-transformation system is determined by a repertoire of correctness-preserving rules, such as folding and unfolding. Normally, we would like the folding rule to be in some sense the inverse of the unfolding rule. Typically, however, the folding rule of logic program transformation systems is an inverse of a limited kind of unfolding. In many cases this limited kind of folding suffices. We argue, nevertheless, that it is both important and possible to extend such a folding so as to be able to fold the clauses resulting from any unfolding of a positive literal. This extended folding rule allows us to derive some programs underivable by the existing version of this rule alone. In addition, our folding rule has applications to decompilation and reengineering, where we are interested in obtaining high-level program constructs from low-level program constructs. Moreover, we establish a connection between logic program transformation and inductive logic programming. This connection stems fromviewing our folding rule as a common extension of the existing multipleclause folding rule, on the one hand, and an operator devised in inductive logic programming, called "intra-construction",on the other hand. Hence, our folding rule can be regarded as a step towards incorporating inductive inference into logic program transformation. We prove correctness with respect to Dung and Kanchanasut's semantic kernel.
Uitgever: IOS Press
Bronbestand: Elektronische Wetenschappelijke Tijdschriften

                             Details van artikel 1 van 8 gevonden artikelen
   volgende >>
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland