Pierre SIEGEL Professeur d’Université émérite, Aix Marseille Université.

Laboratoire d’Informatique et des Systèmes (LIS, UMR 7020), Equipe Calcul Naturel (CANA). 

- 1975-1978 : Assistant de mathématiques en Algérie.

- 1978-1981 : Thèse de 3me cycle.

- 1982-1988 : Chargé de Recherche CNRS au Groupe d’Intelligence Artificielle (URA 816), thèse d'état en 1987.

-  1988-2016 : Professeur à l’Université de Provence, puis Aix Marseille Université. PR-ex.

RECHERCHES

Depuis 1978, mes recherches portent principalement sur deux thèmes d’Intelligence Artificielle : l'étude théorique et pratique des logiques non classiques et la démonstration automatique (en particulier résolution de contraintes et problème SAT). Ces thèmes sont liés par l’étude d’algorithmes efficaces pour les logiques non classiques et également par des applications. 

Recherches en cours et récentes.

- Modélisation formelle et pratique des systèmes biologiques (avec Andrei Doncescu) : Représentation d’informations biologiques incomplètes et incertaines, utilisation de logiques non-monotones, utilisation d’outils algorithmiques venant de la programmation par contraintes.

-  Relations entre les logiques non-monotones et les réseaux d’automates (avec Sylvain Sen, Andrei Doncescu et Vincent Risch). L’objectif est de trouver des liens entre ces deux formalismes et de fournir des méthodes constructives pour passer de l’un l’autre afin de tirer profit de l’expressivité de chacun.  Pour cela la logique des hypothèses est utilisée.  Cette logique permet de généraliser la logique des défauts dans le sens o il existe toujours une extension.  Pour les Systèmes Dynamiques Discrets, nous étudions une représentation des cycles et des attracteurs en utilisant la logique des hypothèses. Cette représentation peut permettre de discriminer certains comportements asymptotiques stables et instables. Le but moyen terme est de faire des liens formels entre la logique des hypothèses et les systèmes dynamiques discrets. Un autre but est de donner des algorithmes efficaces pour calculer les cycles stables et instables.

-  Décisions de pilotage d’un planeur solaire totalement (Avec Jos Luis Vilchis Medina et Vincent Risch) :  Le problème théorique principal est, en utilisant des formalismes logiques, de donner les décisions de pilotage qui prennent en compte les ascendances, l’énergie solaire, la sécurité et la règlementation aéronautique le but pratique est de rester en l’air très longtemps, ce que ne peut pas faire un drone classique.

- Modélisation des voies de signalisation dans les cellules chancreuses (avec Andrei Doncescu et Tan Le) : Développement d’une approche efficace, fonde sur la logique des défauts, visant à inférer les interactions protéiques en jeu tout en gérant la nature partielle, incertaine, contradictoire et même fausse des informations expérimentales.

- Nouvelle sémantique pour les Answer Set Programming (Avec Belaid Benhamou et Tarek Khaled). Contrairement aux sémantiques classiques cette sémantique est telle que tout modèle stable d’n programme ASP correspond une solution appelée extension (la réciproque est fausse). Un autre intérêt de cette approche est qu’elle permet d’obtenir des algorithmes de calcul des extensions, constructifs et très efficaces.

-  Décisions, avec des information très incomplètes et très incertaines) d’n officier de quart de sous-marin (avec Isabelle Toulgoat et Yves Lacroix) : Utilisation de la logique des défauts pour prendre les décisions.

Quelques recherches plus anciennes, mais encore utilises :

- En logique : modèles préférentiels, formalisme temporel de la révision, Logique des hypothèses, X-logiques, groupe Léa Sombé. 

- En résolution de contraintes et SAT : Champs de production, Symétries et cardinalité, Liens entre SAT et CSP,  Backdoors et Strongs-backdoors,  Symétries en logique  non classique.

 

Directions de thèses récentes.

1.     Jos Luis Vilchis Medina : Modeling of resilient systems in default logic : application to solar power UAVs. Aix Marseille Université, Décembre 2018.

2.      Thanh Nguyen : Automatisation du Raisonnement Abductif pour la Détection des Intrusions Informatique.  Université Paul Sabatier, 2017.

3.      Tan Le : De l‘inférence abductive et inductive pour la représentation des connaissances dans les réseaux de gènes. Avril 2015.  Université Paul Sabatier.

4.     Isabelle TOULGOAT :   Modélisation de combat humain dans les simulations de combat naval. Université de Toulon.  Janvier 2011.

Publications récentes (enfin décennales).

