Search

La logique propositionnelle (comme d'autres logiques) peut être vue commeune façon de représenter des ensembles d'états du monde (les interprétations).La représentation de variations d'un ensemble d'états du monde à un autre estmotivée par des travaux sur le raisonnement à partir de cas : la comparaisonentre deux problèmes et le passage d'une solution à une autre peuvent être vuscomme des variations d'un ensemble d'états à un autre. Cela a conduit à unenotation pour représenter ces variations (une syntaxe) et ce rapport étudiecomment associer à cette notation une sémantique en théorie des modèles danslaquelle une interprétation est un couple d'interprétations en logiquepropositionnelle (un des états et l'autre). Le rapport entame une étudeclassique de cette logique (syntaxe, sémantique, équivalences, NP-complétudede la satisfiabilité, etc.) et de façons d'associer à un couple de formulespropositionnelles une formule de cette logique. Le rapport se termine par unediscussion envisageant une poursuite de cette étude et des applicationspotentielles.

Dans cet article, nous mettons en regard des travaux d’agronomes, portant sur l’organisation des territoires d’exploitations agricoles, avec une méthode de modélisation développée en intelligence artificielle le raisonnement à partir des cas. Nous essayons de montrer, à travers l’exemple du projet ROSA, que la rencontre de ces deux domaines peut s’avérer fructueuse, tant pour l’agronomie, à la recherche de méthodes qualitatives d’appréciation de la complexité, que pour l’informatique, confrontée à des problématiques nouvelles. En particulier, nous soulignons que cette rencontre conduit à un processus concret d’élaboration conjointe de connaissances. This paper brings together the work of agronomists, dealing with the organization of farming territories, with a modelling method developed in artificial intelligence, namely the case-based reasoning. We try to show, through the example of the ROSA project, that the meeting of these two research fields can be profitable, as well for agronomy, searching for qualitative methods in order to better appreciate complexity, as for computer science, confronted with new modelling problems. In particular, we stress that this meeting led to a concrete process of joint knowledge building. En este articulo, se relacionan trabajos de agrónomos sobre la organización territorial de explotaciones con un método de modelización desarrollado en inteligencia artificial, el razonamiento basado en casos. Se trata de demostrar a través del ejemplo del proyecto ROSA, que el encuentro de esos dos campos de investigación, la agronomía y la informática, puede revelarse fructífero, tanto para la agronomía, en la búsqueda de métodos cualitativos de apreciación de la complejidad, como para la informática, enfrentándose a problemáticas nuevas. En particular, se enfatiza que este encuentro conduce a un proceso concreto de elaboración conjunta de conocimientos.

L’objectif de cet article est de rendre compte de la pratique concrète d’interdisciplinarité qui est au cœur du projet ROSA. Il s’agit de montrer en quoi, d’une part, le travail collaboratif mobilise à la fois des enjeux, des agronomes et des informaticiens et, d’autre part, comment une double contribution des sciences humaines et sociales (ici linguistique et psychologie) contribue à la pratique réflexive des acteurs sur leurs activités de modélisation. Plus précisément, nous mettrons à jour des élaborations de catégories qui apparaissent au cours de négociations conceptuelles et nous analyserons comment une modalité de raisonnement, le raisonnement à partir de cas, utilisée dans le domaine de la représentation des connaissances en intelligence artificielle, peut se réaliser en temps réel, sous forme de pratique incarnée, collective et émergente. This paper is a report on the concrete interdisciplinary practice which is in the heart of the ROSA project. Two aspects are investigated: on the one side, how the collaborative work mobilizes both the issues of the agronomists and the computer scientists; on the other side, how the twofold presence of human and social sciences (here linguistic and psychology) contributes to a reflexive practice of the actors towards their modelling activities. More precisely, we highlight the elaboration of categories emerging during conceptual negociations and we analyze how a reasoning model developed in artificial intelligence and knowledge engineering, the case-based reasoning, can be performed in real time, as an embodied, collective, and emergent practice. El objetivo de este artículo es dar cuenta de la práctica concreta de la interdisciplinariedad, el corazón del proyecto. Se trata de mostrar en qué, de una parte, el trabajo colectivo moviliza a la vez objetivos de los agrónomos y de los informáticos y, por otra parte, cómo una contribución doble de las ciencias humanas y sociales (lingüística y psicología) contribuye a la práctica reflexiva de los actores durante sus actividades de modelización. Más precisamente, pondremos al día elaboraciones de categorías que aparecen en el curso de negociaciones conceptuales. Analizaremos también cómo una modalidad de raciocinio, el raciocinio a base de casos, utilizado en el dominio de la representación de los conocimientos en inteligencia artificial, puede realizarse en tiempo real, en forma de práctica encarnada, colectiva y emergente.