Lois, structures et dependances (LSD)

Groupe de travail du PRC IA, 1995 - 1997

Membres du groupe

Annuaire du groupe (avec un alias email).

Description du groupe

Publications

Reunions

Description

Nous constatons les difficultes des approches logiques dans le domaine des raisonnements de sens commun (raisonnement sur l'evolutif, l'incertain, etc.) que nous expliquons par un manque d'outils en logique pour structurer les connaissances d'une maniere adequate. Nous indentifions deux notions-cles duales qui interviennent dans la structure des domaines et qui permettent d'en rendre compte : Tandis que la premiere est une notion standard en intelligence artificielle et en bases de donnees, la seconde etait restee jusqu'a maintenant confinee au domaine des probabilites.

Notre etude a deux objectifs qui se completent :

  1. une etude approfondie du concept d'independance, et
  2. son emploi conjointement avec les lois du domaine pour contribuer a une solution de certains problemes de raisonnement de sens commun.

Reunions

Compte-rendu de la seconde reunion 

IRIT, 14 octobre 1996


PARTICIPANTS

du groupe LSD : S. Benferhat, M. Castilho, L. Cholvy, D. Dubois, 
F. Dupin de Saint-Cyr, J.-L. Golmard, A. Herzig, J. Lang, Y. Moinard, 
H. Prade, C. Schwind

exterieurs : Mary-Anne Williams (Newcastle University, Australie)


EXPOSES 

Mary-Anne Williams :
Reason-based belief revision  (conference invite)

Andreas Herzig :
Independence in Winslett's possible models approach

D. Dubois :
Possibilistic independence and default reasoning
(articles avec S. Benferhat, L. Farinas del Cerro, A. Herzig, H. Prade)

C. Schwind :
Dependances et actions concurrentes
(article avec L. Giordano et A. Martelli)

Yves Moinard :
Combinaisons de circonscriptions
(travail avec R. Rolland)

Salem Benferhat :
Des distributions de possibilite lineaires a la semantique probabiliste 
non-infinitesimale des connaissances conditionnelles
(article avec D. Dubois, H. Prade)

Compte-rendu de la premiere reunion 

IRIT, 5 septembre 1995

PARTICIPANTS

du groupe LSD : S. Benferhat, L. Cholvy, R. Demolombe, D. Dubois, 
O. Gasquet, A. Herzig, Y. Moinard, H. Prade, V. Vialard

exterieurs : M. Bouajani, L. Farinas del Cerro, L. Garcia, V. Lugardon


EXPOSES 

H. Prade : Independance possibiliste qualitative, raisonnement 
plausible et revision des croyances
(article avec D. Dubois, L. Farinas, A. Herzig) 

V. Lugardon : Logiques de la dependance

S. Benferhat :Definition de la notion d'influence en theorie des 
possibilites et son application au probleme "explaining away" - 
etude des reseaux causaux possibilistes

A. Herzig : Dependance et le probleme du decor
(article avec O. Gasquet) 

V. Vialard : Une logique d'action toute neuve et toute belle
(article de C. Schwind)

L. Cholvy : Mises a jour et topics
http://www.irit.fr/~Andreas.Herzig