SEMI-AUTOMATIC GENERATION / CUSTOMIZATION OF (ALL) CONFIRMATIVE LEGAL ARGUMENT CHAINS (LACS) IN A CLAIMED INVENTION'S SPL TEST, AS ENABLED BY ITS 'INVENTIVE CONCEPTS'

摘要

A computer-implemented method of generating, customizing and providing "Legal Argument Chains, LAC.Z", Z=1,2,3,..., by a "Innovation Expert System, lES", this lES comprising at least one of a processor, a memory for storing the method's executable code for the processor, an I/O device in particular for human interaction with an lES user, and ·) a "User Interface Entity, UIE", composed of UIE.Y, Y=1,2,3,...., ·) at least one UIE.Y per LAC.Z, ·) a "Memory of Method Execution, MEMEX", comprising a set of storage cells, "KR-UIE.Y" and "HI-UIE.Y", and a "Global Bibliography, GloBi", accessible to the processor, and ·) lES being capable of running in a config-mode or a realtime-mode, and the lES further comprising - since before starting the execution of this method or input to the lES during its execution via an I/O device of the lES - the "Test Set-UP, TSU" comprising the test determinants: ·) a given "First Order Logic Finite Legal Norm, FFLN" in some given notation, ·) a given "Pair of a technical TeachingFFLN, Reference SetFFLN, PTRFFLN" - and leaving away the index "FFLN" here and for all terms in the rest of the claims, e.g. a "Pair of a Technical Teaching, Reference Set, PTR"- and ·) a given "PTR Data Structure, PTR-DS" with "Some Innovation in FFLN, SI" is the "Technical Teaching in FFLN, TT.O" of the PTR and an FSTP-Test such that SI satisfies FFLN if and only if PTR passes this FSTP-Test and PTR-DS is the evidence that PTR satisfies FFLN by this FSTP-Test, and ·) a given "Arguable Subtest of this FSTP-Test of PTR, AST", with AST stored by some KR-UIE.Y, for use by an lES user or the lES when executing the method, this execution comprising repeated invocations of the executions of the Action A) in a config-mode or B) in a realtime-mode of the lES: A) the lES automatically prompts the user - to enable a UIE.Y to present in B) a LAC.Z in realtime mode - to invoke the lES to i. automatically identify a KR-UIE.Y storing an AST to be transformed into a LAC.Z, and ii. automatically identify an unused HI-UIE.Y, into which to input by a user - as part of Ac¬ tion A) - what the content and the representations shall be of LAC.Z, then supposed to represent the transformation of the AST on an I/O device of the lES, and to iii. automatically input "LAC.Z ::= KR-UIE.Y, HI-UIE.Y into the GloBi. B) i. the lES automatically prompts the user to identify a LAC.Z in the GloBi, and ii. the lES automatically presents the LAC.Z as defined in A.) iii.