Sketch-based pruning of a solution space within a formal geometric constraint solver

Artificial Intelligence

Volumn 124, Issue 1, 2000, Pages 139-159

  Essert Villard, C ^a   Schreck, P ^a   Dufourd, J F ^a  

^a UNIVERSITÉ DE STRASBOURG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER AIDED DESIGN; CONSTRAINT THEORY; DECISION THEORY; FORMAL LOGIC; HEURISTIC METHODS; PROBLEM SOLVING; TREES (MATHEMATICS);

FORMAL GEOMETRIC CONSTRUCTIONS; SKETCH-BASED PRUNING; SYMBOLIC CONSTRAINTS;

ARTIFICIAL INTELLIGENCE;

EID: 0034322659     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00061-8     Document Type: Article

References (25)

1. Aldefeld B., Malberg H., Richter H., Voss K. Rule-based variational geometry in Computer-Aided Design. Pham D.T. Artificial Intelligence in Design. 1991;27-46 Springer, Berlin.
2. Bertrand Y., Dufourd J.F. Algebraic specification of a 3D-modeller based on hypermaps. Computer Vision - GMIP. Vol. 56:(1):1994;29-60.
3. Bouma W., Fudos I., Hoffmann C., Cai J., Paige R. Geometric constraint solver. Computer-Aided Design. Vol. 27:(6):1995;487-501.
4. Brisoux-Devendeville L., Essert-Villard C., Schreck P. Exploration of a solution space structured by finite constraints. Proc. 14th European Conference on Artificial Intelligence (ECAI-2000), Workshop on Modelling and Solving Problems with Constraints, Berlin. 2000;F: 1-18.
5. Brüderlin B. Using Prolog for constructing geometric objects defined by constraints. Proc. EUROCAL'85. Lecture Notes in Computer Science. Vol. 204:1985;448-459 Springer, Berlin.
6. Brüderlin B. Automatizing geometric proofs and constructions. Proc. Computational Geometry'88. Lecture Notes in Computer Science. Vol. 333:1988;232-252 Springer, Berlin.
7. Dufourd J.-F. Algebras and formal specifications in geometric modelling. The Visual Computer. Vol. 13:1997;131-154.
8. Dufourd J.-F., Mathis P., Schreck P. Formal resolution of geometric constraint systems by assembling. Proc. ACM-SIGGRAPH Solid Modelling Conference, Atlanta, GA. 1997;271-284 ACM Press, New York.
9. Dufourd J.-F., Mathis P., Schreck P. Geometric construction by assembling solved subfigures. Artificial Intelligence. Vol. 99:1998;73-119.
10. Essert C., Schreck P., Dufourd J.-F. Interprétation d'un programme avec multifonctions géométriques. Proc. 6èmes Journées de l'AFIG, Dunkerque, France. 1998;223-232.
11. Ericson L.W., Yap C.-K. The design of Linetool, a geometric editor. Proc. Computational Geometry '88. Lecture Notes in Computer Science. Vol. 333:1988;83-92 Springer, Berlin.
12. Ge J.X., Chou S.C., Gao X.S. Geometric constraint satisfaction using optimization methods. Computer-Aided Design. Vol. 31:1999;867-879.
13. Gelernter H., Hansen J.R., Loveland D.W. Empirical explorations of the geometry theorem proving machine. Feigenbaum E.A., Feldman J. Computers and Thought. 1963;134-152 MacGraw Hill, New York.
14. Goguen J.A. Modular algebraic specification of some basic geometrical constructions. Artificial Intelligence. Vol. 37:1988;123-153.
15. Kramer G.A. A geometric constraint engine. Artificial Intelligence. Vol. 58:1992;327-360.
16. Lin V.C., Gossard D.C., Light R.A. Variational geometry in CAD. ACM Computer Graphics (SIGGRAPH'81). Vol. 15:(3):1981;171-175.
17. Lamure H., Michelucci D. Solving constraints by homotopy. Proc. ACM-SIGGRAPH Solid Modelling Conference. 1995;134-145 ACM Press, New York.
18. Mathis P. Un système de résolution de contraintes par assemblage en modélisation géométrique, Ph.D. Thesis. 1997;Université de Strasbourg.
19. Mazure B., Saïs L., Grégoire E. Boosting complete techniques thanks to local search methods. Ann. Math. Artificial Intelligence. Vol. 22:1998;319-331.
20. Owen J. Algebraic solution for geometry from dimensional constraints. Proc. 1st ACM Symposium of Solid Modelling and CAD/CAM Applications. 1991;397-407 ACM Press, New York.
21. Schreck P. Implantation d'un système à base de connaissances pour les constructions géométriques. Revue d'Intelligence Artificielle. Vol. 8:(3):1994;223-247.
22. Scandura J.M., Durnin J.H., Wulfeck II W.H. Higher order rule characterization of heuristics for compass and straight edge constructions in geometry. Artificial Intelligence. Vol. 5:1974;149-183.
23. Schumann H., Green D. Discovering Geometry with a Computer using Cabri Geometre. 1994;Chartwell-Bratt.
24. Sunde G. A CAD system with declarative specification of shape. ten Hagen P.J.W., Tomiyama T. Intelligent CAD Systems I - Theoretical and Methodological Aspects. EurographicSeminars. 1987;90-104 Springer, Berlin.
25. Sutherland I.E. Sketchpad: A man-machine graphical communication system. Proc. IFIP Spring Joint Computer Conference. 1963;329-336.