Spatial problem solving method based on constraint satisfaction framework

A technology of problem solving and constraint satisfaction, applied in the field of space problem solving based on the constraint satisfaction framework, can solve problems such as no value

Inactive Publication Date: 2012-10-10
TIANJIN UNIV
View PDF0 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0018] 1). No two queens are in the same row. After defining the variable, this constraint becomes worthless
[0019] 2). No two queens are in the same column: X i ≠X j
[0020] 3). No two queens are on the same diagonal: |i-j|≠|X i -X j |

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
  • Spatial problem solving method based on constraint satisfaction framework
  • Spatial problem solving method based on constraint satisfaction framework
  • Spatial problem solving method based on constraint satisfaction framework

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0053] Graphical reasoning uses symbolic knowledge representation and reasoning, as well as visual information obtained from schematic diagrams, so as to add or modify spatial objects under certain constraints. The present invention is a graphical reasoning framework prototype, and a spatial problem solver based on constraint satisfaction problems. The focus of the present invention is how to obtain information from the graph in the visualization part, and then add or modify spatial objects under certain constraints. First, through the sketch recognition process based on the support vector machine, the basic primitives in the sketch are identified, and the basic information of each primitive is stored, and then the constraint relationship between the primitives is determined, that is, the spatial relationship. The problem solving process is According to these constraints and the rules of reasoning, the problem is solved. Taking the force analysis of the pulley block in the phy...

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 establishing a general model of a spatial problem solver by using a constraint satisfaction method. In order to adopt technologies and methods in prior art to better realize spatial constraint problem solving in schema reasoning, the technical scheme adopted by the invention is as follows: a spatial problem solving method based on a constraint satisfaction framework comprises the following steps of: establishing a schema reasoning system structure which includes the following steps that: 1. a schematic sketch is formed by inputted strokes after recognition and normalization, and each pixel of the schematic sketch and spatial relations between each pixel are saved; and 2. for a specific problem, initialization on the schematic sketch is performed according to known conditions, namely, a corresponding valuation operation is performed, and then, a process of reasoning is completed according to reasoning rules, namely a spatial problem is solved, and finally, a solution or a schematic for the problem is acquired; and adopting a specification language to describe space constraint relationships between each pixel. The method in the invention is mainly applied to establishment of a spatial problem solver.

Description

Technical field [0001] The invention relates to the establishment of a generalized model of a space problem solver by using a constraint satisfaction method, and is a research on a graphical reasoning method for solving space problems. Specifically, it relates to a space problem solving method based on a constraint satisfaction framework. Background technique [0002] 1. Spatial Reasoning (SR) [0003] Spatial Reasoning (SR) refers to the use of spatial theory and artificial intelligence (Artificial Intelligence) technology to model, describe and represent spatial objects, and to analyze and process qualitatively or quantitatively the spatial relationships between spatial objects based on this the process of. At present, spatial reasoning is widely used in geographic information systems, robot navigation, high-level vision, natural language understanding, engineering design, and common sense reasoning of physical location. It is constantly infiltrating into other fields, and its c...

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
Inventor 廖士中闫双双赵宁段孟华
Owner TIANJIN 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