Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Résumé du colloque
L'assistance informatique à la conception architecturale suppose l'instauration d'un dialogue coopératif entre l'utilisateur et le système informatique. Ce type de dialogue ne peut véritablement intervenir que si le système est doté d'un ensemble de "connaissances", propres au domaine de l'architecture, et qui autorisent l'établissement d'une interface utilisateur en adéquation avec les modes de travail du concepteur. La recherche que nous nous proposons de présenter définit sa problématique dans cette nécessité d'intégrer des éléments de connaissance dans les systèmes de CAO. Puisque les connaissances architecturales mettent en œuvre un ensemble de données et de formes de raisonnement sur l'espace, nous nous appuyons, dans un premier temps, sur les résultats des recherches menées en Intelligence Artificielle dans le cadre du "raisonnement spatial qualitatif". Après avoir analysé ce champ de recherche, nous nous inspirons de travaux particuliers qui utilisent les méthodes de la linguistique descriptive pour étudier les moyens mis en œuvre dans la langue lors de descriptions de phénomènes spatiaux, et pour en proposer des modèles logiques. Nous procédons ainsi à l'analyse d'un ensemble cohérent de définitions issues du vocabulaire traditionnel de l'architecture. L'analyse formelle et la traduction en logique des prédicats de ces définitions nous amènent à proposer certains principes d'axiomatisation des connaissances spécifiques au domaine de l'architecture (principes qui reflètent la complexité des niveaux d'interprétation que peut susciter une composition d'éléments d'architecture). En adaptant certains résultats de la méronomie formelle (étude des relations du type partie-tout), de la méréologie ainsi que du calcul des individus (reconstructions axiomatiques des relations topologiques), nous définissons une théorie formelle apte à représenter des éléments de connaissance architecturale. La base de connaissances ainsi définie est implémentée sur un système informatique dans un langage de programmation déclarative, et permet la construction d'un ensemble de contraintes (notamment spatiales) sur les éléments d'architecture décrits. L'intégration de ces contraintes dans des dispositifs de modélisation tridimensionnelle nous permet de conclure ce travail par un ensemble de spécifications de systèmes intelligents de modélisation géométrique pour l'assistance à la conception.
Vous devez être connecté pour ajouter un élément à vos favoris.
Veuillez vous connecter ou créer un compte pour continuer.
Outils de citation
Citer cet article :
MLA
APA
Chicago
Ajouter un dossier
Vous pouvez ajouter vos contenus préférés à des dossiers organisés. Une fois le dossier créé,
vous pouvez ajouter un article ou un contenu de la liste ou de la vue détaillée au dossier sélectionné dans la liste.