Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3
| Autor: | Bruynooghe, Maurice, Blockeel, Hendrik, Bogaerts, Bart, De Cat, Broes, De Pooter, Stef, Jansen, Joachim, Labarre, Anthony, Ramon, Jan, Denecker, Marc, Verwer, Sicco |
|---|---|
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | Theory and Practice of Logic Programming 15 (2014) 783-817 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1017/S147106841400009X |
| Popis: | This paper provides a gentle introduction to problem solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first order logic enriched with types, inductive definitions, aggregates and partial functions. It offers its users a modeling language that is a slight extension of predicate logic and allows them to solve a wide range of search problems. Apart from a small introductory example, applications are selected from problems that arose within machine learning and data mining research. These research areas have recently shown a strong interest in declarative modeling and constraint solving as opposed to algorithmic approaches. The paper illustrates that the IDP3 system can be a valuable tool for researchers with such an interest. The first problem is in the domain of stemmatology, a domain of philology concerned with the relationship between surviving variant versions of text. The second problem is about a somewhat related problem within biology where phylogenetic trees are used to represent the evolution of species. The third and final problem concerns the classical problem of learning a minimal automaton consistent with a given set of strings. For this last problem, we show that the performance of our solution comes very close to that of a state-of-the art solution. For each of these applications, we analyze the problem, illustrate the development of a logic-based model and explore how alternatives can affect the performance. Comment: To appear in Theory and Practice of Logic Programming (TPLP) |
| Databáze: | arXiv |
| Externí odkaz: |
|