Unlock instant, AI-driven research and patent intelligence for your innovation.

Multi-path solving method and apparatus

A multi-path and path technology, applied in the field of geometry, can solve problems that cannot meet actual needs, and achieve the effect of interactive learning and strong scalability

Active Publication Date: 2015-12-23
四川感官密码科技有限公司
View PDF2 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In view of this, the purpose of the embodiments of the present invention is to provide a multi-path solution method and device to improve the problem that only one solution path is given in the prior art, which cannot meet the actual needs

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
  • Multi-path solving method and apparatus
  • Multi-path solving method and apparatus
  • Multi-path solving method and apparatus

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0051] According to the known conditions, by invoking the axioms, definitions, theorems, inference rules, basic theorems and rules of algebra related to the geometric problem to be solved to solve the geometric problem to be solved, there are many realization schemes for a solution path to obtain the conclusion. Most of the existing geometric proof systems, such as MathXP, can realize it, but these systems only obtain one solution path and display one solution path. This kind of solution method only gives a solution path, and solves for the solution. Although it can solve the geometric problem to be solved, it cannot show the process of solving one problem with multiple solutions. The scalability is low, and it cannot form a knowledge network.

[0052] Among the above, MathXP is a successful proof system for plane geometry, which automatically generates the known conditions of the subject through dynamic geometric drawing, and conducts rule-based geometry based on 187 axioms, d...

Embodiment 2

[0095] Such as Figure 7 As shown, the embodiment of the present invention provides a multi-path solving device, including: a storage module 500, which is used to store a solving rule database, and the solving rules in the solving rule database include inference rules, axioms, definitions and theorems of plane geometry , and the basic theorems and rules of algebra; the information obtaining module 501 is used to obtain the known conditions in the geometric problem to be solved, and the conclusions to be obtained in the geometric problem to be solved; the solution path obtaining module 502 is used to obtain according to the Given the known conditions, the solution rules are invoked from the solution rule database to solve the geometric problem to be solved, and all solution paths for obtaining the conclusions based on the known conditions are obtained.

[0096] In this embodiment, the solution path refers to a path starting from known conditions and reaching a conclusion by inv...

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

Embodiments of the present invention provide a multi-path solving method and apparatus, thereby improving the problem in the prior art that only one solving path is given and cannot meet actual needs. The multi-path solving method is applied to the multi-path solving apparatus, a solving rule database is stored in the apparatus in advance, and solving rules in the solving rule database comprise inference rules, axioms, definitions and theorems of plane geometry and fundamental theorems and rules of algebra. The method comprises: the multi-path solving apparatus obtaining a known condition in a to-be-solved geometric problem and a conclusion that needs to obtained for the to-be-solved geometric problem; and according to the known condition, calling the solving rules from the solving rule database to solve the to-be-solved geometric problem, and obtaining all solving paths of obtaining the conclusion according to the known condition. With adoption of the multi-path solving method, multiple solving paths are given, and a solving process of one problem with multiple solutions is presented, so that the method meets actual needs and is easy for promotion and application.

Description

technical field [0001] The present invention relates to the field of geometry, in particular to a multipath solving method and device. Background technique [0002] Plane geometry refers to geometry constructed according to Euclid's "Elements of Geometry". Also called Euclidean geometry. Plane geometry studies the geometric structure and metric properties of straight lines and quadratic curves on the plane such as conic curves, ellipses, hyperbolas, and parabolas, such as area, length, angle, and positional relationship. [0003] Geometry is widely used in people's life and work. Based on its importance, geometry has been specially formed. With the development of technology, nowadays, a system that can automatically complete the geometric solution has been developed, such as the geometric proof system, etc. The inventors have found through research that the current geometric solution system will only give a solution path, which cannot meet the actual needs. . Contents o...

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): G06F17/10G06N5/04
Inventor 符红光钟秀琴王庆先
Owner 四川感官密码科技有限公司