MUMBAI, India, June 26 -- Intellectual Property India has published a patent application (202641051495 A) filed by Formcept Technologies And Solutions Private Limited on April 22, 2026, for System And Method For Deterministically Controlling Unverified Output Transitions Through Symbolic Admissibility Over Probabilistic Outputs.
Inventors include Suresh Srinivasan; and Anuj Kumar.
The application for the patent was published on June 19, 2026, under issue no. 25/2026.
Abstract: A computer-implemented system is disclosed for deterministically controlling an unverified output transition to mitigate hallucinations in a probabilistic model. An enterprise ontology (108) is compiled into an executable Reasoning Control Flow Graph (RFG) comprising a plurality of typed nodes and edges representing permissible state transitions. A formal context is constructed in memory (102) from an immutable event space (110) of enterprise objects and ontology-derived attributes via an incidence relation, establishing an observer-independent ground truth. A symbolic validation layer is interposed between a probabilistic model and an execution environment to receive non-authoritative output transitions. These transitions are mapped to an unverified attribute set using canonical identifiers. An FCA component (120) computes a formal concept closure of the set, transforming probabilistic inferences into symbolically grounded states. Transitions are validated against a closure-based admissibility condition. The system deterministically executes, rejects, or decomposes transitions prior to dissemination, ensuring mathematically verified enterprise reasoning. FIG. 1
Disclaimer: Curated by HT Syndication.
