Pierre SIEGEL professeur ŽmŽrite depuis Juin 2016.

Aix Marseille UniversitŽ (AMU), Laboratoire dÕInformatique Fondamentale de Marseille (LIF, UMR 7279), Equipe Calcul Naturel (CANA).  

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

į       1978-1981 : Thse de 3me cycle.

į       1982-1988 : Chercheur CNRS au Groupe dÕIntelligence Artificielle (URA 816), thse d'Žtat en 87.

į       1988-2016 : Professeur ˆ lÕUniversitŽ de Provence, puis ˆ Aix Marseille UniversitŽ. PRex.

 

RECHERCHES

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 la rŽsolution de contraintes et le problme SAT).  Ces thmes sont liŽs par lՎtude dÕalgorithmes efficaces pour les logiques non classiques et aussi par des applications. 

Recherches en cours.

Depuis quelques annŽes avec Andrei Doncescu, nous Žtudions la modŽlisation formelle et pratique des systmes biologiques en utilisant des logiques non-monotones qui permettent de reprŽsenter des informations incompltes et incertaines et avec des outils algorithmiques qui viennent de la programmation par contraintes. Cela mÕa emmenŽ ˆ intŽgrer lՎquipe CANA, dont les thmes sont fondamentalement proches.

Actuellement dans ce cadre, je mÕintŽresse aux relations entre les logiques non-monotones et les rŽseaux dÕautomates. LÕobjectif est de trouver des liens entre ces deux formalismes et de fournir des mŽthodes constructives pour passer dÕun formalisme ˆ 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. DÕun autre c™tŽ, dans le contexte des systmes dynamiques discrets, des thŽormes fondateurs ont portŽ sur les cycles dÕinteractions. Avec Sylvain SenŽ (LIF) et Andrei Doncescu (LAAS) nous Žtudions une reprŽsentation des cycles (et plus gŽnŽralement des SDD) 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Õun autre c™tŽ, en utilisant partiellement les idŽes de la thse, dÕIsabelle Toulgoat (DŽcision dÕun officier de quart de sous marin) et dans le cadre de la thse de JosŽ Luis Vilchis Medina, dŽbutŽe en 2015, nous modŽlisons les dŽcisions de pilotage dÕun planeur solaire totalement autonome. 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.

Autres recherches rŽcentes :

- ModŽlisation avec Andrei Doncescu (LAAS), Tan Le et des mŽdecins du CRCT de certaines voies de signalisation dans les cellules cancŽreuses, ˆ travers le dŽveloppement dÕune approche originale et 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 et parfois contradictoire des informations.

- CaractŽrisation avec Belaid Benhamou (LSIS) dÕune nouvelle sŽmantique pour les ASP (Answer Set Programming, outil largement utilisŽ en biologie des systmes). Contrairement aux sŽmantiques classiques cette sŽmantique est telle quՈ tout modle stable dÕun programme ASP correspond une solution appelŽe extension (la rŽciproque est fausse). Le rŽsultat fondamental est dÕavoir trouvŽ un algorithme constructif efficace pour calculer toutes les extensions.

- Dans le cadre de la thse dÕIsabelle Toulgoat et avec la DCNS : DŽcision, avec des information trs incompltes et incertaines,  dÕun officier de quart de sous-marin.

É et quelques recherches plus anciennes,  mais encore utilisŽes :

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

- Pour la 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.

 

DIRECTION DE THESES ET PUBLICATION RECENTES :

Directions de thses rŽcentes.

- Isabelle TOULGOAT :   ModŽlisation de combat humain dans les simulations de combat naval.  31 Janvier 2011. UniversitŽ de Toulon.

- 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

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

- JosŽ Luis Vilchis MŽdina : Modeling of resilient systems in default logic : application to solar power UAVs,  (financŽ par le gouvernement  Mexicain)   Soutenance 2018

 

Publications rŽcentes.

- Pierre Siegel, Andrei Doncescu, Vincent Risch, and Sylvain SenŽ. Vers une reprŽsentation des systmes dynamiques boolŽens en logique des hypothses. Proceedings of JIAF 2017, ˆ para”tre. (lien vers lÕarticle).

- 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. _

- T. Nguyen, A. Doncescu, and P. Siegel. Performance comparison of ADTree and naive Bayes algorithms for spam filtering. International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering, 10 :241Š246, 2016. _

- B.Benhamou, T.Nabhani, and Siegel.P. Reasoning by symmetry in non-monotonic inference. In Proceedings of ICMWI, _pages 264Š269, 2010. _

- Belaid Benhamou and Pierre Siegel. A new semantics for logic programs capturing and extending the stable model semantics. In Proceedings of ICTAIÕ2012, pages 572Š579. IEEE Computer Society, 2012. _

- Andrei Doncescu and Pierre Siegel. The Logic of hypothesis generation in kinetic modeling of system biology. In Proceedings of ICTAIÕ2011, pages 927Š929. IEEE Computer Society,  2011. _

- Andrei Doncescu, Pierre Siegel, and Tan Le. Relevance of information in cell signaling pathways using default logic. In Proceedings of BIOCOMPÕ2014, pages 16Š22. CSREA Press,  2014. _

- Andrei Doncescu, Pierre Siegel, and Tan Le. Representation and efficient algorithms for the study of cell signaling pathways. In Proceedings of ICAIÕ2014, pages 504Š510, CSREA Press, 2014. _

- Tan Le, Andrei Doncescu, and Pierre Siegel. Default logic for diagnostic of discrete time system. In Proceedings o BWCCAÕ2013, pages 488Š493. IEEE Computer Society,  2013. _

- Tan Le, Andrei Doncescu, and Pierre Siegel. Utilization of default logic for analyzing a metabolic system in discrete time. In Proceedings of ICCSAÕ2013, pages 130Š136. IEEE Computer Society, 2013.

- Pierre Siegel and Andrei Doncescu. Operator decision in simulation of biological systems.  In Proceedings of WAINAÕ2011, pages 501Š506. IEEE Computer Society, March 2011. _

- Isabelle Toulgoat, Pierre Siegel, and Andrei Doncescu. Modelling of submarine navigation by nonmonotonic logic. In Proceedings of BWCCAÕ2011, pages 447Š454. IEEE Computer Society, October 2011. _

- I. Toulgoat, P. Siegel, and Y. Lacroix. Operator behavior modelling in a submarine. In Proceedings of CIMAÕ2010, pages 21Š40, 2011. _

- Andrei Doncescu and Pierre Siegel. Emerging Trends in Computational Biology, Bioinformatics, and Systems Biology, chapter DNA Double-Strand BreakŠBased Nonmonotonic Logic, pages 409Š427. Emerging Trends in Computer Science and Applied Computing. Elsevier,  August 2015. _

- B. Benhamou, T. Nabhani, and Siegel. P. SymŽtries dans les logiques non monotones. In Proceedings of JFPCÕ2010, _pages 91Š102, 2010. _

- 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, pages 54Š63, 2012. _

- Andrei Doncescu and Pierre Siegel. Deux applications des logiques non monotones : dŽcision ˆ bord dÕun sous marin, reprŽsentation et dŽcouverte pour la cellule cancŽreuse. In Proceedings of APIAÕ2015, pages 49Š56. AFIA & IN- RIA, July 2015. http://pfia2015.inria.fr. _

- Andrei Doncescu, Pierre Siegel and Tan Le.  ReprŽsentation simple et algorithmes efficaces pour les voies de signalisation cellulaire. In proceeding JIAF,2014, page 105, June 2014