Title | ||
---|---|---|
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. |
Abstract | ||
---|---|---|
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 the 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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1017/S147106841400009X | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Keywords | Field | DocType |
knowledge representation and reasoning,declarative modeling,logic programming,knowledge base systems,FO(.),IDP system,stemmatology,phylogenetic tree,deterministic finite state automaton | Data mining,Programming language,Computer science,Modeling language,Theoretical computer science,Artificial intelligence,Logic programming,Predicate logic,Partial function,Knowledge representation and reasoning,Automaton,Algorithm,Machine learning | Journal |
Volume | Issue | ISSN |
15 | 6 | 1471-0684 |
Citations | PageRank | References |
12 | 0.53 | 39 |
Authors | ||
10 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maurice Bruynooghe | 1 | 2767 | 226.05 |
Hendrik Blockeel | 2 | 2744 | 177.48 |
Bart Bogaerts | 3 | 83 | 16.49 |
Broes De Cat | 4 | 64 | 6.24 |
Stef De Pooter | 5 | 24 | 1.65 |
Joachim Jansen | 6 | 22 | 3.85 |
Anthony Labarre | 7 | 69 | 9.62 |
Jan Ramon | 8 | 955 | 66.16 |
Marc Denecker | 9 | 1626 | 106.40 |
Sicco Verwer | 10 | 282 | 31.26 |