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:
Apr. 21, 2026
Filed:
Jun. 21, 2022
International Business Machines Corporation, Armonk, NY (US);
Ndivhuwo Makondo, Pretoria, ZA;
Francois Pierre Luus, Wierdapark, ZA;
Naweed Aghmad Khan, Johannesburg, ZA;
Ismail Yunus Akhalwaya, Emmarentia, ZA;
Ryan Nelson Riegel, Carrollton, GA (US);
Oarabile Hope Moloko, Mahikeng, ZA;
Thabang Doreen Lebese, Johannesburg, ZA;
International Business Machines Corporation, Armonk, NY (US);
Abstract
A computer-implemented method may include processors configured for receiving input data corresponding to a knowledge base comprising a plurality of propositional logic clauses, generating output data corresponding to a first set of logical rules and a first set of facts based on the plurality of propositional logic clauses, accumulating the first set of facts to generate accumulated facts, generating a model graph based on the accumulated facts and the first set of logical rules, alternating reasoning and learning passes at the model graph until convergence to generate a second set of logical rules and a second set of facts, and generating a third set of logical rules and a third set of facts, wherein the third set of logical rules and the third set of facts exceed a first predetermined threshold.