Search International and National Patent Collections

1. (WO2018076058) AN AUTOMATIC ENCODER OF LEGISLATION TO LOGIC

Pub. No.:    WO/2018/076058    International Application No.:    PCT/AU2017/051175
Publication Date: Fri May 04 01:59:59 CEST 2018 International Filing Date: Fri Oct 27 01:59:59 CEST 2017
IPC: G06F 17/20
G06F 17/21
G06F 17/27
G06N 5/02
G06F 17/30
G09B 7/08
Applicants: COMMONWEALTH SCIENTIFIC AND INDUSTRIAL RESEARCH ORGANISATION
Inventors: POSTNIECE, Linda
HANLEN, Leif
SIMON, Travis
BACON, Neil
GOVERNATORI, Guido
Title: AN AUTOMATIC ENCODER OF LEGISLATION TO LOGIC
Abstract:
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.