INTERNATIONAL PATENT: IDNI AG FILES APPLICATION FOR "USING FIRST-ORDER THEORIES OF BOOLEAN ALGEBRAS TO PROVIDE SAFE AI SYSTEMS AND A NOVEL SOFTWARE SPECIFICATION LOGIC"

GENEVA, July 29 -- IDNI AG (Landstrasse 409495 Triesen) filed a patent application (PCT/IB2025/000020) for "USING FIRST-ORDER THEORIES OF BOOLEAN ALGEBRAS TO PROVIDE SAFE AI SYSTEMS AND A NOVEL SOFTWARE SPECIFICATION LOGIC" on Jan 17, 2025. With publication no. WO/2025/153897, the details related to the patent application was published on Jul 24, 2025.

Notably, the patent application was submitted under the International Patent Classification (IPC) system, which is managed by the World Intellectual Property Organization (WIPO).

Inventor(s): ASOR, Ohad (Landstrasse 409495 Triesen)

Abstract: A method validating commands for a software platform. The platform receives user input to specify a command for the software platform to perform an ...