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, IES”,this IES 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 IES 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•) IES being capable of running in a config-mode or a realtime-mode, andthe IES further comprising—since before starting the execution of this method or input to the IES during its execution via an I/O device of the IES—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 Teaching^FFLN, Reference Set^FFLN, PTR^FFLN” —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.0” 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 IES user or the IES 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 IES:A) the IES automatically prompts the user—to enable a UIE.Y to present in B) a LAC.Z in realtime mode—to invoke the IES to i. automatically identify a KR-UIE.Y storing an AST to be transformed into a LAC.Z, andii. automatically identify an unused HI-UIE.Y, into which to input by a user—as part of Action 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 IES, and toiii. automatically input “LAC.Z::=KR-UIE.Y, HI-UIE.Y into the GloBi.B) i. the IES automatically prompts the user to identify a LAC.Z in the GloBi, and ii. the IES automatically presents the LAC.Z as defined in A) iii.