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...
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...
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...
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...
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...
International audience
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...
En tirant les leçons de l'implantation d'un logiciel ADAM, qui est décrit dans cet article, nous répondons à la question du titre par : CHER !Partant de scénarios, puis en nous plaçant dans le cadre plus général de pilotage de programmes en environnement hétérogène réparti, nous confrontons les coûts d'une approche centralisée par rapport à une app...
Plusieurs méthodes ont été développées par l'Intelligence Artificielle pour reproduire certains aspects de l'intelligence humaine. Ces méthodes permettent de simuler les processus de raisonnement en s'appuyant sur les connaissances de base disponibles. Chaque méthode comporte des points forts, mais aussi des limitations. La réalisation de systèmes ...
sous collection Lecture Notes in Artificial Intelligenceeds : Marie Laure Mugnier et Michel Chein
