US Patent Issued to NEC on March 17 for "Minimal unsatisfiable set detection apparatus, minimal unsatisfiable set detection method, and computer-readable recording medium" (Japanese Inventors)

ALEXANDRIA, Va., March 17 -- United States Patent no. 12,579,451, issued on March 17, was assigned to NEC Corp. (Tokyo).

"Minimal unsatisfiable set detection apparatus, minimal unsatisfiable set detection method, and computer-readable recording medium" was invented by Shiho Hirakawa (Tokyo) and Yoichi Sasaki (Tokyo).

According to the abstract* released by the U.S. Patent & Trademark Office: "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 un...