Názov:Transformational Semantics and Implementation of Evolving Logic Programs
Vedúci:doc. PhDr. Ján ©efránek, PhD.
Kµúčové slová:Logic Programming, Stable Model Semantics, Evolving Logic Programs, Transformational Semantics, Implementation
Abstrakt:Over the years, logic programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, it is not so easy to use in dynamic environments. Evolving logic programs (EVOLP) are an elegant and powerful extension of logic programming suitable for multiagent systems, planning and other uses where information tends to change dynamically. This work characterizes EVOLP by transforming it into an equivalent normal logic program. The proposed transformation is further examined and used to design and write the first freely available, extensible and reusable implementation of EVOLP under the evolution stable model semantics.

Súbory diplomovej práce: