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)
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 (zh) |
EP (1) | EP3532941A4 (zh) |
CN (1) | CN110088754B (zh) |
AU (2) | AU2017351636A1 (zh) |
CA (1) | CA3041476A1 (zh) |
SG (1) | SG11201903334PA (zh) |
WO (1) | WO2018076058A1 (zh) |
Families Citing this family (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112041865A (zh) | 2018-03-01 | 2020-12-04 | 联邦科学与工业研究组织 | 对象监控系统 |
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 (zh) * | 2019-10-29 | 2023-05-26 | 北京明略软件系统有限公司 | 逻辑表达式的获取方法、装置、存储介质以及电子装置 |
US11347623B1 (en) * | 2020-12-30 | 2022-05-31 | International Business Machines Corporation | Automated defect type based logging integration within source code |
CN113094031B (zh) * | 2021-03-16 | 2024-02-20 | 上海晓途网络科技有限公司 | 因子生成方法、装置、计算机设备和存储介质 |
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 (zh) * | 2013-06-24 | 2016-05-04 | 惠普发展公司,有限责任合伙企业 | 从物理流生成逻辑表示 |
CN104090863A (zh) * | 2014-07-24 | 2014-10-08 | 高德良 | 一种智能法律文书生成方法及智能法律文书生成系统 |
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/zh 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 (zh) | 2019-08-02 |
CN110088754B (zh) | 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 |