Patents
Literature
1 results about "Formation rule" patented technology
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. These rules only address the location and manipulation of the strings of the language. It does not describe anything else about a language, such as its semantics (i.e. what the strings mean). (See also formal grammar).
Ordered Derivations of Canonical Forms
PendingUS20260147975A1Natural language translationSemantic analysisAlgorithmTheoretical computer science
A formal system effects ordered derivations of canonical forms with inductive formation rules. A logical connective understood as ordered conjunction, denying the proof-theoretic structural law of exchange in a substructural setting, concatenates terms occurring at successive internal nodes of a proof tree until a defined pattern is matched and a canonical form is thus obtained. Leaf nodes classify subterms by their semantic types, and syntactic composition occurs at internal nodes to determine the canonical form. The framework admits normalization of structured data, deriving consistent representations for terms with many possible encodings.
Owner:BURKE GAVIN