Showing 1–5 of 5 results for author: Borchmann, D

Probably approximately correct learning of Horn envelopes from queries

Authors: Daniel Borchmann, Tom Hanika, Sergei Obiedkov

Abstract: 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. Attribute exploration from formal concept analysis is a procedure that solves this problem, but the number of queries it may ask is exponential in the size of the resulting Horn formula in the worst case. We recall a well-know… ▽ More 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. Attribute exploration from formal concept analysis is a procedure that solves this problem, but the number of queries it may ask is exponential in the size of the resulting Horn formula in the worst case. We recall a well-known polynomial-time algorithm for learning Horn formulas with membership and equivalence queries and modify it to obtain a polynomial-time probably approximately correct algorithm for learning the Horn envelope of an arbitrary domain. △ Less

Submitted 16 July, 2018; originally announced July 2018.

Comments: 21 pages, 1 figure

MSC Class: 03G10 68T27 ACM Class: F.4.1; I.2.6

Journal ref: Discrete Applied Mathematics Volume 273 (2020), Pages 30-42

On the Usability of Probably Approximately Correct Implication Bases

Authors: Daniel Borchmann, Tom Hanika, Sergei Obiedkov

Abstract: 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. To this end, we quantitatively examine the behavior of probably approximately correct implication… ▽ More 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. To this end, we quantitatively examine the behavior of probably approximately correct implication bases on artificial and real-world data sets and compare their precision and recall with respect to their corresponding exact implication bases. Using a small example, we also provide qualitative insight that implications from probably approximately correct bases can still represent meaningful knowledge from a given data set. △ Less

Submitted 18 January, 2017; v1 submitted 3 January, 2017; originally announced January 2017.

Comments: 17 pages, 8 figures; typos added, corrected x-label on graphs

MSC Class: 03G10 68T27 ACM Class: F.4.1; I.2.6

Abstract Attribute Exploration with Partial Object Descriptions

Authors: Daniel Borchmann, Bernhard Ganter

Abstract: Attribute exploration has been investigated in several studies, with particular emphasis on the algorithmic aspects of this knowledge acquisition method. In its basic version the method itself is rather simple and transparent. But when background knowledge and partially described counter-examples are admitted, it gets more difficult. Here we discuss this case in an abstract, somewhat "axiomatic" s… ▽ More Attribute exploration has been investigated in several studies, with particular emphasis on the algorithmic aspects of this knowledge acquisition method. In its basic version the method itself is rather simple and transparent. But when background knowledge and partially described counter-examples are admitted, it gets more difficult. Here we discuss this case in an abstract, somewhat "axiomatic" setting, providing a terminology that clarifies the abstract strategy of the method rather than its algorithmic implementation. △ Less

Submitted 19 November, 2015; originally announced November 2015.

A General Form of Attribute Exploration

Authors: Daniel Borchmann

Abstract: We present a general form of attribute exploration, a knowledge completion algorithm from Formal Concept Analysis. The aim of our presentation is not only to extend the applicability of attribute exploration by a general description. It may also allow to view different existing variants of attribute exploration as instances of a general form, which may simplify theoretical considerations. We present a general form of attribute exploration, a knowledge completion algorithm from Formal Concept Analysis. The aim of our presentation is not only to extend the applicability of attribute exploration by a general description. It may also allow to view different existing variants of attribute exploration as instances of a general form, which may simplify theoretical considerations. △ Less

Submitted 22 February, 2012; originally announced February 2012.

Deciding Entailment of Implications with Support and Confidence in Polynomial Space

Authors: Daniel Borchmann

Abstract: Association Rules are a basic concept of data mining. They are, however, not understood as logical objects which can be used for reasoning. The purpose of this paper is to investigate a model based semantic for implications with certain constraints on their support and confidence in relational data, which then resemble association rules, and to present a possibility to decide entailment for them. Association Rules are a basic concept of data mining. They are, however, not understood as logical objects which can be used for reasoning. The purpose of this paper is to investigate a model based semantic for implications with certain constraints on their support and confidence in relational data, which then resemble association rules, and to present a possibility to decide entailment for them. △ Less

Submitted 30 January, 2012; v1 submitted 27 January, 2012; originally announced January 2012.