R. , .. Et-b-de, S. , and B. , 259 4.1. Produit cartésien de deux ensembles flous A de T, p.260

J. F. All83 and . Allen, Maintaining Knowledge about Temporal Intervals, Communications of the ACM, vol.26, pp.832-843, 1983.

A. K. Arnold, J. Gosling, G. Adorni, M. Dimanzo, and F. Giunchiglia, Le langage Java From Descriptions to Images: What Reasoning in between?, Proceedings of the 5th European Conference on Artificial Intelligence: Advances in Artificial Intelligence (ECAI-84), pp.330-84, 1984.

A. G. Adorni, M. D. Manzo, and G. Ferrari, Natural Language Input for Scene Description, European Chapter, vol.83, pp.175-182, 1983.

C. Bea89 and . Beasse, Description formelle de formes, p.74, 1989.

E. Bef91, L. Benoit, and . Foulloy, Symbolic Sensors, AIMaC'91, pp.131-136, 1991.

B. Bergadano, F. Gunetti, and D. , Inductive Logic Programming: from Machine Learning to Software Engineering, 1996.

B. P. Bosc, L. Liétard, and H. Prade, On fuzzy queries involving fuzzy quantifiers, p.96

P. Bop96, D. Bonnefoi, and . Plemenos, Propositions pour une modélisation déclarative parallèle, AFIG'96, pp.27-29, 1996.

B. Bouc93 and . Bouchon-meunier, La logique floue, Presses Universitaires de france

M. Bour97 and . Bourneton, Formalisation des relations binaires dans le cadre de la modélisation déclarative, en utilisant la théorie des sous-ensembles flous, p.53, 1997.

H. Buh94 and . Bühler, Réglage par logique floue, Presses polytechniques et universitaires romandes, p.181, 1994.

V. Bro43 and . Brondal, Essais de linguistique générale, 1943.

V. Bro48, J. Brondal, B. Charlet, J. Bachimont, P. Bouaud et al., Les parties du discours : Etude sur les catégories linguistiques Ontologie et réutilisabilité : expérience et discussion " dans " Acquisition et ingénierie des connaissances, Cépadues-Editions, pp.173-96, 1948.

L. Cham95 and . Champciaux, Apprentissage et Modélisation Déclarative, 1995.

L. Cham96 and . Champciaux, De l'applicabilité des techniques d'apprentissage en Modélisation Déclarative, 3IA'96, pp.3-4, 1996.

L. Cham97 and . Champciaux, Declarative Modelling : Speeding Up the Generation, CISST'97, pp.120-129, 1997.

L. Cham97b and . Champciaux, Classification : A Basis for Understanding Tools in Declarative Modeling, CompuGraphics'97, pp.15-18, 1997.

C. D. Chauvat, Modélisation déclarative : Etude de techniques de contrôle spatial, p.139, 1992.

C. D. Chauvat, Création de paysages imaginaires par contrôle spatial, 2èmes journées de l'AFIG, pp.105-116, 1994.

C. D. Chauvat, Le projet VoluFormes : un exemple de modélisation déclarative avec contrôle spatial, Thèse de doctorat, p.225

C. L. Champciaux and C. Colin, Etude d'une méthode d'apprentissage en modélisation géométrique déclarative, 2èmes journées de l'AFIG, pp.129-140, 1994.

C. D. Chauvat and P. Martin, Contraintes en modélisation géométrique. Etude bibliographique, p.29, 1994.

C. D. Chauvat and P. Martin, Un résolveur de contraintes adapté à la génération déclarative de scènes, 1994.

C. Col90 and . Colin, Modélisation déclarative de scènes à base de polyèdres élémentaires, Thèse de doctorat, p.266, 1990.

C. Col92 and . Colin, Les propriétés dans le cadre d'une modélisation géométrique déclarative, MICAD 92, pp.75-94, 1992.

J. Cou92, M. Couwenberg, G. Dimanzo, F. Adorni, and . Giunchiglia, L'indispensable pour maîtriser la couleur Reasoning about scene descriptions, Marabout, Alleur (Belgique), pp.471-86, 1986.

M. Dan95 and . Daniel, Une première approche de la modélisation déclarative de courbes, p.11, 1995.

M. Dal96, M. Daniel, and . Lucas, Towards Declarative Geometric Modeling in Mechanics, pp.455-464, 1996.

