发明名称 创新专家系统IES及其PTR数据结构PTR-DS
摘要 要求保护的创新专家系统IES,并且对于给定的创新/发明,要求保护的数据结构DS在结构上对于任何创新/发明相同,满足两类功能需要。它们支持:(I)确定所有创新/发明的与给定的现有技术信息的技术/法律关系,(II)即时辨别和回答关于任何这样的关系,又称事实的任何合理查询。功能(I)使得能够生成/提供功能(II),其由IES和DS联合实现,也可由其他专家系统使用。通过针对技术/法律非正式基础事实甄选创新,将它们变换成技术/法律证实基础事实,随后变换成技术/法律主要事实,随后变换成技术/法律次要语义的/创造的/发明的和实用的事实,并且随后变换成作为最终技术/法律事实的论证链,来得到DS。所有事实使用寻找/认可相对于现有技术的发明所需的独立的创造的/发明的构思,又称观点的数目和类别,如由德国最高法院以及近期由美国最高法院归纳的那样。
申请公布号 CN104520880A 申请公布日期 2015.04.15
申请号 CN201380014478.3 申请日期 2013.03.14
申请人 西格拉姆申德勒有限公司 发明人 西格拉姆·申德勒
分类号 G06N5/02(2006.01)I;G06N5/04(2006.01)I 主分类号 G06N5/02(2006.01)I
代理机构 北京集佳知识产权代理有限公司 11227 代理人 王萍;李春晖
主权项 一种计算机实现的方法,用于针对“TT.0和RS的问题PTR<sup>CT</sup>”生成由专家系统使用的数据结构“PTR<sup>CT</sup>‑DS”,执行所述方法的计算机系统具有用于生成PTR<sup>CT</sup>‑DS的处理器和用于存储PTR<sup>CT</sup>‑DS的存储器,所述方法包括:·接收公开技术教导TT.0的具有信息的标记项(“doc.0‑MUI”)的文献.0,接收公开技术教导TT.i的具有doc.i‑MUI的文献.i的参考文献集合RS,i=1,2,3,…,并且将所有文献.i,i=0,1,2,…,以及它们的MUI写入PTR<sup>CT</sup>‑DS中,任何一个doc.i‑MUI被称为“主题内容项”;·接收背景文献,即文献.CT,其包括权威针对doc.CT‑MUI的用语的指导(诸如35 USC§§112/102/103/101的用语),并且将文献.CT及其MUI写入PTR<sup>CT</sup>‑DS中,任何一个doc.CT‑MUI被称为“法律项”;以及,如所述方法的以下步骤确定的,通过执行该方法进一步创建两种类别的项:(a)识别doc.0的所述权利要求的TT.0的.1一个元素,并且生成包括它的集合,并且将所述集合写入到PTR<sup>CT</sup>‑DS中;.2所述元素的性质,并且生成包括它的集合,并且将所述集合写入到PTR<sup>CT</sup>‑DS中;.3至少一个创造性二元独立构思,使得它们的镜像谓词的连结描述所述性质,针对每个创造性二元独立构思并且唯一针对该创造性二元独立构思生成包括它的集合,并且将任何所述集合写入到PTR<sup>CT</sup>‑DS中;(b)针对在(a)中生成的任何集合,生成公开其元素的doc.0‑MUI的集合并且将所述集合写入到PTR<sup>CT</sup>‑DS中;(c)针对在(b)中生成的任何集合,生成裁定其的I.CT的集合并且将所述集合写入到PTR<sup>CT</sup>‑DS中;针对任何doc.i,i&gt;0,重复步骤(d)至(f),并且其中对于与在(a).1或(a).3中生成的内容对等的任何项:(d)生成TT.i的包括如下元素的集合:与步骤(a).1中的内容对等的元素,条件是该对等元素不存在,将其替换为伪对等元素;或者与步骤(a).3中的内容对等的TT.i的二元独立构思,条件是其不存在或者不等于其在TT.0中的对等物,将其替换为伪对等构思,以及将所述集合写入到PTR<sup>CT</sup>‑DS中;(e)针对在(d)中生成的任何集合,生成在doc.i中公开在(d)中被替换的项的doc.i‑MUI的集合并且将所述集合写入到PTR<sup>CT</sup>‑DS中;(f)针对在(e)中生成的任何集合,生成裁定其的I.CT的集合并且将所述集合写入到PTR<sup>CT</sup>‑DS中;(g)基于(d)的替换生成所有预期组合的集合并且将其写入到PTR<sup>CT</sup>‑DS中;(h)针对在(g)中生成的任何AC,生成Q个1‑CC的最短序列的集合,使得AC/mod(Q‑CC)<u>ants</u> TT.0,并且将所述集合写入到PTR<sup>CT</sup>‑DS中;(i)针对在(h)中生成的Q个1‑CC的任何序列,生成裁定其的I.CT的集合,并且将所述集合写入到PTR<sup>CT</sup>‑DS中;(j)针对在(a)至(i)中生成的集合,生成关于测试T的论证链的集合,所述论证链的串联表示测试T,从而任何链被限于包括来自(a)至(i)的集合作为链接,所述链接通过自然语言片段粘合在一起,(k)针对在(a)至(j)中生成的任何集合,生成实时接入集合,条件是需要确保该集合的调取和呈现在实时对话中被终结,并且将所述集合写入到PTR<sup>CT</sup>‑DS中。
地址 德国柏林