SG11201903334PA - An automatic encoder of legislation to logic - Google Patents
An automatic encoder of legislation to logicInfo
- Publication number
- SG11201903334PA SG11201903334PA SG11201903334PA SG11201903334PA SG11201903334PA SG 11201903334P A SG11201903334P A SG 11201903334PA SG 11201903334P A SG11201903334P A SG 11201903334PA SG 11201903334P A SG11201903334P A SG 11201903334PA SG 11201903334P A SG11201903334P A SG 11201903334PA
- Authority
- SG
- Singapore
- Prior art keywords
- logic
- clunies
- ross
- international
- atomic
- Prior art date
Links
- 230000014509 gene expression Effects 0.000 abstract 5
- IDLFZVILOHSSID-OVLDLUHVSA-N corticotropin Chemical compound C([C@@H](C(=O)N[C@@H](CO)C(=O)N[C@@H](CCSC)C(=O)N[C@@H](CCC(O)=O)C(=O)N[C@@H](CC=1NC=NC=1)C(=O)N[C@@H](CC=1C=CC=CC=1)C(=O)N[C@@H](CCCNC(N)=N)C(=O)N[C@@H](CC=1C2=CC=CC=C2NC=1)C(=O)NCC(=O)N[C@@H](CCCCN)C(=O)N1[C@@H](CCC1)C(=O)N[C@@H](C(C)C)C(=O)NCC(=O)N[C@@H](CCCCN)C(=O)N[C@@H](CCCCN)C(=O)N[C@@H](CCCNC(N)=N)C(=O)N[C@@H](CCCNC(N)=N)C(=O)N1[C@@H](CCC1)C(=O)N[C@@H](C(C)C)C(=O)N[C@@H](CCCCN)C(=O)N[C@@H](C(C)C)C(=O)N[C@@H](CC=1C=CC(O)=CC=1)C(=O)N1[C@@H](CCC1)C(=O)N[C@@H](CC(N)=O)C(=O)NCC(=O)N[C@@H](C)C(=O)N[C@@H](CCC(O)=O)C(=O)N[C@@H](CC(O)=O)C(=O)N[C@@H](CCC(O)=O)C(=O)N[C@@H](CO)C(=O)N[C@@H](C)C(=O)N[C@@H](CCC(O)=O)C(=O)N[C@@H](C)C(=O)N[C@@H](CC=1C=CC=CC=1)C(=O)N1[C@@H](CCC1)C(=O)N[C@@H](CC(C)C)C(=O)N[C@@H](CCC(O)=O)C(=O)N[C@@H](CC=1C=CC=CC=1)C(O)=O)NC(=O)[C@@H](N)CO)C1=CC=C(O)C=C1 IDLFZVILOHSSID-OVLDLUHVSA-N 0.000 abstract 4
- 240000007594 Oryza sativa Species 0.000 abstract 1
- 235000007164 Oryza sativa Nutrition 0.000 abstract 1
- 238000011156 evaluation Methods 0.000 abstract 1
- 239000000284 extract Substances 0.000 abstract 1
- 230000003993 interaction Effects 0.000 abstract 1
- 238000013507 mapping Methods 0.000 abstract 1
- 238000003058 natural language processing Methods 0.000 abstract 1
- 230000008520 organization Effects 0.000 abstract 1
- JTJMJGYZQZDUJJ-UHFFFAOYSA-N phencyclidine Chemical compound C1CCCCN1C1(C=2C=CC=CC=2)CCCCC1 JTJMJGYZQZDUJJ-UHFFFAOYSA-N 0.000 abstract 1
- 235000009566 rice Nutrition 0.000 abstract 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/20—Natural language analysis
- G06F40/205—Parsing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
- G06F16/31—Indexing; Data structures therefor; Storage structures
- G06F16/313—Selection or weighting of terms for indexing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
- G06F16/36—Creation of semantic tools, e.g. ontology or thesauri
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/20—Natural language analysis
- G06F40/279—Recognition of textual entities
- G06F40/289—Phrasal analysis, e.g. finite state techniques or chunking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/40—Processing or translation of natural language
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/01—Dynamic search techniques; Heuristics; Dynamic trees; Branch-and-bound
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/02—Knowledge representation; Symbolic representation
- G06N5/022—Knowledge engineering; Knowledge acquisition
- G06N5/025—Extracting rules from data
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/10—Services
- G06Q50/18—Legal services
-
- G—PHYSICS
- G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
- G09B—EDUCATIONAL OR DEMONSTRATION APPLIANCES; APPLIANCES FOR TEACHING, OR COMMUNICATING WITH, THE BLIND, DEAF OR MUTE; MODELS; PLANETARIA; GLOBES; MAPS; DIAGRAMS
- G09B19/00—Teaching not covered by other main groups of this subclass
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Computational Linguistics (AREA)
- Artificial Intelligence (AREA)
- Health & Medical Sciences (AREA)
- General Health & Medical Sciences (AREA)
- Data Mining & Analysis (AREA)
- Tourism & Hospitality (AREA)
- Audiology, Speech & Language Pathology (AREA)
- Human Resources & Organizations (AREA)
- Strategic Management (AREA)
- Software Systems (AREA)
- Databases & Information Systems (AREA)
- Economics (AREA)
- Marketing (AREA)
- General Business, Economics & Management (AREA)
- Mathematical Physics (AREA)
- Evolutionary Computation (AREA)
- Computing Systems (AREA)
- Entrepreneurship & Innovation (AREA)
- Primary Health Care (AREA)
- Technology Law (AREA)
- Educational Administration (AREA)
- Educational Technology (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Machine Translation (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
INTERNATIONAL APPLICATION PUBLISHED UNDER THE PATENT COOPERATION TREATY (PCT) (19) World Intellectual Property :::` , 111111101111 0 1110101011111 011101 0 1011111111111111111H110111111111110111111 Organization International Bureau (10) International Publication Number 03 (43) International Publication Date ......°' WO 2018/076058 Al 03 May 2018 (03.05.2018) W I P0 I P C T (51) (21) (22) (25) Filing Language: (26) (30) (71) International Patent Classification: GO6F 17/20 (2006.01) GO6F 17/21 (2006.01) GO6F 17/27 (2006.01) International Application International Filing Date: Publication Language: Priority Data: 2016904359 26 October 2016 (26.10.2016) Applicant: COMMONWEALTH INDUSTRIAL RESEARCH [AU/AU]; Clunies Ross St, Acton, Australian Capital Ter- ritory 2601 (AU). GOON 5/02 (2006.01) GO6F 17/30 (2006.01) GO9B 7/08 (2006.01) Number: PCT/AU2017/051175 26 October 2017 (26.10.2017) English English (81) AU (72) (74) Agent: FB RICE PTY LTD; Level 23, 44 Market St, Syd- Inventors: POSTNIECE, Linda; c/- Clunies Ross St, Ac- ton, Australian Capital Territory 2601 (AU). HANLEN, Leif; c/- Clunies Ross St, Acton, Australian Capital Territo- ry 2601 (AU). SIMON, Travis; c/- Clunies Ross St, Acton, Australian Capital Territory 2601 (AU). BACON, Neil; c/- Clunies Ross St, Acton, Australian Capital Territory 2601 (AU). GOVERNATORI, Guido; c/- Clunies Ross St, Ac- ton, Australian Capital Territory 2601 (AU). ney, New South Wales 2000 (AU). Designated States (unless otherwise indicated, for every kind of national protection available): AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SCIENTIFIC AND ORGANISATION Title: AN AUTOMATIC 801 L, 802 L., 803 -----) : This disclosure atomic literals that correspond to terms in the legal text and that are shared across logic expressions maps the text blocks into a logic expression of the atomic literals and a logic engine evaluates the or more assignments of the atomic literals. A user interface comprises user input elements associated with interaction with the user input elements, an assignment is created of the atomic literal associated with logic engine is called to evaluate the logic expression based on to thereby provide legal advice in the form of remaining atomic literals. (54) (57) W D evaluation ENCODER OF LEGISLATION TO LOGIC 800 Fig. 8 t-- 46. extracts from text for different text blocks. A logic expression based on the atomic literals. Upon the user input elements and changes based on the splitting the legal text into multiple text blocks performing natural language processing for each of the text blocks to extract atomic literals mapping each of the text blocks into a logic expression of the atomic literals Il Ot blocks 11 in c:::: , mapper ,C> one IN user 0 --..., the 1-1 0 ei relates to computationally efficient processing of legal texts. A language processor the created assignment. The user interface O [Continued on next page] WO 2018/076058 Al MIDEDIMOMOIDEIREEMOMMINIIMMODEVOIMIE SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW. (84) Designated States (unless otherwise indicated, for every kind of regional protection available): ARIPO (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW), Eurasian (AM, AZ, BY, KG, KZ, RU, TJ, TM), European (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR), OAPI (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG). Published: — with international search report (Art. 21(3))
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
AU2016904359A AU2016904359A0 (en) | 2016-10-26 | An automatic encoder of legislation to logic | |
PCT/AU2017/051175 WO2018076058A1 (en) | 2016-10-26 | 2017-10-26 | An automatic encoder of legislation to logic |
Publications (1)
Publication Number | Publication Date |
---|---|
SG11201903334PA true SG11201903334PA (en) | 2019-05-30 |
Family
ID=62022989
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
SG11201903334PA SG11201903334PA (en) | 2016-10-26 | 2017-10-26 | An automatic encoder of legislation to logic |
Country Status (7)
Country | Link |
---|---|
US (1) | US10846472B2 (en) |
EP (1) | EP3532941A4 (en) |
CN (1) | CN110088754B (en) |
AU (2) | AU2017351636A1 (en) |
CA (1) | CA3041476A1 (en) |
SG (1) | SG11201903334PA (en) |
WO (1) | WO2018076058A1 (en) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112041865A (en) | 2018-03-01 | 2020-12-04 | 联邦科学与工业研究组织 | Object monitoring system |
US11972360B2 (en) * | 2018-09-14 | 2024-04-30 | Accenture Global Solutions Limited | Utilizing machine learning models to automatically generate contextual insights and actions based on legal regulations |
CN110795697B (en) * | 2019-10-29 | 2023-05-26 | 北京明略软件系统有限公司 | Method and device for acquiring logic expression, storage medium and electronic device |
US11347623B1 (en) * | 2020-12-30 | 2022-05-31 | International Business Machines Corporation | Automated defect type based logging integration within source code |
CN113094031B (en) * | 2021-03-16 | 2024-02-20 | 上海晓途网络科技有限公司 | Factor generation method, device, computer equipment and storage medium |
US20230004579A1 (en) * | 2021-07-02 | 2023-01-05 | Viettel Group | Method of controlling and handling a set of conditions in an event handling system with many complex internal conditions |
Family Cites Families (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6076051A (en) * | 1997-03-07 | 2000-06-13 | Microsoft Corporation | Information retrieval utilizing semantic representation of text |
US8914507B2 (en) | 1998-09-01 | 2014-12-16 | International Business Machines Corporation | Advice provided for offering highly targeted advice without compromising individual privacy |
US20030055720A1 (en) | 2001-09-17 | 2003-03-20 | Overton Joseph P. | Method and system for tracking legislative activity |
EP1444622A4 (en) | 2001-10-16 | 2006-02-08 | Ruleburst Ltd | Rule based system and method |
WO2004100094A2 (en) | 2003-05-01 | 2004-11-18 | The Trustees Of The University Of Pennsylvania | System and method for using open apis to provide integrated security policies for flexible management and customization of payment instruments |
AU2005201020B2 (en) | 2004-03-08 | 2006-05-18 | Oracle International Corporation | Rule based system and method |
US7631254B2 (en) | 2004-05-17 | 2009-12-08 | Gordon Peter Layard | Automated e-learning and presentation authoring system |
US9177050B2 (en) * | 2005-10-04 | 2015-11-03 | Thomson Reuters Global Resources | Systems, methods, and interfaces for extending legal search results |
US8515733B2 (en) | 2006-10-18 | 2013-08-20 | Calculemus B.V. | Method, device, computer program and computer program product for processing linguistic data in accordance with a formalized natural language |
US8794972B2 (en) | 2008-08-07 | 2014-08-05 | Lynn M. LoPucki | System and method for enhancing comprehension and readability of legal text |
US20100268528A1 (en) | 2009-04-16 | 2010-10-21 | Olga Raskina | Method & Apparatus for Identifying Contract Characteristics |
US9805020B2 (en) | 2009-04-23 | 2017-10-31 | Deep Sky Concepts, Inc. | In-context access of stored declarative knowledge using natural language expression |
US20100324951A1 (en) | 2009-06-23 | 2010-12-23 | Michael Patrick Northover | System and Method for Automated Compliance with Loan Servicing Legislation |
US8655827B2 (en) * | 2009-10-29 | 2014-02-18 | Hewlett-Packard Development Company, L.P. | Questionnaire generation |
US20110112973A1 (en) * | 2009-11-09 | 2011-05-12 | Microsoft Corporation | Automation for Governance, Risk, and Compliance Management |
US9792277B2 (en) | 2010-12-09 | 2017-10-17 | Rage Frameworks, Inc. | System and method for determining the meaning of a document with respect to a concept |
US8914299B2 (en) | 2011-10-13 | 2014-12-16 | Hartford Fire Insurance Company | System and method for compliance and operations management |
US20140372971A1 (en) * | 2013-06-16 | 2014-12-18 | Microsoft Corporation | Portable business logic |
CN105556504A (en) * | 2013-06-24 | 2016-05-04 | 惠普发展公司,有限责任合伙企业 | Generating a logical representation from a physical flow |
CN104090863A (en) * | 2014-07-24 | 2014-10-08 | 高德良 | Intelligent legal instrument generating method and system |
US20160103823A1 (en) | 2014-10-10 | 2016-04-14 | The Trustees Of Columbia University In The City Of New York | Machine Learning Extraction of Free-Form Textual Rules and Provisions From Legal Documents |
-
2017
- 2017-10-26 AU AU2017351636A patent/AU2017351636A1/en not_active Abandoned
- 2017-10-26 SG SG11201903334PA patent/SG11201903334PA/en unknown
- 2017-10-26 CN CN201780078191.5A patent/CN110088754B/en active Active
- 2017-10-26 WO PCT/AU2017/051175 patent/WO2018076058A1/en unknown
- 2017-10-26 EP EP17863710.4A patent/EP3532941A4/en active Pending
- 2017-10-26 US US16/344,701 patent/US10846472B2/en active Active
- 2017-10-26 CA CA3041476A patent/CA3041476A1/en not_active Abandoned
-
2022
- 2022-09-13 AU AU2022231675A patent/AU2022231675A1/en active Pending
Also Published As
Publication number | Publication date |
---|---|
AU2017351636A1 (en) | 2019-06-20 |
EP3532941A4 (en) | 2020-04-08 |
US10846472B2 (en) | 2020-11-24 |
WO2018076058A1 (en) | 2018-05-03 |
CA3041476A1 (en) | 2018-05-03 |
AU2022231675A1 (en) | 2022-10-06 |
EP3532941A1 (en) | 2019-09-04 |
CN110088754A (en) | 2019-08-02 |
CN110088754B (en) | 2023-04-28 |
US20200050660A1 (en) | 2020-02-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
SG11201903334PA (en) | An automatic encoder of legislation to logic | |
SG11201809467UA (en) | Digital asset modeling | |
SG11201805888SA (en) | Cyclic dinucleotides for treating conditions associated with sting activity such as cancer | |
SG11201909903VA (en) | Containerized deployment of microservices based on monolithic legacy applications | |
SG11201903604PA (en) | Iot security service | |
SG11201903787YA (en) | Exploiting input data sparsity in neural network compute units | |
SG11201803751VA (en) | Method and system for use of a blockchain in a transaction processing network | |
SG11201805520UA (en) | User interface | |
SG11201904942YA (en) | Blockchain-based service execution method and apparatus, and electronic device | |
SG11201806541RA (en) | Image classification and labeling | |
SG11201900240WA (en) | Superpixel methods for convolutional neural networks | |
SG11201903607YA (en) | Efficiency enhancements in task management applications | |
SG11201903286RA (en) | User identity authentication using virtual reality | |
SG11201908283TA (en) | Obfuscation of user content in structured user data files | |
SG11201908288XA (en) | Configurable annotations for privacy-sensitive user content | |
SG11201900269XA (en) | Channel sensing for independent links | |
SG11201909561RA (en) | Octree-based convolutional neural network | |
SG11201806723PA (en) | Security system | |
SG11201804190YA (en) | Method and system for blockchain variant using digital signatures | |
SG11201810288PA (en) | Multi-level control, variable access, multi-user contextual intelligent communication platform | |
SG11201907125XA (en) | Dynamic execution of parameterized applications for the processing of keyed network data streams | |
SG11201903958SA (en) | Intuitive occluded object indicator | |
SG11201908675PA (en) | Computer-implemented system and method for performing transaction mixing on a blockchain | |
SG11201900331VA (en) | Protected indexing and querying of large sets of textual data | |
SG11201809097WA (en) | Reconfigurable distributed processing |