Colloque

Topoi, un système de production d'argumentations dialectiques

Pierre St-Vincent

Membre a labase

Pierre St-Vincent

Résumé du colloque

Notre objectif est de décrire Topoi, un système de production d'argumentations dialectiques que nous avons développé. Le langage Topoi, par ses négations explicites, permet la représentation d'argumentations opposées, et même contradictoires. Celles-ci correspondent à diverses opinions, à divers états de connaissances qui évoluent à travers le temps, qui changent selon les contrées, ou à tout ce qui constitue une pluralité de points de vue. Pour ce faire, nous avons recours à des règles contextualisées. Les contextes peuvent identifier diverses informations concernant la règle: le point de vue exprimé; la méthodologie utilisée; le texte dont elle origine, etc. Des mécanismes de filtrage permettent de sélectionner les règles pour produire des argumentations justifiant un ou plusieurs points de vue. L'utilisation de négations explicites, quant à elle, donne la possibilité d'exprimer les oppositions, alors que les négations par échec permettent de vérifier l'absence d'argumentation concluante. Ces dernières peuvent être utilisées pour représenter des présomptions, où l'on conclut en l'absence de preuve contraire. Le langage Topoi est aussi modulaire, ce qui permet de structurer les bases de règles; des méta-appels font le lien entre les modules et gèrent les mécanismes de filtrage. Les applications de Topoi sont nombreuses. Il peut servir d'aide à la décision juridique en recherchant les arguments favorisant un point de vue donné. Nous illustrons cette possibilité grâce à des exemples tirés de la Loi sur les marques de commerce. On peut aussi songer à d'autres applications comme en sciences sociales, en sciences politiques, ou encore en histoire.

Contexte

Section :

Informatique et mathématiques

Thème du colloque :

Informatique et mathématiques

Hôte : Université de Trois-Rivières

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et mathématiques

La base de métadonnées et l’architecture concurrente : Des <> orientés objets

Sofienne Elbahri

Système de détection et d'avertissement dans un OLAP

Martin Petitclerc

Modèles d'explications dans des systèmes à base de connaissances utilisant le raisonnement par cas

Hélène Verrière

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et mathématiques

Topoi, un système de production d'argumentations dialectiques

Pierre St-Vincent

Analyse et formalisation de décisions juridiques à l'aide de Topoï

Pierre St-Vincent