My PhD Thesis is published by "Presse Académiques Francophones" (Amazon).
My PhD Thesis is published by "Presse Académiques Francophones" (Amazon).
‹
›
From September 2008 to August 2013, I was Assistant Professor in Computer Science at the University of Artois.
Member of the Lens Computer Science Research Centre (CRIL CNRS UMR 8188), my research activities were about symbolic Artificial Intelligence and were focused on logic-based approaches of knowledge representation and reasoning.
In December 2011, I passed a PhD Thesis in computer science entitled ``Methods Allowing the Overriding of Subsumed Knowledge'' under the joint supervision of Eric Grégoire and Philippe Besnard.
Research activities
My research activities mainly deal with the issue occurring when a piece of information is added to a knowledge set which already entails it. How to make sure that this new piece of information prevails the ones that allow its inference?
Suppose for instance that a premisses set contains the piece of information ``If the switch is on then the room is lighted''. It is natural to expect that adding an additional rule, in a way more precise than the first one, and which assert that ``If the switch is on and if the lamp bulb is not broken then the room is lighted'', could prevail it. Indeed, it will not be sufficient to know that ``The switch is on'' to conclude that ``The room is lighted'': It is now necessary to say that ``The lamp bulb is not broken''.
It is important to know that the second rule is consistent with the first one and that the non monotonic logics and beliefs revision or update frameworks do not handle this issue in principle.
Publications
Find below the list of my different works and publications (11 publications for National and International audiences):
- Preemption in classical logic case (KSEM'11, BRA'12, JIAF'12),
- Preempting Platform (C++) implementation, experimentation with Industrial Benchmarks from SAT competitions,
- Iterative aspects of preemption in classical logic case (SEKE'12),
- Preemption in the context of fusion of legal knowledges (FUSION'12),
- Preemption in non monotonic logics case (IJAR'13, ECSQARU'11),
- Preemption as a belief change operation (ECAI'12, NMR'12),
- Trivialization issue of default logic (ECSQARU'09, JIAF'09).
An Enforcing tool
In this configuration, the program takes as input a set of clauses Gamma.cnf and a new clause g.cnf (in DIMACS CNF format). It returns a set of clauses GammaPrime.cnf that infer g and does not subsume it (in DIMACS CNF format).
usage: ./preempte Gamma.cnf g.cnf [-ME={MUSES|COUV}] [-MR={BRUTE|TOPO}] [-MS={AUTO|UTIL}]
-ME option modify the minimally inconsistant sources extraction mode: MUSES to extract all the MUSes (by default), COUV to extract an inconsistant cover only.
-MR option modify the clauses selection mode: BRUTE to select all the clauses (by default), TOPO to select clauses using a minimally change approach.
-MS option modify the selected clauses suppression mode: AUTO to remove all the selected clauses (by default), UTIL to remove the selected clauses that are choosen by the user only.
An instances generator
In this configuration, the program takes as input the number of MUSes n, the size of the MUSes m (in terms of clauses), the size of g tg (in terms of litterals) and the percentage of clauses in the instance not belonging to any MUS p. It returns a set of clauses switch_n_m_tg_p_gamma.cnf and a clause switch_n_m_tg_p_g.cnf (in DIMACS format).
usage: ./preempte -c n m tg p
Download
This program has been implemented in C++ (download the executable here: preempte).
International Journal paper(s)
14. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Overriding Subsuming Rules'', in
International Journal of Approximate Reasoning (IJAR), Volume 54(4), Elsevier, pp. 452-466, June 2013.
International conference paper(s) with proceedings
13. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Preemption Operators'', in
20th European Conference in Artificial Intelligence (ECAI'12), IOS Press, FAIA 0242, pp. 893-894, august 2012. (Montpellier, France).
12. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Logic-based Fusion of Legal Knowledge'', in
15th International Conference on Information Fusion (FUSION'12), IEEE Press, pp. 587-592, july 2012. (Singapore, Singapore).
11. Éric GREGOIRE, Sébastien RAMON,
``Disabling Subsumptions in a Logic-Based Component'', in
24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12), Knowledge Systems Institute, pp. 243-248, july 2012. (Redwood City, San Francisco Bay (CA), USA).
10. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Enforcing Logically Weaker Knowledge in Classical Logic'', in
5th International Conference on Knowledge Science Engineering and Management (KSEM'11), LNAI 7091, Springer, pp. 44-55, december 2011. (Irvine (CA), USA).
9. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Overriding Subsuming Rules'', in
11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), LNAI 6717, Springer, pp. 532-544, june 2011. (Belfast, Northern Ireland).
8. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``A Default Logic Patch for Default Logic'', in
10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), LNAI 5590, Springer, pp. 578--589, july 2009. (Verona, Italy).
International conference paper(s) without proceedings
7. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Preemption Operators'', in
14th International Workshop on Non-Monotonic Reasoning (NMR'12), june 2012. (Roma, Italy).
6. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Revising Subsuming Knowledge and Beliefs'', in
International Workshop on Belief Revision and Argumentation (BRA'12), january 2012. (Funchal, Portugal).
National conference paper(s)
5. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Prédominance de Connaissances Subsumées en Logique Classique'', in
6ièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF'12), may 2012. (Toulouse, France).
4. Philippe BESNARD, Éric GREGOIRE, Sébastien RAMON,
``Corriger la Logique des Défauts par la Logique des Défauts'', in
3ièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF'09), october 2009. (Marseille, France).
PhD & MSc thesis
3. Sébastien RAMON,
``Méthodes permettant la prédominance de connaissances subsumées'',
PhD Thesis, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), december 2011.
2. Sébastien RAMON,
``Introduction de Défauts pour la Résolution du Problème de Trivialisation en Logique des Défauts'',
Master 2 Thesis, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), july 2008.
1. Sébastien RAMON,
``Réalisation Objet d'un Mini-Solveur CSP'',
Master 1 Thesis, Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188), june 2007.
Teaching activities
From September 2011 to August 2013, I was Assistant Professor in Computer Science at the Lens University Institute of Technology (IUT de Lens, University of Artois). Same position, from September 2008 to August 2011, at the Lens Faculty of Sciences (University of Artois).
Find below the list of my different teaching topics (591h in lectures, seminars and lab sessions):
- Databases (150h, lectures, seminars, lab sessions): in PostGreSQL, MySQL, Base; Database creation and interrogation.
- Procedural Programming (145h, seminars, lab sessions): in Python; List, Dictionary, Sort, Stack and Queue algorithms; Recursivity.
- Data Modeling (78h, lectures, seminars, lab sessions): Merise and UML methodology; Design Patterns.
- Assembly Language (54h, lab sessions): in Low-level C and 80x86 assembly language; Registers and stack manipulation.
- Web Programming (48h, seminars, lectures, lab sessions): in HTML, CSS, PHP with PDO.
- Office Productivity Software (36h, lab sessions): with OpenOffice (Writer, Calc, Impress).
- System Programming (30h, lab sessions): Linux; Bash Programming.
- Object-Oriented Programming (30h, lab sessions): in Java; List, Sort, stack and queue algorithms; Recursivity.
- Project Programming (20h, lectures, lab sessions): in C and GTK+; Pacman and Gomoku programming.
Other activities
- Elected member of the laboratory council (2008-2012).
- Organizing Comittee member of the second CRIL PhD Students Days (JDD'09, Le Touquet, June 25-26 2009).
- Organizing Comittee member of the second Pickomino Challenge (fête de la science 2010, Lens, October 21 2010).
