Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF). Plutôt que d'adopter l'approche usuelle considérant le résolveur comme une boîte noire nous avons choisi l'approche boîte de verre de P. Van Hentenryck. Dans celle-ci, le résolveur gère une seule contrainte primitive. Toutes les co...
International audience
L'apparition d'interprètes sur de gros systèmes, tels Prolog-Dec10, puis des premiers compilateurs Prolog basés sur le fonctionnement de la machine virtuelle de Warren contribuèrent à la renommée du langage ainsi qu'a sa diffusion dans les universités puis l'industrie comme un puissant langage de l'Intelligence Artificielle [Warren-77, 83]. Le lang...
L'objectif de cette thèse est de proposer une démarche méthodologique de conception d'un modèle de simulation de systèmes de production qui intègre une représentation des comportements distribués et cognitifs des acteurs décisionnels, et dont l'intérêt est de permettre d'étudier la pertinence de changements organisationnels dans ces systèmes. En ef...
Through examples of data from three empirical design studies, this paper presents the type of analysis which cognitive psychology makes of the mental activities involved in design. These activities are analyzed at three levels: the way in which designers organize their activity, the main strategies they adopt, and the problem-solving processes they...
Cette thèse traite de la Vision par Ordinateur - VO - et de sa relation avec l'Intelligence Artificielle - IA. Elle est composée de trois parties. La partie I "La Vision par Ordinateur - présentation et réflexions" donne, après une définition des deux domaines, un aperçu des approches théoriques et des réalisations existantes en VO utilisant des co...
Cet exposé fait le 1er mars 1984 au L.E.S.T. d'Aix-en-Provence au nom de l'association Subjiciel, et paru dans les Actes du séminaire d'Informatique pour les Sciences de l'Homme et de la Société organisé par le L.I.S.H. (futur G.R.T.C), a une importance double : – C'est la première communication en public sur ce qui deviendra l'Analyse des Logiques...
Published in Neoplasia
L'analyse, l'évaluation et l'exploitation des connaissances de sécurité représentent les tâches fondamentales du processus de retour d'expérience (Rex) d'un système de transport ferroviaire guidé, elle n'en demeure pas moins aujourd'hui le "goulet d'étranglement". En effet, la capitalisation et l'exploitation des connaissances de sécurité se révèle...
