Pierre SIEGEL Professeur des
Universités émérite, Aix Marseille
Université .
Laboratoire d’Informatique et des Systèmes
(LIS, UMR 7020), Equipe Calcul Naturel (CANA), AMU
- 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é.
-
2016-2023 : Professeur émérite, classe exceptionnelle.
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.
- 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. Elle permet de démontrer des liens formels entre la logique des
hypothèses et les systèmes dynamiques discrets. RGRN.pdf.
- Modélisation formelle et pratique des
systèmes biologiques : Représentation d’informations biologiques incomplètes
et incertaines, utilisation de logiques non-monotones, utilisation d’outils
algorithmiques venant de la programmation par contraintes.
-
Décisions de pilotage d’un planeur
solaire totalement : 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 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 cancéreuses : Développement
d’une approche efficace, fondée 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
( : Contrairement aux
sémantiques classiques cette sémantique est telle que tout modèle stable d’un 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’un officier de quart de
sous-marin ): Utilisation de la logique des défauts pour prendre
les décisions.
Quelques
recherches plus anciennes, mais encore utilisées :
- 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.
Publications depuis 2010.
1.
Pierre Siegel, Andrei Doncescu,
Vincent Risch, Sylvain Sené. Representation of gene
regulation networks by hypothesis logic based Boolean systems. The Journal of
Supercomputing, Volume 79, Issue 4, Mar 2023, pp 4556-4581. RGRN.pdf
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.
Directions
de thèses depuis 2010.
35. Jos Luis Vilchis Medina : Modeling of resilient systems in default
logic : application to solar power UAVs. Aix Marseille Université, Décembre 2018.
36. Thanh Nguyen : Automatisation du Raisonnement Abductif pour la Détection des Intrusions Informatique. Université Paul Sabatier, 2017.
37. 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.
38. Isabelle TOULGOAT
: Modélisation
de combat humain dans les simulations de combat naval. Université de
Toulon. Janvier 2011.
Anciennes
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 Laboratoire d’Informatique de Marseille.
·
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 : Responsible du projet
"Nonmonotonic Reasoning" dans le cadre du Basic Research
Action/Esprit DRUMS "Reasoning and Uncertainty Management Systems". Ce BRA, regroupait des équipes venant de
de 20 laboratoires. Il avait pour but d’étudier les liens entre les formalismes
logiques symboliques et numérique.
·
1989-1993 :
co-responsable avec M.C. Vilarem, du projet BAHIA. Ce
projet, avec tous les « jeunes » qui y ont participé, a beaucoup fait
pour créer la communauté SAT française.
·
1993-1995 : co-responsable avec A. Rauzy du projet « Classes polynomiales » :
une suite du projet BAHIA/
Et d’autres choses trop chronophages et
moyennement utiles.
On the road again
