权利保护发明的“发明构思”所致能的SPL测试中的(所有)验证性法律论据链的半自动产生/客制化

摘要

本发明揭露一种用于通过“创新专家系统”来产生、客制化以及提供“法律论据链(Legal Argument Chains,LAC.Z)”，当中Z＝1、2、3，...的计算机实作方法，此IES包括以下至少一个：一处理器；一内存，用于存储所述方法的可执行码以供所述处理器执行、一输入/输出装置，特别用于与一IES使用者互动的人，当中的至少一个，以及一使用者接口实体(User Interface Entity,UIE)，由UIE.Y所组成，Y＝1、2、3...；每一LAC.Z有至少一UIE.Y；一执行方法的内存(Memory of Method Execution,MEMEX)，包括一组存储单元，“KR‑UIE.Y”以及“HI‑UIE.Y”，以及一全球参考书目(Global Bibliography,GloBi)，可由所述处理器存取，以及IES，可运行于一设定模式或一实时模式，且所述IES另包括‑在开始执行此方法之前，或在执行期间通过所述IES的一输入/输出装置输入至所述IES‑所述“测试设定(Test Set‑UP,TSU)”包括测试决定因素：在一给定的符号中的一给定的“一阶逻辑有限法律范数(First Order Logic Finite Legal Norm,FFLN)”；一给定的“”(“FFLN,Reference SetFFLN>”),PTRFFLN”‑以及在此不用所述索引“FFLN”以及其余权利要求中的全部术语，例如“(),PTR”‑以及一给定的“PTR数据结构(PTR Data Structure,PTR‑DS)”，具有“FFLN中的某创新(Some Innovation in FFLN),SI”是所述PTR以及一FSTP‑Test的“FFLN中的技术教导(Technical Teaching in FFLN),TT.O”，如此一来若且唯若PTR通过此FSTP‑Test，则SI满足了FFLN，且PTR‑DS是PTR通过此FSTP‑Test满足FFLN的证据，以及一给定的“此PTR的FSTP‑Test的可商议子测试(Arguable Subtest)，AST”，其具有某KR‑UIE.Y所存储的AST，用于在执行所述方法时给一IES使用者或所述IES使用，此执行包括在所述IES的A)设定模式，或B)实时模式中的动作执行的重复调用：A)所述IES自动提示所述使用者‑去致能一UIE.Y以表示在B)实时模式中的一LAC.Z‑以调用所述IES，用以i.自动辨认一KR‑UIE.Y，存储要被转换为一LAC.Z的一AST，以及ii.自动辨认一未使用的HI‑UIE.Y，其是让一使用者输入‑如一部分的动作A)‑所述内容以及所述表示应该是属于所述LAC.Z，接着要在IES的输入/输出装置假设为表示所述AST的转换，以及iii.自动输入“LAC.Z::＝到所述GloBi，B)i.所述IES自动提示所述使用者以辨认所述GloBi中的一LAC.Z，以及ii.所述IES自动表示A)iii.中所定义的所述LAC.Z。