2026-07-21T19:24:38Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3604 2024-03-06T10:34:24Z ddc:004 open_access

Modeling Machine Learning and Data Mining Problems with FO(·) Blockeel, Hendrik Bogaerts, Bart Bruynooghe, Maurice De Cat, Broes De Pooter, Stef Denecker, Marc Labarre, Anthony Ramon, Jan Verwer, Sicco Knowledge representation and reasoning declarative modeling logic programming knowledge base systems FO(·) IDP framework stemmatology phylogene This paper reports on the use of the FO(·) language and the IDP framework for modeling and solving some machine learning and data mining tasks. The core component of a model in the IDP framework is an FO(·) theory consisting of formulas in first order logic and definitions; the latter are basically logic programs where clause bodies can have arbitrary first order formulas. Hence, it is a small step for a well-versed computer scientist to start modeling. We describe some models resulting from the collaboration between IDP experts and domain experts solving machine learning and data mining tasks. A first task is in the domain of stemmatology, a domain of philology concerned with the relationship between surviving variant versions of text. A second task is about a somewhat similar problem within biology where phylogenetic trees are used to represent the evolution of species. A third and final task is about learning a minimal automaton consistent with a given set of strings. For each task, we introduce the problem, present the IDP code and report on some experiments. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hendrik Blockeel and Bart Bogaerts and Maurice Bruynooghe and Broes De Cat and Stef De Pooter and Marc Denecker and Anthony Labarre and Jan Ramon and Sicco Verwer 2012 Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2012.14 urn:nbn:de:0030-drops-36049 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.14 eng https://creativecommons.org/licenses/by-nd/3.0/legalcode