DETECTING AND CORRECTING KNOWLEDGE BASE ERRORS

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 pr...

Full description

Saved in:
Bibliographic Details
Main Authors Riegel, Ryan Nelson, Lebese, Thabang Doreen, Luus, Francois Pierre, Khan, Naweed Aghmad, Makondo, Ndivhuwo, Akhalwaya, Ismail Yunus, Moloko, Oarabile Hope
Format Patent
LanguageEnglish
Published 21.12.2023
Subjects
CALCULATING
COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
COMPUTING
COUNTING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:Application Number: US202217807909