Th. de licence et de doct.--Droit--Lausanne--Faculté de droit de l'Université de Lausanne. / Bibliogr. p. 515-522. Glossaire.

Cette thèse développe un modèle sémiotique de l’abduction pour représenter un processus de conception architecturale. Elle formalise ce processus par une dualisation hypostatique du rapport sémiotique entre un problème de conception, saisi en tant que signe, et la possibilité de sa matérialisation géométrique. La dualisation réintègre ce signe dans le domaine des systèmes de savoir-concevoir utilisés en conception architecturale, et par conséquent, elle génère de nouvelles solutions architecturales. L’abduction modifie les connaissances préalables engagées dans la production d’une solution (l’hypothèse) et en introduit de nouvelles. La complexité du processus de conception implique, au niveau méthodologique et à partir d’une position épistémologique constructiviste, l’intégration de la subjectivité du concepteur dans le modèle. Ainsi résulte une incertitude des interactions entre problème de conception, production de solution, concepteur et contexte. La sémiotisation de l’abduction architecturale explicite le rôle central de l’interprétation dans la création d’une solution. D’ailleurs, la dualisation s’appuie sur la théorie des possibilités pour opérationnaliser le calcul interprétatif incertain et pour valider les hypothèses générées. En retour, la gestion de la propagation de cette incertitude, dans le modèle sémiotique, facilite l’identification et la formulation des solutions, et rend possible une émergence observationnelle de la nouveauté. Le modèle développé est appliqué à un cas de transformations architecturales géométriques dans un milieu urbain fortement caractérisé. / This thesis develops a semiotic model of abduction to represent a process of architectural design. It formalizes this process by the means of a hypostatic dualization, applied to the semiotic relationship between, on the one hand, a design problem, considered as a sign, and on the other, the possibility of its geometric materialization. The dualization reintegrate this sign in the domain of know-how systems used in architectural design, and consequently, it generates new architectural solutions. Abduction modifies and augments the prior knowledge involved in producing the solution (the hypothesis). From a constructivist stance and the ensuing methodological viewpoint, the complexity of the design process implies embedding the designer’s subjectivity in the model. Thus arises an uncertainty about the interactions among design problem, solution production, designer and context. Semiotizing architectural abduction reveals the central role played by interpretation in creating a solution. Besides, dualization relies on possibility theory to formalize the resulting, and uncertain, interpretation calculus, and to validate the obtained hypotheses. In return, managing the uncertainty propagation within the semiotic model, facilitates the identification and the formulation of architectural solutions and allows for an observational emergence of novelty. The developed model is applied to a case of architectural geometric transformations in a heavily characterized neighborhood.

Ce travail présente notre contribution au domaine du raisonnement temporel (RT) en intelligence artificielle. Nous avons défini et mis en oeuvre un mécanisme de raisonnement abductif (génération d'hypothèses) pour le RT. Un tel mode de raisonnement présente en particulier l'intérêt d'être une alternative possible au raisonnement par défaut pour prendre en compte la non monotonie inhérente au RT. Une autre motivation est que le raisonnement abductif appliqué au RT est une approche possible pour la planification. Préalablement à la présentation de la procédure d'abduction, nous étudions l'intérêt pour le raisonnement temporel du principe de résolution avec contraintes de Bürckert. Ce principe s'avère être un cadre formel intéressant pour décrire l'intégration des systèmes de contraintes temporelles dans des systèmes déductifs utilisant le principe de résolution comme règle d'inférence. Dans la deuxième partie, nous proposons une procédure de génération d'hypothèses qui est basée conjointement sur des travaux de Kakas et Mancarella sur l'abduction en programmation logique, et sur l'idée de la résolution avec contraintes. La procédure que nous proposons possède des mécanismes originaux facilitant en premier lieu son application au raisonnement temporel, et permettant ensuite de ramener la conservation de la consistance des hypothèses déjà générées à des tests de satisfaction de contraintes temporelles. Nous présentons des exemples d'utilisation, en particulier pour la planification en utilisant le Calcul d'Evénements de Sergot et Kowalski comme formalisme de représentation. Le cadre de la programmation logique avec contraintes, sous jacent à notre travail, nous permet d'étendre notre procédure à d'autres systèmes de contraintes. Nous décrivons en particulier l'utilisation de contraintes sur domaines finis, ce qui permet de décrire et gérer des ressources finies en planification. L'implantation de la procédure utilise, en plus des contraintes temporelles et des contraintes sur domaines finis, des contraintes sur le typage des termes, ce qui nous permet de proposer un cadre logique avec types et sous-typage qui facilite la description du formalisme temporel et des problèmes à résoudre.