The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 27, 2021
Filed:
Mar. 29, 2018
International Business Machines Corporation, Armonk, NY (US);
Huaiyu Zhu, Union City, CA (US);
Michael James Wehar, Amherst, NY (US);
Marina Danilevsky Hailpern, San Jose, CA (US);
Mauricio Antonio Hernandez-Sherrington, Gilroy, CA (US);
Yunyao Li, San Jose, CA (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
Methods, systems, and computer program products for constraint tracking and inference generation are provided herein. A computer-implemented method includes parsing descriptions of one or more user-provided constraints pertaining to data within a target system, parsing truth value assignments to the user-provided constraints, and deriving a truth value for at least one of the user-provided constraints that does not correspond to a known truth value, wherein said deriving comprises performing a logical inference utilizing known truth values of one or more of the user-provided constraints. The computer-implemented method also includes storing, in a database, (i) the user-provided constraints, (ii) the known truth values, and (iii) the at least one derived truth value, and outputting the at least one derived truth value, one or more identified contradictions among the known truth values, and/or an indication that one or more unknown truth values corresponding to the user-provided constraints remain unknown.