Minimal unsatisfiable set detection apparatus, minimal unsatisfiable set detection method, and computer-readable recording medium

Abstract

A minimal unsatisfiable set detection apparatus, which detects a minimal set from a set of observed events that are determined to be inconsistent with a knowledge base, includes a decision graph acquisition unit 31 that acquires a decision graph that outputs a boolean value of an observed event from the knowledge base, an observed event acquisition unit 32 that acquires a plurality of observed events determined to be inconsistent with the knowledge base, a minimal set covering derivation unit 33 that obtains a minimal set covering by converting a plurality of observed events, which are acquired by the observed event acquisition unit 32, into a minimal set covering problem using the decision graph, and an output unit 34 that outputs a calculation result by the minimal set covering derivation unit 33.

CPC Classifications