US Patent Issued to IDNI on March 18 for "Using first-order theories of boolean algebras to provide safe artificial intelligence (AI) systems and a novel software specification logic" (Liechtensteiner Inventor)

ALEXANDRIA, Va., March 19 -- United States Patent no. 12,254,082, issued on March 18, was assigned to IDNI AG (Triesen, Liechtenstein).

"Using first-order theories of boolean algebras to provide safe artificial intelligence (AI) systems and a novel software specification logic" was invented by Ohad Asor (Triesen, Liechtenstein).

According to the abstract* released by the U.S. Patent & Trademark Office: "A method validating commands for a software platform. The platform receives user input to specify a command for the software platform to perform an action. The command is expressed in an extended formal language including elements in a Boolean Algebra. The platform retrieving validation rules for the software platform. The validation rules...