IDP3 swMATH ID: 22941 Software Authors: Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco Description: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. 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. Homepage: https://dtai.cs.kuleuven.be/krr/files/bib/manuals/idp3-manual.pdf Keywords: knowledge representation; declarative modeling; logic programming; knowledge-base systems; IDP system; stemmatology; phylogenetic tree; deterministic finite-state automaton Related Software: clasp; WASP; DLV; Clingo; Cmodels; DLV2; Gringo; ROSoClingo; Clingcon; Lparse; MiniSat; ASPTools; lp2normal; Sat4j; ASSAT; Pueblo; Gurobi; Auto-WEKA; OMiGA; GitHub Cited in: 9 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Zbl 1379.68279Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco 2015 all top 5 Cited by 28 Authors 3 Bogaerts, Bart 3 Denecker, Marc 2 Dodaro, Carmine 2 Janssens, Gerda 2 Maratea, Marco 2 Verwer, Sicco 1 Alviano, Mario 1 Blockeel, Hendrik 1 Bruynooghe, Maurice 1 Calimeri, Francesco 1 Dasseville, Ingmar 1 de Cat, Broes 1 De Pooter, Stef 1 De Wulf, Wolf 1 Fuscà, Davide 1 Gebser, Martin 1 Janhunen, Tomi 1 Jansen, Joachim 1 Labarre, Anthony 1 Paramonov, Sergey 1 Perri, Simona 1 Ramon, Jan 1 Ricca, Francesco 1 Tasharrofi, Shahab 1 van der Hallen, Matthias 1 Van Hertum, Pieter 1 Zangari, Jessica 1 Zhang, Yingqian Cited in 2 Serials 6 Theory and Practice of Logic Programming 1 Annals of Mathematics and Artificial Intelligence Cited in 2 Fields 9 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year