'Innovation Description Languages, IDLs' Knowledge Representations, KRs and - Easily DraftingTesting Patents for Their Total Robustness -

摘要

For any ETCI its KR in any 1DL dramatically facilitates mathematically & semi-automaticaliy •drafting it (from scratch) totally robust and/or •proving it to be totally robust (if preexisting). Key for totally robust patents is the rationalization by the Supreme Court's MBA-framework of 35 (JSC Substantive Patent Law, SPL (§§ 112/101/102/103), thus enabling it to unas-sailably protect Emerging Technology Claimed Inventions, ETCIs, without jeopardizing the US patent system. IDL-Axiom: An "IDL" is any elementarily mathematizable subset of any natural language that is next to trivial, yet is expanded by all notions that the Supreme Court by its MB/f-framework ex-or implicitly requires to be used in legally deciding an ETCI to satisfy SPL - by testing it in this IDL. Thus, an IDL is a Domain-specific Language, DSL, for facilitating drafting and or using ,DI ETCIs. Even if applying the FSTP-Test, hitherto no way has been known to stereotypically for any ETCI semi-mathematically/-automatically •draft by a human an ETCI's totally robust pa-tent(application) specification in a thus expanded subset of a natural language, and/or »test any ETCI by this IDL's J ~(IDL)LACs for its meeting all requirements of 35 USC/SPL.