US Patent Issued to INTERNATIONAL BUSINESS MACHINES on July 14 for "Reasoning with real-valued first order logic and probability intervals" (Irish Inventor)

ALEXANDRIA, Va., July 14 -- United States Patent no. 12,682,231, issued on July 14, was assigned to INTERNATIONAL BUSINESS MACHINES Corp. (Armonk, N.Y.).

"Reasoning with real-valued first order logic and probability intervals" was invented by Radu Marinescu (Dublin).

According to the abstract* released by the U.S. Patent & Trademark Office: "Embodiments are provided for providing enhanced reasoning in a computing system by a processor. All first-order logic formulas may be converted into real-valued logic formulas. A probabilistic inference is executed using the real-valued logic formulas and one or more probability intervals associated with an atomic formulae in a knowledge base to provide an interval conditional probability indicating t...