1.     Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené.  Representation of gene regulation networks by hypothesis logic based Boolean systems. The Journal of Supercomputing – Springer.  28 September 2022.

2.     Pierre Siegel. Utilisation de l’abduction des logiques modales et de SAT pour l’étude des systèmes biologiques. Exposé aux Journées BIOSS-IA, 7-8 Décembre 2021, Paris.

3.     Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené.  Representation of Boolean Genetic Regulatory Networks by Hypothesis Logic.  In Proceedings of 22nd International Conference on Bioinformatics & Computational Biology  - BIOCOMP'21: July 26-29, 2021, USA.

4.    Andrei Doncescu, Vincent Risch, Sylvain Sené, Pierre Siegel Genetic networks,non-monotonic logic and SAT Algorihms.  Exposé aux Journées BIOSS-IA, 14 Novembre 2020.  Paris, 2020 BIOSS20

5.     Pierre Siegel, Andrei Doncescu, Vincent Risch and Sylvain Sené : Logique Modale des Hypothèses, Systèmes Dynamiques Booléens et Réseaux de gênes In Proceedings of PFIA- JIAF 2020:43-52, June 2020, Angers.

6.     José Luis Vilchis Medina, Pierre Siegel, Vincent Risch and Andrei Doncescu : A Resilient Behavior Approach Based on Non-monotonic Logic. In Proceedings of PFIA- JIAF 2020:16-23, June 2020, Angers.

7.     José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu: A Resilient Behavior Approach Based on Non-monotonic Logic.  In Proceedings of  MICAI 2019: 403--413, 2019.

8.     José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu: An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider. In Proceedings of  ICLP Technical Communications 2019: 323--329, 2019.

9.    José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, and Andrei Doncescu. Intelligent and adaptive system based on a non-monotonic logic for an autonomous motor-glider. In Proceedings of ICARCV'2018, pages 442--447. IEEE, 2018. [ bib | DOI | HAL | http ]

10. Pierre Siegel, Andrei Doncescu, Vincent Risch, and Sylvain Sen. Towards a Boolean dynamical system representation in a nonmonotonic modal logic. In Proceedings of NMR'18 : 53--62, 2018. [ bib | pdf | HAL ]

11. Tarek Khaled, Belaid Benhamou, and Pierre Siegel. A New Method for Computing Stable Models in Logic Programming. In Proceedings of  IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI'2018 : 800--807, 2018. [ bib | DOI | HAL ]

