no code implementations • 16 Jul 2018 • Daniel Borchmann, Tom Hanika, Sergei Obiedkov
We propose an algorithm for learning the Horn envelope of an arbitrary domain using an expert, or an oracle, capable of answering certain types of queries about this domain.
no code implementations • 4 Jan 2017 • Daniel Borchmann, Tom Hanika, Sergei Obiedkov
We revisit the notion of probably approximately correct implication bases from the literature and present a first formulation in the language of formal concept analysis, with the goal to investigate whether such bases represent a suitable substitute for exact implication bases in practical use-cases.
no code implementations • 19 Nov 2015 • Daniel Borchmann, Bernhard Ganter
Attribute exploration has been investigated in several studies, with particular emphasis on the algorithmic aspects of this knowledge acquisition method.