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 ormore 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. 本公开涉及对法律文本的计算上高效的处理。语言处理器从文本块中提取与法律文本中的术语对应并且在用于不同文本块的逻辑表达式之间共享的原子文字。映射器将文本块映射到原子文字的逻辑表达式，并且逻辑引擎基于原子文字的一个或多个指派来评估逻辑表达式。用户界面包括与原子文字相关联的用户输入