Method and system for automatically converting standard text into computable logic rule

A technology of computing logic and rules, which is applied in the intersection of construction industry and information technology, can solve the problems of high construction and maintenance costs, low expression ability of regular expressions, and difficult maintenance, etc., and achieves strong semantic recognition ability, improved understandability, Low Complexity Effects

Active Publication Date: 2021-05-07
TSINGHUA UNIV
View PDF3 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In fact, the expressive power of regular expressions is low (for example, recursion cannot be expressed), which can easily lead to an increase in the number of uses (for example, a large number of regular expressions are required to express a simple rule), and it becomes difficult to maintain
Therefore, the current automated method has the following defects: 1) the cost of construction and maintenance is high, and it can only be established by manually writing regular expressions one by one, and the coverage of each regular exp

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method and system for automatically converting standard text into computable logic rule
  • Method and system for automatically converting standard text into computable logic rule
  • Method and system for automatically converting standard text into computable logic rule

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0069]Such asimage 3 As shown, this embodiment provides a method of automatically converting a specification text to a calculated logic rule, comprising the steps of:

[0070]1) Solution to the standard text (such as engineering standards, regulations, standard terms), such as the segmentation of the specification text into several statements, and segmented several statements, etc., screening out Convertible specification statements, for example, statements need to contain keywords indicating comparison, existence, etc.

[0071]2) Use the depth neural network (DNN) model, perform semantic labeling in the convertible specification statement through the BIO label format, ie the words or phrases in the convertible specification statement, to represent semantic information, to obtain The label statement, where the label can represent the concept associated with the BIM and rules, the semantic label results can be verified by calculating the F1 score of each tag in the statement.

[0072]In order...

Embodiment 2

[0098]This embodiment provides a system that automatically converts the specification text to the calculated logical rules, including:

[0099]The pre-processing module is used to split the specification text, and preprocessing the segmented several statements, filtering out convertible specification statements.

[0100]Semantic labeling module, used to adopt a depth neural network model, plus a semantic label with a semantic label in a word or phrase in a convertible specification statement through the BIO label format.

[0101]The parsing module is used to adopt the context-free method, based on the recognition of the P-R paradigm and its recursive usage, parse the statement with the label, convert the statement with the label to a rule check tree.

[0102]Conversion module for converting rules to the language to a specific format.

Embodiment 3

[0104]This embodiment provides a processing apparatus corresponding to a method of automatically converting a specification text to a method of calculating a logical rule, processing device, such as a mobile phone, laptop, tablet for a client. , Desktop computer, etc. to perform the method of Example 1.

[0105]The processing device includes a processor, a memory, a communication interface, and a bus, a processor, a memory, and a communication interface through a bus connection to complete communication between each other. A computer program that can be stored on a processor is stored in a processor, and the processor is performed to automatically convert the specification text to the calculated logical rule when the processor is running computer program.

[0106]In some implementations, the memory can be a high-speed random access memory (RAM: Random AccessMemory), and may also include non-Volatile memory, such as at least one disk memory.

[0107]In other implementations, the processor can...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention relates to a method and a system for automatically converting a standard text into a computable logic rule, which are characterized by comprising the following contents: 1) performing statement segmentation on the standard text, preprocessing a plurality of statements obtained by segmentation, and screening out convertible standard statements; 2) adopting a deep neural network model, and adding semantic tags to words or phrases in the convertible standard statements through a BIO annotation format to obtain statements with tags; (3) analyzing the statements with the labels by adopting a context-independent grammar based on identification of a P-R normal form and a recursive usage method thereof, and converting the statements with the labels into a rule check tree; and 4) converting the rule check tree into a language in a specific format. The method can be widely applied to the crossing field of the building industry and the information technology.

Description

Technical field[0001]The present invention relates to a method and system that automatically convert specification text to the calculated logic rules, belongs to the intersection of construction and information technology.Background technique[0002]The entire life cycle of the building environment is subject to various regulations, norms and standards, and the process of manually compliance review is time consuming, and the cost is high and easy to errors. As a replacement of manual inspections, Automated Compliance Checking, ACCs can greatly promote the design process of architecture, engineering and construction industries. Currently, as the design complexity is increasing, ACC has become critical during the design process and has been widely studied, but it is difficult to observe the Application of ACC in the actual project. Most existing ACC systems are specially dedicated or hard-coded mechanisms, such as Singapore's project electronic programs and document submission systems (...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F8/41G06F16/35G06F40/117G06F40/253G06F40/30G06K9/62G06N3/04G06N3/08
CPCG06F8/42G06F40/30G06F40/253G06F40/117G06F16/35G06N3/04G06N3/08G06F18/2415
Inventor 林佳瑞周育丞郑哲陆新征
Owner TSINGHUA UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap