Patent WO-2015086429-A1 (WO)
Title: Génération/personnalisation semi-automatique de (toutes) les chaînes d'arguments juridiques confirmatifs (lacs) dans un test spl d'une invention revendiquée, telle que validée par ses « concepts inventifs »
Inventor: SCHINDLER SIGRAM
IPC: G06N99/00
Filed: 2014-12-04
Abstract: La présente invention concerne un procédé mis en œuvre par ordinateur destiné à générer, à personnaliser et à fournir « des chaînes d'arguments juridiques, LAC.Z », Z=1,2,3,..., au moyen d'un « système expert d'innovation, lES », ledit lES comprenant au moins un élément parmi un processeur, une mémoire destinée à mémoriser le code exécutable du procédé pour le processeur, un dispositif E/S en particulier pour l'interaction humaine avec un utilisateur d'IES, et ·) une « entité d'interface utilisateur, UIE », composée d'UIE.Y, Y=1,2,3,...., ·) au moins une UIE.Y par LAC.Z, ·) une « mémoire d'exécution de procédé, MEMEX », comprenant un ensemble de cellules de mémoire, « KR-UIE.Y » et « HI-UIE.Y », et une « bibliographie globale, GloBi », accessible au processeur, et ·) l'lES pouvant être exécuté en mode configuration ou en mode temps réel, et l'lES comprenant en outre - depuis avant le démarrage de l'exécution dudit procédé ou de l'entrée dans l'lES pendant son exécution par l'intermédiaire d'un dispositif E/S de l'lES - la « configuration de test, TSU » comprenant les déterminants de test : ·) une « norme juridique finie logique de premier ordre, FFLN » donnée, dans une certaine notation donnée, ·) une « paire donnée enseignement technique FFLN , ensemble de référence FFLN >, PTR FFLN  » - et supprimer l'index « FFLN » ici et pour tous les termes dans le reste des revendications, par exemple une « paire d'un <enseignement technique, ensemble de référence>, PTR »- et ·) une « structure de données PTR, PTR-DS », donnée, « certaine innovation dans FFLN, SI » étant l' « enseignement technique dans FFLN, TT.O » du PTR et un test FSTP de manière que SI satisfasse FFLN si et uniquement si PTR réussit ledit test FSTP et PTR-DS est la preuve que PTR satisfait FFLN lors dudit test FSTP, et ·) un « sous-test défendable dudit test FSTP de PTR, AST » donné, AST étant mémorisé par certain KR-UIE.Y, destiné à être utilisé par un utilisateur d'lES ou l'lES lorsqu'il exécute le procédé, ladite exécution comprenant des innovations répétées des exécutions de l'action A) dans un mode configuration ou B) dans un mode temps réel de l'lES : A) l'lES incite automatiquement l'utilisateur - à permettre à un UIE.Y de présenter dans B) une LAC.Z en mode temps réel - à faire appel à l'lES pour i. identifier automatiquement un KR-UIE.Y mémorisant un AST devant être transformé en une LAC.Z, et ii. identifier automatiquement une HI-UIE.Y inutilisée, dans laquelle un utilisateur doit entrer - comme une partie de Ac tion A) - le contenu et les représentations de LAC.Z, ensuite supposée représenter la transformation de l'AST dans un dispositif E/S de l'lES, et iii. entrer automatiquement « LAC.Z ::= < KR-UIE.Y, HI-UIE.Y> dans la GloBi. B) i. l'lES incite automatiquement l'utilisateur à identifier une LAC.Z dans la GloBi, et ii. l'lES présente automatiquement la LAC.Z comme elle est définie dans A.) iii.