C. Dem94 and . Demoisson, Vers la modélisation déclarative de courbes, p.80, 1994.

P. Dik94, P. Diamond, and . Klaeden, Metric Spaces of Fuzzy Sets, World Scientific, 1994.

N. Dje91, J. M. Djedi-david, J. P. Krivine, R. Simmons, J. M. David et al., Modélisation en synthèse d'images : utilisation d'une méthodologie déclarative Second Generation Expert Systems, Thèse de doctorat, p.93, 1991.

D. D. Dubois, H. Prade, and S. Sandri, On Possibility/Probability Transformations, Fuzzy Logic, pp.103-112
DOI : 10.1007/978-94-011-2014-2_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.3212

D. D. Dubois, H. Prade, and C. Testemale, Weighted fuzzy pattern matching, Fuzzy Sets and Systems, vol.28, issue.3, pp.313-331, 1988.
DOI : 10.1016/0165-0114(88)90038-3

D. D. Dubois and H. Prade, Fuzzy Sets and Systems -Theory and Applications, 1980.

D. D. Dubois and H. Prade, Unifying View of Comparison Indices in a Fuzzy Set- Theoretic Framework " , Fuzzy Set and Possibility Theory, pp.3-13, 1980.

D. D. Dubois and H. Prade, La th??orie des possibilit??s, Revue de l'Electricit?? et de l'Electronique, vol.-, issue.07, p.248, 1985.
DOI : 10.3845/ree.2006.059

D. D. Dubois and H. Prade, Measuring properties of fuzzy sets: A general technique and its use in fuzzy query evaluation, Fuzzy Sets and Systems, vol.38, issue.2, pp.137-152, 1990.
DOI : 10.1016/0165-0114(90)90146-W

D. D. Dubois and H. Prade, Ensembles flous, raisonnement et décision, p.75, 1993.

S. Don93 and . Donikian, Une approche déclarative pour la création de scènes tridimensionnelles : application à la conception architecturale, Thèse de Doctorat, p.149, 1993.

O. Dus95, J. Ducrot, and . Schaeffer, Nouveau dictionnaire encyclopédique des sciences du langage, Editions du Seuil, p.670, 1995.

G. Elk89, H. Elkharroubi, D. Fargier, H. Dubois, and . Prade, Etude des propriétés attachées à un arbre de modélisation Problèmes de satisfaction de contraintes flexibles : une approche égalitariste, Rennes, vol.9, pp.63-95, 1989.

D. Fau95 and . Faucher, Définition déclarative d'ensembles de plans de l'espace Java in a Nutshell, p.492, 1995.

A. Fron94, G. E. Fron, A. Giunchiglia, P. Armando, A. Traverso et al., Programmation par contraintes Visual Representation of Natural Language Scene Description, IEEE Transactions on Systems, Man and Cybernetics, vol.26, pp.393-397, 1994.

G. V. Gaildrat, R. Caubet, and F. Rubio, Conception d'un modeleur déclaratif de scènes tridimensionnelles pour la synthèse d'images, MICAD'93, pp.265-284, 1993.

G. F. Giunchiglia, C. Ferrari, P. Traverso, and E. Trucco, Understanding scene descriptions by integrating different sources of knowledge, International Journal of Man-Machine Studies, vol.37, issue.1, pp.47-81, 1992.
DOI : 10.1016/0020-7373(92)90091-X

J. Goy97b, F. Gosling, and . Yellin, Les API de Java : AWT et Applets, p.349

T. R. Gru93a and . Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition, pp.199-220, 1993.

T. R. Gru93b and . Gruber, Toward Principle for the Design of Ontologies Used for Knowledge Sharing Formal Ontology in Conceptual Analysis and Knowledge Representation, 1993.

N. Gug95, P. Guarino, and . Giaretta, Ontologies and Knowledge Bases Toward Very Large Knowledge Bases, N.J.I. Mars, 1995.

E. T. Hall66, H. Hall, N. Haton, F. Bouzid, M. Charpillet et al., La dimension cachée Presse Universitaire de France, collection Que sais-je? Le raisonnement en intelligence artificielle. Modèles, techniques et architectures pour les systèmes à base de connaissance, 1966.

L. Hje35 and . Hjelmslev, La catégorie des cas (1), Acta Jutlandica, 1935.

L. R. Hor89 and . Horn, A Natural History of Negation, p.637, 1989.

