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

CN114118423AActive Publication Date: 2022-03-01SOUTHWEST JIAOTONG UNIV
2 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
Publication Date
2022-03-01

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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...

Examples

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...