WiM (CTU)

System	WiM
Version	4
Code	Yap Prolog
References	[1, 4, 5, 3]
Pointers	popel@fi.muni.cz
Other comments

WiM, a program for synthesis of closed Horn clauses further elaborates on the approach of MIS and Markus [2]. It works in top-down manner and uses shift of language bias. Moreover, WiM truth maintenance system can work with a second-order schema to be followed by the induced program. This schema definition can significantly increase efficiency of the learning process because only those programs matching the schema are verified on the training set. A unified approach to definition of oracles significantly simplifies implementation of a broad class of oracles.

Under this project there were developed several versions of WiM dedicated to specialised applications, namely for object-oriented analysis and design as well as for data mining in spatial data.

References

1. Flener P., Popelinsky L. Stepankova: ILP and Automatic Programming: Towards Three Approaches. In: Proc. of 4th Workshop on Inductive Logic Programm~ng (ILP'94), Bad Honeff, Germany, 1994.

2. Grobelnik M.: Induction of Prolog programs with Markus. In Deville Y.(ed.) Proceedings of LOPSTR'93. Workshops in Computing Series, pp 57-63, Springer-Verlag, 1994.

3. Lavrac N., Dzeroski S., Weber I., Kazakov D., Stepankova 0.: ILPNET repositories on WWW: Inductive Logic Programming systems, datasets and bibliography. AI Communications Vol.9, No.4, 1996, pp. 157-206.

4. Popelinsky L.: Towards Program Synthesis From A Small Example Set. Proceedings of 21st Czech-Slovak conference on Computer Science SOFSEM'94, pp.91-96 Czech Society for Comp. Sci. Brno 1993.

5. Popelinsky L., Stepankova 0.: WiM: A Study on the Top-Down ILP Program. FIMU-RS-95-03, Faculty of Informatics, 1995.