Probably approximately correct learning of Horn envelopes from queries

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. Attrib…