Ci-joint mon CV pour une présentation formelle. Et pour vous donner une idée un peu moins lisse du personnage, quelques liens qui reflètent ce que j'aime (je ne tiens pas la liste à jour) : ma femme et mes 3 filles (là, il y a trop de liens pour n'en retenir qu'un), l'Intelligence Artificielle et les sciences cognitives, la voile et la plongée en apnée, la BD (avec une préférence pour les épopées médiévales fantastiques), la Cathédrale de Strasbourg, le billard français, les échecs, l'escalade et les calanques, Marseille, le foot, la bière. Et puis aussi : l'association PacAriane, le Monde Diplomatique, le Monde Informatique, le site du GIE S2IF, les moteurs de recherche Google, Yahoo et AltaVista, et enfin un site sur la création de site Web.

• présentation des principaux langages logiques :

• la logique propositionnelle : simple et pure. Un petit bijou en quelque sorte,

• la logique des défauts : tentative intéressante pour modéliser les déductions a priori par adjonction d'une nouvelle règle d'inférence ("Ce qui n'est pas explicitement faux est vrai"). Il est très difficile de démonter l'approche (mathématiquement ou conceptuellement), mais l'exercice a montré des limites dans la pratique. Il est probable que cela ne mène nul part,

• les logiques modales : tentative pour modéliser la notion de "possible", par enrichissement du langage (adjonction de nouveaux connecteurs pour permettre des expressions comme "Cette proposition est possible" ou "Cette proposition n'est pas impossible" ou "Cette proposition est crédible", etc.). La littérature sur le sujet est immense, et probablement infiniment riche. Est-ce la solution ? Disons que "C'est possible, mais pas vraiment crédible :-)",

• la circonscription,

• etc...
  

• la logique contextuelle, qui conserve le langage classique et étend sa fonction d'interprétation. La démarche consiste à supposer que la solution, si elle existe, n'est pas dans l'extension de la capacité d'expression du langage (pour l'instant, quoi qu'on en dise, un ordinateur, ce n'est encore à peu de choses près qu'une suite de 0 et de 1) mais dans sa capacité à interpréter ce qu'il déduit : "Ce que je sais n'a de sens que par rapport à ce que je crois savoir". On tourne en rond ? On rentre dans de la philosophie de comptoir ? Mais non mais non, vous allez voir que l'application est très pratique en fait,

• une utilisation pratico-cognitive de la logique contextuelle,

arnaud.kohler@pacariane.com