Hybrid Diagrammatic Reasoning For Pulley Block

Diagrams are direct knowledge representation approach to dealing with topolog-ical and geometrical relations. In contrast to symbolic reasoning with surrogate rep-resentation, diagrammatic reasoning uses direct representation. Therefore, combiningsurrogate and direct representation is a natural approach to research and application ofdiagrammatic reasoning.In this paper, we design and implement a hybrid reasoning system for pulley blockforce analysis, which combines diagrammatic and symbolic reasoning. The main workincludes:1. Design and implementation of the graphics perception module, which recognizesspatial constraints from diagrams, and transforms them into a domain-dependentconstraint satisfaction problem.2. Design and implementation of the constraint solving module, which solves theconstraint satisfaction problem with symbolic reasoning based on the domain-dependent spatial constraints and domain-dependent constraint rules.3. Parsing and merging of regular expressions, which achieves a unified and re-duced solution.