J. M. Jimenez, La psychologie de la perception, Flamarion, Col. Dominos, p.127, 1997.

K. D. Kalra and A. H. Barr, A Unified Framework for Constraint-Based Modeling, Actes de Computer Graphics International'92, pp.675-695, 1992.
DOI : 10.1007/978-4-431-68204-2_41

L. Khe95 and . Khemlani, GENWIN : A Generative Computer Tool For Window Design in Energy-Conscious Architecture, Building and Environment, vol.30, pp.1-73, 1995.

K. G. Kwaiter, V. Gaildrat, and R. Caubet, DEM 2 ONS : A High Level Declarative Modeler For 3D Graphics Applications, CISST'97, pp.149-154, 1997.

S. Koc94 and . Kochhar, CCAD : A Paradigm for Human-Computer Cooperation in Design, IEEE Computer Graphics and Applications, vol.14, pp.3-54, 1994.

S. Koc97 and . Kochhar, The WWW and Innovative Product Development for the Discrete Manufacturing Industry : A Vision and Research Agenda, CISST'97, pp.78-87, 1997.

D. Leg90 and . Legrand, La couleur imprimée : mode d'emploi " , Trait d'union graphique, 1990.

D. L. Leg90 and . Goff, Modélisation déclarative et morphologie urbaine, 1990.

S. Lie96, L. M. Liege, D. Lucas, P. Martin, D. Martin et al., La Modélisation Déclarative Incrémentale : Application à la Conception Urbaine Le projet ExploFormes : quelques pas vers la modélisation déclarative de formes, Thèse de Doctorat, pp.35-49, 1989.

M. Lucas, Equivalence Classes in Object Shape Modeling

M. Luc93 and . Lucas, Conception assistée par ordinateur et modélisation déclarative de formes, pp.93-98, 1993.

M. Lucas, A propos de la notion de complexité d'un ensemble de segments de droite dans le plan, p.57, 1994.

M. Luc97 and . Lucas, Declarative Modelling : Examples of Application Domains, CISST'97, pp.526-535, 1997.

M. Lup94, F. Lucas, and . Poulet, Modélisation déclarative de monuments mégalithiques : le projet MégaFormes, p.67, 1994.

R. Mac92 and . Maculet, ARCHIPEL : Intelligence Artificielle et Conception Assistée par Ordinateurs en Architecture, Thèse de Doctorat, p.212, 1992.

P. Mam89, D. Et, and . Martin, Un système de génération déclarative de polyèdres, p.76, 1989.

P. Mam90, D. Et, and . Martin, Systèmes à base de règles pour la génération et l'exploration d'univers de formes, p.22, 1990.

P. Mam93, D. Et, and . Martin, Declarative Generation of a Family of Polyhedra, 1993.

P. Mam96, D. Et, and . Martin, PluriFormes : un environnement pour le développement de modeleurs déclaratifs, p.50, 1996.

E. Mart97 and . Martienne, EAGLE : un système d'apprentissage inductif, Actes des Journées Ingénierie des Connaissances et Apprentissage Automatique (JICAA'97), Roscoff, pp.20-22, 1997.

J. Mar90 and . Martin, Synthèse d'images à l'aide d'automates cellulaires, Thèse de doctorat, p.228, 1990.

L. Mat93, G. Mastyska, E. Mauris, L. Benoit, and . Foulloy, Logic Programming with Fuzzy Sets Fuzzy sensors : an overview " , A paraître dans Fuzzy Set Methods in Information Engeneering : A Guided Tour of Application, p.20, 1993.

J. Mou94 and . Mounier, Modélisation déclarative de quelques paramètres de production d'images réalistes, p.150, 1994.

J. Mou96 and . Mounier, Modélisation déclarative de parcours pour l'analyse des ambiances architecturales et urbaines, pp.27-29, 1996.

C. Mul91 and . Muller, La négation en français Logique floue, Publications romanes et françaises, p.295, 1991.

D. Pac92 and . Pacholczyk, Contribution au traitement logico-symbolique de la connaissance, Thèse d'état, p.628, 1992.

D. Pac97 and . Pacholczyk, A Fuzzy Analysis of Linguistic Negation of Nuanced Property in Knowledge-Based Systems, 1997.

L. Paj94 and . Pajot-duval, Modélisation déclarative de configurations de segments de droite, Thèse de doctorat, p.142, 1994.

