Prerequisite selection method and system based on symbol weight and electronic equipment

A premise and symbol technology, applied to systems and electronic equipment, in the field of premise selection methods based on symbol weights, can solve the problems of unstable symbol weights and low effectiveness, and achieve the effect of improving intelligence and effectiveness

Active Publication Date: 2022-03-01
SOUTHWEST JIAOTONG UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] In view of the above-mentioned deficiencies in the prior art, the premise selection method, system and electronic equipment based on symbol weights provided by the present invention solve the problems of unstable symbol weights and low effectiveness in the prior art

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
  • Prerequisite selection method and system based on symbol weight and electronic equipment
  • Prerequisite selection method and system based on symbol weight and electronic equipment
  • Prerequisite selection method and system based on symbol weight and electronic equipment

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0048]DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT OF THE INVENTION The present invention is described below to understand the present invention, but it should be understood, and the present invention is not limited to the scope of the specific embodiments, and These variations are obvious, and all inventions of the inventive inventions are in the spirit of the invention.

[0049] Such as figure 1 As shown, a prerequisite method based on symbol weight includes the following steps:

[0050] S1, initialization related prerequisites, related symbol sets, irrelevant sets, selection presence, correlation degree set and initial temporary number;

[0051] S2, determining if the current iterative number is greater than the number of defined iterations, if it outputs the status of the current problem (prove or not prove) and end; otherwise the process proceeds to step S3;

[0052] S3, within the time threshold, the reduction problem of the premise and conclusions of the related prerequ...

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 discloses a prerequisite selection method and system based on symbol weight and electronic equipment. The method comprises the following steps: initializing a related prerequisite set, a related symbol set, an irrelevant prerequisite set, a selection prerequisite set, a relevancy set and initial iteration times; selecting and proving based on the design of limiting the number of iterations and the weight; proving a reduction problem formed by prerequisites and conclusions with concentrated related prerequisites through an automatic theorem proving device ATP; calculating the relevancy of the irrelevant premise set according to a relevancy formula, and adding the obtained relevancy into a relevancy set; boundary calculation is carried out based on the self-adaptive relevancy boundary provided by the invention, further selection and proving are carried out, data are put into a corresponding data set, iteration is carried out again after a selection premise set and a relevancy set are emptied until the limited number of iterations is met, and premise selection of symbol weight is completed. According to the method, the stability of the weight symbols is improved, the problem proving capability is improved, the problem can be fully proved, and the method has universality.

Description

Technical field [0001] The present invention relates to the field of network technologies, and in particular, a prerequisite, system, and electronic devices based on symbolic weights. Background technique [0002] Automatic theorem proves to be one of the core parts of artificial intelligence. It is committed to generating an efficient computer program that enables the computer to be able to reasonine completely or almost completely. That is, the premise and conclusions of the first-order logic formula are input as the input of the computer program, and the conclusions are derived from the premise to the utilization. Such procedures are often referred to as a computer program such as an automatic aortizer, called an automatic acerator. [0003] With the development of formalization, the application range of automatic theorem certifiers has gradually expanded the practical problem such as knowledge compiled, soft (hard) model test, management planning, integrated circuit design an...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06N5/04
CPCG06N5/04Y02D10/00
Inventor 李瑞杰刘清华刘晓波蒋阳升唐优化
Owner SOUTHWEST JIAOTONG 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