Abstract Attribute Exploration with Partial Object Descriptions

TL;DR

This paper explores attribute exploration with partial object descriptions, focusing on its abstract, axiomatic framework to clarify the underlying strategy beyond algorithmic details.

Contribution

It introduces an abstract, axiomatic approach to attribute exploration with partial descriptions, enhancing understanding of its fundamental strategy.

Findings

Clarifies the abstract strategy of attribute exploration

Provides a formal terminology for the method

Highlights challenges with background knowledge and partial counter-examples

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" setting, providing a terminology that clarifies the abstract strategy of the method rather than its algorithmic implementation.