D. Ple91 and . Plemenos, Contribution à l'étude et au développement des techniques de modélisation , génération et visualisation de scènes : le projet MultiFormes, Thèse de Doctorat d'état, p.308, 1991.

D. Ple94 and . Plemenos, La modélisation déclarative en synthèse d'images, tendances actuelles et perspectives, p.56, 1994.

F. Pol96, M. Poulet, and . Lucas, Modelling Megalithic Sites, Proceedings of Eurogra- phics'96, pp.279-288, 1996.

P. P. Poulin, K. Ratib, and M. Jacques, Sketching shadows and highlights to position lights, Proceedings Computer Graphics International, pp.56-63, 1997.
DOI : 10.1109/CGI.1997.601272

F. Pou94a and . Poulet, Modélisation déclarative de scènes tridimensionnelles : Le projet spatioformes Vocabulaire sur quelques propriétés, Méthodes de génération, 3IA'94, pp.51-74, 1994.

F. Pou94b and . Poulet, Modélisation déclarative de scènes tridimensionnelles par énumération spatiale : le projet SpatioFormes, Thèse de doctorat, p.135, 1994.

F. Pou96 and . Poulet, Le projet MégaFormes : réalisations, résultats, 1996.

. Spierenburg, Graphics Support for a Worl-Wide-Web Based Architectural Design Service, Compugraphics'96, pp.83-92, 1996.

R. A. Rau-chaplin, B. Mackay-lyons, and P. F. Spierenburg, The LaHave House Project : Towards an Automated Architectural Design Service, Cadex'96, pp.24-31, 1996.

R. L. Rondeau, R. Ruelas, E. Levrat, and G. Ris, Modélisation de surfaces par règles floues, Revue internationale de CFAO et d'infographie, pp.9-14, 1994.

S. J. Shah, G. Balakrishanam, M. T. Rogers, and S. D. Urban, Comparative Study Of Procedural and Declarative Feature Based Geometric Modeling " , IFIP'94 -Feature modelling and recognition in advanced CAD/CAM systems, pp.24-26, 1994.

P. Sch81 and . Scheffe, On Foundations of Reasoning with Uncertain Facts and Vague Concepts " , dans " Fuzzy Reasoning and its Applications, pp.189-216, 1981.

S. C. Schoeneman, J. Dorsey, B. Smits, J. Arvo, and D. Greenberg, Painting with light, Proceedings of the 20th annual conference on Computer graphics and interactive techniques , SIGGRAPH '93, pp.1-6, 1993.
DOI : 10.1145/166117.166135

D. Sir97 and . Siret, Propositions pour une approche déclarative des ambiances dans le projet architectural. Application à l'ensoleillement, Thèse de doctorat, p.323, 1997.

S. John, M. Snyder, and J. T. Kajiya, Generative Modeling : A Symbolic System for Geometric Modeling, Actes de Siggraph'92 Computer Graphics Proceedings, Annual Conference Series, pp.26-31, 1992.

J. M. Snyder, Interval Analysis for Computer Graphics, Actes de Siggraph'92 Computer Graphics Proceedings, Annual Conference Series, pp.26-31, 1992.
DOI : 10.1145/133994.134024

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.7431

P. Tchounikine and F. Trichet, DSTM: a Framework to Support Modelling Problem- Solving within the Task-Method Paradigm, 1997.

V. Tor96 and . Torra, Negation Functions Based Semantics for Ordered Linguistic Labels, Int. Jour. of Intelligent Systems, pp.975-988, 1996.

