Geometric construction by assembling solved subfigures

Artificial Intelligence

Volumn 99, Issue 1, 1998, Pages 73-119

  Dufourd, Jean François ^a   Mathis, Pascal ^a   Schreck, Pascal ^a  

^a UNIVERSITÉ DE STRASBOURG   (France)

Author keywords

Assembling of figures; Blackboard; Computer aided design; Geometric formal construction; Local solving; Multi agent system; System of geometric constraints

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER AIDED DESIGN; CONSTRAINT THEORY; EXPERT SYSTEMS; TOPOLOGY;

GEOMETRICAL FORMAL CONSTRUCTION; MULTI AGENT SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0031998294     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(97)00070-2     Document Type: Article

References (56)

1. B. Aldefeld, Variations of geometries based on a geometric-reasoning method, Computer-Aided Design 20 (3) (1988) 117-126.
2. B. Aldefeld, H. Malberg, H. Richter, K. Voss. Rule-based variational geometry in Computer-Aided Design, in: D.T. Pham (Ed.), Artificial Intelligence in Design, Springer, Berlin, 1992, pp. 27-46.
3. Y. Baulac, Un micro-monde de géométrie - Cabri-Géomètre, Ph.D. Thesis, Université J. Fourier, Grenoble, 1990.
4. Y. Bertrand, J.-F. Dufourd, Algebraic specification of a 3D-modeller based on hypermaps, Computer Vision - GMIP 56 (1) (1994) 29-60.
5. Y. Bertrand, J.-F. Dufourd, J. Françon, P. Lienhardt, Algebraic specification and development in geometric modeling, in: Proceedings TAPSOFT Conference, Lecture Notes in Computer Science, Vol. 668, Springer, Berlin, 1993, pp. 75-89.
6. A. Borning, R. Duisberg, Constraint-based tools for building user interfaces, ACM Trans. Graphics 5 (4) (1986) 345-374.
7. W. Bouma, I. Fudos, C. Hoffmann, J. Cai, R. Paige, A geometric constraint solver, Computer-Aided Design 27 (6) (1995) 487-501.
8. B. Brüderlin, Constructing three-dimensional geometric objects defined by constraints, in: Proceedings ACM Siggraph Workshop in Interactive 3D Graphics, 1986, pp. 111-129.
9. L.G. Bullard, L.T. Biegler, Lp strategies for constraint simulation, in: Proceedings AIChE Conference, 1989, pp. 69-84.
10. A. Bundy, Computer Modelling of Mathematical Reasoning, Academic Press, London, 1983.
11. M. Buthion, Un programme qui résout formellement des problèmes de constructions géométriques, RAIRO Informatique 13 (1) (1979) 73-106.
12. J.-C. Carega, Théorie des Corps - La Règle et le Compas, Hermann, Paris, 1989.
13. N. Carver, V. Lesser, Evolution of blackboard architectures, Expert Systems with Applications 7 (1994) 1-30.
14. G. Chen, Les constructions à la règle et au compas par une méthode algébrique, Tech. Rept., Rapport de DEA, Université Louis Pasteur, Strasbourg, France, 1992.
15. S.C. Chou, Mechanical Geometry Theorem Proving, Mathematics and its Applications, Reidel, Dordrecht, 1988.
16. J.-F. Dufourd, P. Mathis, P. Schreck, Constructions géométriques dans un modeleur à base topologique, Revue Internationale de CFAO et d'Informatique Graphique 10 (4) (1995) 398-411.
17. J.-F. Dufourd, P. Mathis, P. Schreck, Formal resolution of geometrical constraint systems by assembling, in: Proceedings 4th ACM-Siggraph Solid Modeling and Applications, Atlanta, GA, ACM Press, New York, 1997, pp. 271-284.
18. J.-F. Dufourd, P. Schreck, Un système à base de connaissances pour les constructions géométriques, in: Actes de la Conférence AFCET-RFIA, 1994, pp. 351-361.
19. L.W. Ericson, Lt-Geol 1.0 - a Maple package for constrained planar euclidean geometric structures, Tech. Rept. 101, INRIA, Rocquencourt, 1988.
20. L.W. Ericson, C.K. Yap, The design of Linetool, a geometric editor, in: Proceedings Computational Geometry Conference, Lecture Notes in Computer Science, Vol. 333, Springer, Berlin, 1988, pp. 83-92.
21. N. Fuller, P. Prusinkiewicz, Geometric modeling with Euclidean constructions, in: Proceedings Computer Graphics International Conference, Springer, Berlin, 1988, pp. 379-391.
22. H. Gelernter, Realization of a geometry-theorem proving machine, in: E.A. Feigenbaum, J.A. Feldman (Eds.), Computers and Thought, McGraw-Hill, New York, 1963, pp. 134-152.
23. Y. Lafont, J.-Y. Girard, P. Taylor, Proofs and types, in: Tracts in TCS, Vol. 7, Cambridge University Press, Cambridge, 1989.
24. J.A. Goguen, Modular specification of some basic geometrical constructions, in: Computational Computer Geometry (special issue), Artificial Intelligence 37 (1987) 123-153.
25. A. Heydon, G. Nelson, The Juno-2 constraint-based drawing editor. Tech. Rept. SRC-131a, Digital, System Research Center, 1994.
26. N. Jackiw, The Geometer's Sketchpad, Visual Project, Key Curriculum Press, San Francisco, CA, 1992.
27. N. Kin, T. Noma, T.L. Kunii, PictureEditor: a 2D picture editing system based on geometric constructions and constraints, in: Proceedings Computer Graphics International Conference, Springer, Berlin, 1989, pp. 83-92.
28. G.A. Kramer, Geometric reasoning in the kinematic analysis of mechanisms, Ph.D. Thesis, University of Sussex, 1990.
29. G.A. Kramer, Using degrees of freedom analysis to solve geometric constraint systems, in: Proceedings First ACM Symposium of Solid Modeling and CAD/CAM Applications, ACM Press, New York, 1991, pp. 371-378.
30. H. Lamure, D. Michelucci, Decomposition of 2D constraints graphs, Tech. Rept., Ecole des Mines, Saint-Etienne, 1995.
31. S. Lang, Algebra, Addison-Wesley, Reading, MA, 1965.
32. H. Lebesgue, Leçons sur les Constructions Géométriques, Gauthier-Villars, Paris, 1950.
33. P. Lienhardt, Subdivisions of N-dimensional spaces and N-dimensional generalized maps, in: Proceedings 5th ACM Symposium on Computational Geometry, 1989, pp. 228-236.
34. P. Lienhardt, Topological models for boundary representation: a comparison with n-dimensional generalized maps, Computer-Aided Design 23 (1) (1991) 59-81.
35. R. Light, D.C. Gossard, Modification of geometric models through variational geometry, Computer-Aided Design 14 (4) (1982) 209-214.
36. M. Mäntylä, A note on the modeling space of Euler operators, Computer Vision - GMIP 26 (1) (1984) 45-60.
37. D. Martin, P. Martin, An expert system for polyhedra modelling, in: Proceedings Eurographics Conference, North-Holland, Amsterdam, 1988, pp. 221-232.
38. P. Mathis, Un système de résolution de contraintes par assemblage en modélisation géométrique, Ph.D. Thesis, Université de Strasbourg, 1997.
39. J.L. Moris, Computational Methods in Elementary Numerical Analysis, Wiley, New York, 1983.
40. T. Noma, T.L. Kunii, H. Enomoto, E. Aso, T. Yamamoto, Drawing input through geometrical constructions: specifications and applications, in: Proceedings Computer Graphics International Conference, Springer, Berlin, 1988, pp. 403-415.
41. J. Owen, Algebraic solution for geometry from dimensional constraints, in: Proceedings 1st ACM Symposium of Solid Modeling and CAD/CAM Applications, ACM Press, New York, 1991, pp. 397-407.
42. J. Petersen, Problèmes de Constructions Géométriques, J. Gabay, new ed., 1990.
43. W.H. Press, S.A. Teukolsky, W.T Werling, B.P. Flannery, Numerical Recipes in CS, Cambridge University Press, Cambridge, 1992.
44. D. Pugh, Using interactive sketch interpretation to design solid objects, Ph.D. Thesis, Carnegie Mellon University, Pittsburgh, PA, 1993.
45. D. Roller, F. Schonek, A. Verroust, Dimension driven geometry in CAD: a survey, Tech. Rept., LIENS, Ecole Normale Supérieure, Paris, 1988.
46. P. Schreck, Automatisation des constructions géométriques à la règle et au compas, Ph.D. Thesis, Université de Strasbourg, 1993.
47. P. Schreck, Implantation d'un système à base de connaissances pour les constructions géométriques, Revue d'Intelligence Artificielle 8 (3) (1994) 223-247.
48. P. Schreck, A knowledge-based for solving geometric constructions problems, in: J.W. Brahan, G.E. Lasker (Eds.), Proceedings 7th International Conference on Systems Research, Informatics and Cybernetics, 1994, pp. 19-24.
49. J.R. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, MA, 1973.
50. G. Sunde, A CAD system with declarative specification of shape, in: Proceedings IFIP WG 5.2 on Geometric Modeling, Rensselaerville, 1986.
51. G. Sunde, Specification of shape by dimensions and other geometric constraints, in: Proceedings Eurographics Workshop on Intelligent CAD Systems, Noordwijkerhout, 1987.
52. I.E. Sutherland, Sketchpad: a man-machine graphical communication system, in: Proceedings IFIP Spring Joint Computer Conference, 1963, pp. 329-346.
53. H. Suzuki, H. Ando, F. Kimura, Geometric constraints and reasoning for geometrical cad systems, Computer and Graphics 14 (2) (1990) 211-224.
54. A. Verroust, Etude de problèmes liés à la définition, la visualisation et l'animation d'objets complexes en informatique graphique, Thèse d'Etat, Université de Paris-Sud, Orsay, 1990.
55. A. Verroust, F. Schonek, D. Roller, Oriented method for parametrized computer-aided design, Computer-Aided Design 24 (10) (1992) 531-535.
56. W.T. Wu, Basic principles of mechanical theorem proving in elementary geometries, J. Symbolic Computation 4 (1984) 207-235.