12. Tarek Khaled, Belaid Benhamou, and Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique. In Proceedings of Quatorzièmes Journées Francophones de Programmation par Contraintes (JFPC'2018) : 63--72, 2018. [ bib | HAL ]

13.  Andrei Doncescu, Vincent Risch, Pierre Siegel - Quelques formalismes et algorithmes pour les réseaux biologiques. Journées BIOSS-IA (2me édition). 18-19 Décembre 2018, Paris.

14. Jos-Luis Vilchis Medina, Pierre Siegel, and Andrei Doncescu. Pilotage stable d'un planeur en utilisant une logique non monotone. In Proceedings of Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Caen, France, July 2017. [ bib | HAL ]

15. Pierre Siegel, Andrei Doncescu, Vincent Risch, and Sylvain Sen. Vers une représentation des systèmes dynamiques booléens en logique des hypothèses. In Proceedings of JIAF'17 : 2017. [ bib | HAL ]

16. José-Luis Vilchis Medina, Pierre Siegel, and Andrei Doncescu. Autonomous aerial vehicle based on non-monotonic logic. In Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, volume 1, pages 236--241. INSTICC, ScitePress, 2017. [ bib | DOI | HAL ]

17. Tarek Khaled, Belaid Benhamou, and Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique. In Proceedings of Journées d'Intelligence Artificielle Fondamentale, 2017. [ bib | HAL ]

18.  Pierre Siegel – Keynote : Logiques non-monotones pour les réseaux de gènes et les systèmes dynamiques booléens Journées BIOSS-IA - Modèles logiques pour la représentation formelle des systèmes vivants - 22-23 juin 2017, Gif-Sur Yvette.

19. Thanh Nguyen, Andrei Doncescu, and Pierre Siegel. Performance Comparison of AD Tree and Naive Bayes Algorithms for Spam Filtering. International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering, 10(5): 269--274, 2016. [ bib ]

20.  Andrei Doncescu and Pierre Siegel. Emerging Trends in Computational Biology, Bioinformatics, and Systems Biology. chapter DNA Double-Strand Break_Based Nonmonotonic Logic   409--527. Elsevier, 2015. [ bib ]

21. Tan Le, Andrei Doncescu, and Pierre Siegel. Default logic for diagnostic of discrete time system. In Proceedings of BWCCAղ013 : 488 -493. IEEE Computer Society, 2013.

22. Andrei Doncescu and Pierre Siegel. The Logic of hypothesis generation in kinetic modeling of system biology. In Proceedings of ICTAIղ011: 927--929. IEEE Computer Society, 2011.

23. Andrei Doncescu, Pierre Siegel, and Tan Le. Representation and efficient algorithms for the study of cell signaling pathways. In Proceedings of ICAI'2014 : 504--510, 2014. [ bib ]

24. Tan Le, Andrei Doncescu, and Pierre Siegel. Default logic for diagnostic of discrete time system. In Proceedings of BWCCAղ013: 488–493. IEEE Computer Society, 2013.

25. Tan Le, Andrei Doncescu, and Pierre Siegel. Utilization of default logic for analyzing a metabolic system in discrete time. In Proceedings of ICCSAղ013: 130–136. IEEE Computer Society, 2013.

26. Belaid Benhamou, Lionel Paris, and Pierre Siegel. Dealing with satisfiability and n-ary CSPs in a logical framework. Journal of Automated Reasoning, 48 :391-417, 2012.

27. Belaid Benhamou and Pierre Siegel. Une nouvelle sémantique pour la programmation logique capturant la sémantique des modèles stables : la sémantique des extensions. In Proceedings of JFPC  2012: 4–63, 2012.

28. Belaid Benhamou and Pierre Siegel. A new semantics for logic programs capturing and extending the stable model semantics. In Proceedings of ICTAIղ012: 572–579. IEEE Computer Society, 2012.

29. Andrei Doncescu and Pierre Siegel. The Logic of hypothesis generation in kinetic modeling of system biology. In Proceedings of ICTAIղ011: 927--929. IEEE Computer Society, 2011.

30. Pierre Siegel and Andrei Doncescu. Operator decision in simulation of biological systems.  In Proceedings of WAINAղ011: 501–506. IEEE Computer Society, March 2011.

31. Isabelle Toulgoat, Pierre Siegel, and Andrei Doncescu. Modelling of submarine navigation by nonmonotonic logic. In Proceedings of BWCCAղ011: 447--454. IEEE Computer Society, October 2011.

32. Isabelle Toulgoat, Pierre Siegel, and Yves.Lacroix. Operator behavior modelling in a submarine. In Proceedings of CIMAղ010:  21--40, 2011.

33. Belaid Benhamou, Tarek Nabhani, and Pierre Siegel. Symétries dans les logiques non monotones. In Proceedings of JFPCղ010: 91--102, 2010.

34. Belaid Benhamou, Tarek Nabhani, and Pierre Siegel Reasoning by symmetry in non-monotonic inference. In Proceedings of ICMWI : 264--269, 2010.

      Vieilles responsabilités (nostalgie ou pas).

_      1988-1991. Directeur du Groupe d'Intelligence Artificielle - URA CNRS 816, Marseille.1992-1994. Création et direction du Laboratoire d'Informatique de l'Université de Provence, Jeune équipe DRED (JE 181).

_      1994-1996. Responsable de l’équipe de logique du LIM.

_      1995-1998 : Directeur du PRC/GDR-CNRS d’Intelligence Artificielle.

_      1996-2001 : Directeur du Laboratoire d'Informatique de Marseille  ESA-CNRS 6077.

_      1999-2002 : Directeur adjoint du GDR-CNRS I3.

_      2004 - 2008 : Adjoint au directeur du LSIS, UMR CNRS 618, responsable du site Nord de ce laboratoire.

 

_      1988 - 1991 : Responsable du pôle Méta Inférence dans le cadre du PRC / GRD-CNRS Intelligence Artificielle.

_      1988-1995 : Responsable du projet "Nonmonotonic Reasoning" dans le cadre du Basic Research Action/Esprit DRUMS "Reasoning and Uncertainty Management Systems". Ce BRA (10 puis 20 labos) créé en 1988 avait pour but d’étudier les liens entre les formalismes logiques symboliques et numériques ; il a été renouvelé pour trois ans en 92.

_      1989-1993 : co-responsable avec M.C. Vilarem, du projet BAHIA (20 chercheurs). Ce projet a beaucoup fait pour créer la communauté SAT française.

_      1993-1995 : co-responsable avec A. Rauzy du projet "Classes polynomiales" (6 laboratoires).

     Et d’autres choses trop chronophages et moyennement utiles.

On the road again