J. Ton95, F. Tong-tong-trichet, and P. Tchounikine, La logique floue Reusing a Flexible Task-Method Framework to Prototype a Knowledge Based System, Actes de la 9ième conférence internationale Software Engineering and Knowledge Engineering (SEKE'97, pp.97-192, 1995.

E. Tsa93 and . Tsang, Foundations of Constraint Satisfaction Features of Similarity, Psychological Review, pp.4-84, 1977.

R. F. Woo91 and . Woodbury, Searching for Designs : Paradigm and Practice, Building and Environment, vol.26, issue.1, pp.61-73, 1991.

R. R. Yag82 and . Yager, Level Sets of Membership Evaluation of Fuzzy Subsets " , Fuzzy Sets and Possibility Theory : Recent Developments, pp.90-97, 1982.

R. R. Yag84 and . Yager, General Multiple-Objective Decision Functions and Linguistically quantified Statement, Int. J. of Man-Machine Studies, vol.21, pp.389-400, 1984.

L. A. Zad65 and . Zadeh, Fuzzy Sets, Information and Control, pp.338-353, 1965.

L. A. Zad83 and . Zadeh, A Computational Approach to Fuzzy Quantifiers in Natural Languages, Computer Mathematics with Applications, vol.9, pp.149-183, 1983.

L. A. Zad87 and . Zadeh, Similarity relations and Fuzzy ordering

Z. R. Zwick, E. Carestein, and V. Bubescu, Measures of similarity among fuzzy concepts: A comparative analysis, International Journal of Approximate Reasoning, vol.1, issue.2, pp.221-242, 1987.
DOI : 10.1016/0888-613X(87)90015-6

Z. C. Zeleznik, K. P. Herndon, and J. F. Hughes, SKETCH : An Interface for Sketching 3D Scene, Actes de Siggraph'96 Computer Graphics Proceedings, Annual Conference Series, pp.163-170, 1996.

C. Cdmm97a, E. Colin, J. Desmontils, J. Martin, and . Mounier, Modélisation déclarative : la vision de l'utilisateur, 1997.

. Cdmm97bc, E. Colin, J. Desmontils, J. Martin, and . Mounier, Modèle Utilisateur d'un Modeleur Déclaratif, Journées "Modeleurs Géométriques, pp.17-19

C. Cdmm97c, E. Colin, J. Desmontils, J. Martin, and . Mounier, Working Modes with a Declarative Modeler, CompuGraphics'97, pp.15-18

E. Des95a and . Desmontils, Les modeleurs déclaratifs, 1995.

E. Des95b and . Desmontils, Formalisation des propriétés en modélisation déclarative à l'aide des sous-ensembles flous, p.41, 1995.

E. Des96 and . Desmontils, Une formalisation des propriétés en modélisation déclarative à l'aide des ensembles flous, 3IA'96, pp.3-4, 1996.

E. Dem97a, J. Desmontils, and . Martin, La propriété dans tous ses états, p.34, 1997.

E. Dem97b, J. Desmontils, and . Martin, Properties Taxonomy in Declarative Modeling, CISST'97, pp.130-138, 1997.

E. Dem98, J. Desmontils, and . Martin, Une plate-forme pour la construction de modeleurs déclaratifs, p.22, 1998.

E. Dep96a, D. Desmontils, and . Pacholczyk, Modélisation déclarative en synthèse d'images : traitement semi-qualitatif des propriétés imprécises ou vagues, AFIG'96, pp.27-29, 1996.

E. Dep96b, D. Desmontils, and . Pacholczyk, Apport de la théorie des ensembles flous à la modélisation déclarative en synthèse d'images, LFA'96, Cépaduès Editions, pp.4-5

E. Dep97a, D. Desmontils, and . Pacholczyk, Interprétation du vague dans la description linguistique d'une scène en Modélisation Déclarative, p.27, 1997.

E. Dep97b, D. Desmontils, and . Pacholczyk, Vers un traitement linguistique des propriétés en modélisation déclarative, Revue Internationale de CFAO et Infographie, vol.12, pp.351-371, 1997.

E. Det97, F. Desmontils, and . Trichet, Introduction d'une Base de Connaissances de type tâche/méthode pour assister la conception de modeleurs déclaratifs, p.24, 1997.

M. Lud95, E. Lucas, and . Desmontils, Les modeleurs déclaratifs, Revue Internationale de CFAO et Infographie, vol.10, pp.6-559, 1995.

P. D. Pacholczyk and E. Desmontils, A Qualitative Approach to Fuzzy Properties in Scene Description, CISST'97, pp.139-148, 1997.

P. D. Pacholczyk and E. Desmontils, Vers une description nuancée des scènes en synthèse d'images " , LFA'97, Cépaduès Editions, pp.185-192, 1997.

A. Définition, 14 : de façon analogue, une conorme triangulaire (t-conorme) est une fonction ? de [0,1]x[0,1] " [0,1] qui vérifie pour tous x, y, t et z de [0,1] : 1. ?(x,y)=?(y,x) (commutativité)

. Matachegeneratrice-=-"-plateforme and . Tache, TacheAleatoire"; } else if (Mode == ModeTLS) { CMesureRouge MesureRouge = new CMesureRouge(Rouge)