AN AUTOMATIC ENCODER OF LEGISLATION TO LOGIC

This disclosure relates to computationally efficient processing of legal texts. A language processor extracts from text blocks atomic literals that correspond to terms in the legal text and that are shared across logic expressions for different text blocks. A mapper maps the text blocks into a logic expression of the atomic literals and a logic engine evaluates the logic expression based on one or more assignments of the atomic literals. A user interface comprises user input elements associated with the atomic literals. Upon user interaction with the user input elements, an assignment is created of the atomic literal associated with the user input elements and the logic engine is called to evaluate the logic expression based on the created assignment. The user interface changes based on the evaluation to thereby provide legal advice in the form of remaining atomic literals. La présente invention concerne le traitement informatique efficace de textes juridiques. Un processeur de langue extrait des libellés atomiques à partir de blocs de texte. Les libellés atomiques correspondent à des termes dans le texte juridique et sont partagés entre des expressions logiques pour différents blocs de texte. Un mappeur mappe les blocs de texte en une expression logique des libellés atomiques et un moteur logique évalue l'expression logique sur la base d'une ou plusieurs attributions des libellés atomiques. Une interface utilisateur comprend des éléments d'entrée utilisateur associés aux libellés atomiques. Lors de l'interaction de l'utilisateur avec les éléments d'entrée utilisateur, une attribution du littéral atomique associé aux éléments d'entrée utilisateur est créée et le moteur logique est appelé pour évaluer l'expression logique sur la base de l'attribution créée. L'interface utilisateur change sur la base de l'évaluation, ce qui permet de fournir des conseils juridiques sous la forme de libellés atomiques restants.