Philippe Morignot
|
Philippe Morignot
|
|
My goal is
to design control models of temporal adaptive
intelligent agents, which
act in their environment: Present action but also memory of the past
and
intentions/predictions towards the future. My
focus lays on temporal representations and
algorithms to orient the action of an agent. To make it short, my
research topic is temporal action, where it comes from and where it
leads to, its instantaneity being delegated to robotic procedures.
Planning |
ENSTA ParisTech,
Palaiseau, France. For M2 students, ROB316, 20 - present. Slides : hour 1, hour 2, hour 3 & exercises using CPT (executable, blocksaips01.pddl , domain-blocksaips.pddl ). |
Constraint programming Linear programming |
I. A. School,
Boulogne-Billancourt, France. For M2 students of the Data Scientist
program, 21. Slides : hour 1 and exercises (with Sylvain Soliman's data file for the problem of the bridge) using MiniZinc. Slides : hour 1, hour 2, hour 3 and hour 4 ; and exercises of Anne-Laurence Putz. |
Planning - PLAC Constraint programming - PPCO Linear programming - PROLINLOG Rule-based systems - SYBR Logic programming - PROLINLOG |
EPITA,
Le Kremlin-Bicètre, France. For M2
students, options SCIA
and CSI.
12 - 16 and 23-present. Slides: session 1, session 2, session 3, exercises using CPT. Slides: session 1, session 2, exercises 1 & exercises 2 using MiniZinc. Slides: hour 1, hour 2, hour 3, hour 4 and exercises. (Revised) slides of Adrien Pain: session1, session2, session3, exercises using CLIPS. Slides : session, exercises1 and exercises2. |
| Decision in A.I. | IFP School, Rueil-Malmaison, France. For M2 students of the Powertrain program. June 16. [slides] |
Planning Constraint programming |
Télécom
ParisTech, Paris, France. For M2 students, option MCII, INF-348. 14. Slides: session and exercises using CPT. Slides: session and exercises using OPL. |
| LINUX | ESIGELEC, Saint-Etienne-du-Rouvray, France. For M1 students. 11 - 12. |
| Combinatorial optimization | University Paris 9 - Dauphine, France. For M2P students in Computer science, Intelligent Systems. 07. |
| Linear programming | Pacte Novation, Issy-les-Moulineaux, France. For software engineers. 03. |
| Constraint programming | IBM (ex- ILOG), Gentilly, France. For software engineers and researchers. 00. |
| Object-oriented languages | Télécom ParisTech, Paris, France. For M2 students. 90-92. |
| Object-oriented languages | Ecole Centrale de Paris, Chatenay-Malabry, France. For M2 students in options Applied Mathematics and Real-time C.S. 90-92. |
| LISP | IngénIA, Issy-les-moulineaux, France. For software engineers. 92. |
| LISP Methods for A.I. |
Cognitech, Paris, France. For software engineers. 89. |
| Expert A.I. and Algorithms |
THALES, Vélizy, France,
22. |
|
R&D consultant |
SAFRAN
(via ASPertise then Embarq),
Magny-les-Hameaux, France, 17-(20)-21. |
| Senior
Researcher in A.I. |
VEDECOM Institute, Versailles, France, 16-17. [picture] |
| Contractual Researcher | INRIA
Rocquencourt, Le Chesnay, France, 12-15. Project-team LIFEWARE (ex- CONTRAINTES), 14-15. [picture] Project-team RITS (ex- IMARA), 12-13. [page] |
| Researcher-Engineer | CEA, LIST, DIASI, Interactive Robotics Laboratory, Fontenay-aux-Roses, France, 09-11. [robot SAM] [video] [video (81 Mb)] [video (27 Mb)] |
| Chief Scientific Officer | Axlog Ingénierie, Arcueil, France, 03-08. |
| Project leader | Pacte Novation, Issy-les-Moulineaux, France, 98-03. |
| Consultant | IBM (ex- ILOG), Gentilly, France, 97-98. |
| Postdoctoral researcher | Fraunhofer
Institute, Intelligent
Analysis and Information Systems,
Sankt Augustin, Germany, 97. ERCIM fellowship, 97. |
| Postdoctoral researcher | Institute
for Computer
Science, Foundation for Research and Technology - Hellas,
Heraklion, Greece, 96-97. ERCIM fellowship, 96-97. |
| Postdoctoral researcher | INRIA Grand Est, Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), project-team SYCO, Nancy, France, 96. |
| Software engineer | Robotics Research Harvesting, Redwood City, California, 94-96. |
| Postdoctoral Research Associate | Stanford
University, Knowledge
Systems
Laboratory, Adaptive
Intelligent Systems team, California, 92-96. [video]
[simplified blackboard BB1] Lavoisier fellowship, 92-93. |
| Software engineer | IngénIA, Issy-les-Moulineaux, France, 91-92. |
| Software engineer |
Syseca Temps-Réel, Saint-Cloud,
France, 89-90. CIFRE fellowship, 89-90. |
| Scientific military service | Etablissement Technique Central de l'Armement, Centre d'Analyse de la Défense, Arcueil, France,87-88. |
|
Software engineer |
Cognitech, Paris, France, 86-89. CIFRE fellowship, 86-87 and 88-89 |
| Ph.D. |
Critères
de vérité en planification [Truth
criteria in planning], Télécom
ParisTech, Network
and C. S. (INFRES) Dept., Paris, France, 91. [pdf] |
|
YAPS (Yet Another Planning System) is an A.I.
planner based on David Chapman’s modal truth
criterion. This criterion infers how to make a precondition
possibly/necessary
true in a partially-ordered partially-instantied plan of actions. And
it
deduces the modal truth value of a precondition in such a plan. A
backtracking best-first search in the space of partial plans is used to
control the
search.YAPS is tested on the domains of the
blocks
world, the towers of Hanoi, recursive planning, ski, robots and office
factotum. The source code in Common Lisp and the planning domains are available here. |
|
| M.Sc. | Artificial Intelligence, Pattern Recognition, and Graphical Algorithmics (IARFAG). Paris 6 University and Ponts ParisTech, Paris and Marne-la-Vallée, France, 87. |
| LELOO is an
object-oriented kernel, based on Pierre Cointe's ObjVLisp model
(OOPSLA'87). The source code in Common Lisp can be found here. |
|
| B.S. | Ecole Centrale de Paris, Chatenay-Malabry, France, 86. |
