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 problemsolving with the IDP3 system. The core of IDP3 is a finite model generator that supports firstorder 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 constraintsolving 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 stateofthe art solution. For each of these applications, we analyze the problem, illustrate the development of a logicbased model and explore how alternatives can affect the performance. 
Homepage: 
https://dtai.cs.kuleuven.be/krr/files/bib/manuals/idp3manual.pdf

Keywords: 
knowledge representation;
declarative modeling;
logic programming;
knowledgebase systems;
IDP system;
stemmatology;
phylogenetic tree;
deterministic finitestate automaton

Related Software: 
clasp;
WASP;
DLV;
Clingo;
Cmodels;
DLV2;
Gringo;
ROSoClingo;
Clingcon;
Lparse;
MiniSat;
ASPTools;
lp2normal;
Sat4j;
ASSAT;
Pueblo;
Gurobi;
AutoWEKA;
OMiGA;
GitHub

Cited in: 
9 Publications
