Describing observations or objects in non-mathematical disciplines can often be accomplished by answering a list of questions. These questions can be formulated in such a way that the only possible answers always are ``yes'' or ``no''. This article is about automatically checking such given binary data sets for inconsistencies and about finding possible logical rules valid for the analyzed objects.
翻译:描述非数学学科中的观测或对象通常可以通过回答问题清单来完成。这些问题的表述方式可以使唯一的可能答案总是“是”或“否”。本条涉及自动检查这些给定的二进制数据集的不一致之处,以及寻找对分析对象有效的可能逻辑规则。