Using First-Order Theories of Boolean Algebras to Provide Safe AI Systems and a Novel Software Specification Logic
This patent is about a specification language with unique properties of high expressiveness while retaining decidability, software synthesis and referring to its own sentences.
Related Posts
A computer-implemented method issues reusable certificates for user uniqueness or claims by verifying submitted evidence and linking the certificate to the user’s public key.