Czech Technical University(CTU)
Faculty of Electrical Engineering
Department of Control Engineering
Czech Republic

Olga Stepankova, Vladimir Marik, Jiri Lazansky, Lubos Popelinsky, Dimitr Kazakov, Jiri Klema

ILP Areas
Transformation of logic programs, Inductive synthesis of logic programs, Knowledge discovery in databases, Inductive identification of technical systems.

In 1995, the node became responsible for data collection for ILPNET repository situated in GMD.
Description of Research
Transformations and synthesis of logic programs [11,12] have been studied by the Czech LP community during the last decade. Only recently, we have realised that example guided folding and predicate invention fit well into the ILP framework. An ILP system for efficiency improving transformations of logic programs is currently under development.

Being very recent in the ILP comunity, the Czech ILP group is gathering first on-hand experience with available ILP systems. Special attention is devoted to those approaches which might prove useful for identification of technical systems (data-dependency discovery, induction of qualitative laws from exemples of behaviour). In order to support this goal, there are being reimplemented some modifications of known ILP algorithms. Public ILP software is used for experiments with grammar induction from natural texts. WiM system has been developed based on Shapiro's MIS system emploiting experience of Markus system of Ljubljana. The new methodology of ILP - assumption-based learning - was applied which employs abduction and queries to a teacher. WiM is able to learn the common ILP benchmark predicates from very small number of examples.

Possible interaction with database community is examined. The INDEX system of Peter Flach for finding dependencies in relational databases has been impproved [2]. WiM has been used to build database schema in deductive object-oriented databases [7,8]. More developed approach is being tested for KDD purposes.

Contact Person

Olga Stepankova
Department of Control Engineering, FEL
Technicka 2, 166 27 Prague 6
Czech Republic
Phone: +42 2 293107
Fax: +42 2 290159


Franová M., Popelínský L.: A Step To Synthesis of Formal Specification From Predicate Definition. TR L.R.I. Universite Paris-Sud, 1993
Kuklová J., Popelínský L.:On Biases in Inductive Data Engineering. ECML'94 Workshop on Declarative Bias, Catania, Sicily, 1994
Flener P., Popelínský L.: On the Use of Inductive Reasoning in Program Synthesis, Prejudice and Prospects. 4th Workshop on Logic Program Synthesis and Transformation LOPSTR'94, Pisa, IT
Flener P., Popelínský L., Stepánková O.: Inductive Logic Programing and Automatic Programming: Towards Three Approaches. Proceedings of 4th Int. ILP'94 workshop, Bonn 1994, Germany
Popelínský L.: Towards synthesis of nearly pure Prolog programs. In: Clement T.P., Lau K.-K. (Eds.): Proceeding of LOPSTR'91, Manchester 1991, Workshops in Computing Series, Springer-Verlag, 1992.
Popelínský L.: Towards Program Synthesis From A Small Example Set. Proceedings of 10th WLP'94, Zuerich 1994, Switzerland. (also appeared in Proc of. 21st Conference SOFSEM'95 Milovy, Czechia)
Popelínský L.: Object-oriented data modelling and rules. ILP meets databases. Working Notes of ECML'95 Workhsop on Knowledge Level Modelling, Iraklion, Crete, 1995
Popelínský L., Stepánková O.: Rule synthesis in deductive object-oriented databases. 4th Workshop on Inductive Logic Programming ILP'95, Leuven 1995, Belgium
Popelínský L., Stepánková O.: WiM : A Study On Top-Down ILP Programs. In: Proceedings of AIT'95 Workshop, Brno, Czech Republic
Popelínský L.: Knowledge discovery in databases (in Czech). In: DATASEM'95, Brno 1995, Czech Republic
Stepánková O. and Stepánek P.: Transformations of logic programs. Journal of Logic Programming 1:489--501, 1984.
Stepánková O. and Stepánek P.: Developing logic programs: Computing through normalizing. Proc. of Computer Science and Logic LICS'87, Karlsruhe. LNCS 329:304--321, Springer-Verlag, 1988.
Zídek J.: Development of Logic Programs. MS Thesis (supervisor O. Stepánková), CTU Prague, 1994.

Lubos Popelinsky,
Fri Sep 22 12:34:56 MET DST 1995