velikost textu

Transformation of Logic Programs

Upozornění: Informace získané z popisných dat či souborů uložených v Repozitáři závěrečných prací nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora.
Název:
Transformation of Logic Programs
Název v češtině:
Transformace logických programů
Typ:
Disertační práce
Autor:
RNDr. Jiří Vyskočil
Školitel:
prof. RNDr. Petr Štěpánek, DrSc.
Oponenti:
Mgr. Marta Vomlelová, Ph.D.
Ing. Radek Mařík
Id práce:
41059
Fakulta:
Matematicko-fyzikální fakulta (MFF)
Pracoviště:
Katedra teoretické informatiky a matematické logiky (32-KTIML)
Program studia:
Informatika (P1801)
Obor studia:
Teoretická informatika (I1)
Přidělovaný titul:
Ph.D.
Datum obhajoby:
30. 9. 2008
Výsledek obhajoby:
Prospěl/a
Jazyk práce:
Angličtina
Abstract v angličtině:
This paper is a contribution to improving computational efficiency of denite Prolog programs using Unfold/Fold (U/F) strategy with homeomorphic embedding as a control heuristic. Unfold/Fold strategy is an alternative to so called conjunctive partial deduction (CPD). The ECCE system is one of the best system for program transformations based on CPD. In this thesis is presented a new fully automated system of program transformations based on U/F strategy. The experimental results, namely CPU times, the number of inferences, and the size of the transformed programs are included. These results are compared to the ECCE system and indicate that in many cases both systems have produced programs with similar or complementary efficiency. Moreover, a new method based on a simple combination of both systems is presented. This combination represents, to our best knowledge, the most effective transformation program for normal logic programs. In most cases, the combination signicantly exceeds both the Unfold/Fold algorithm presented here and the results of the ECCE system. The experimental results with a complete comparison among these algorithms are included.
Dokumenty
Stáhnout Dokument Autor Typ Velikost
Stáhnout Text práce RNDr. Jiří Vyskočil 2.45 MB
Stáhnout Abstrakt v českém jazyce RNDr. Jiří Vyskočil 80 kB
Stáhnout Abstrakt anglicky RNDr. Jiří Vyskočil 80 kB
Stáhnout Posudek vedoucího prof. RNDr. Petr Štěpánek, DrSc. 280 kB
Stáhnout Posudek oponenta Mgr. Marta Vomlelová, Ph.D. 239 kB
Stáhnout Posudek oponenta Ing. Radek Mařík 301 kB
Stáhnout Záznam o průběhu obhajoby 276 kB