DEA RCFR: Knowledge Representation and Reasonning Formalisation
Recherche d'emploi : ingénieur en informatique
Christophe Delord est actuellement en CDI mais à la recherche d'un nouvel emploi.
| Type de poste: | poste à dominante R&D en informatique, architecture |
|---|---|
| Compétences: | aéronautique, DO 178B, logiciel embarqué, simulation, vérification, certification, outillage, automatisation, ... (CV : HTML ou PDF ) |
| Localisation: | région toulousaine ou télétravail (déplacements possibles) |
| Contact: | cdelord@cdsoft.fr |
- CDKey: multiple live and installation systems on a single bootable USB device
- CDSoft is on Dispora
- TPG: Toy Parser Generator has been ported to Python 3.
- Portable Python distribution for Windows
- DEA RCFR: Knowledge Representation and Reasonning Formalisation
- ENSEEIHT - IRIT: Computer Science Labs in TOULOUSE
The theoretic part of the DEA consists of four common courses and two optional courses.
- Theoritical Bases of Artificial Intelligence
- Knowledge Bases
- Computationnal Linguistic and Logic
- Collective Artificial Intelligence and Planification
- Plausible Reasonning and Uncertainty
- Cognitive Systems and Language
The research part is a training period in a research laboratory. Mine takes place at ENSEEIHT in Mr Evrard's Team (G.R.A.A.L.).
- Speech Acts and Dialogue Games:
- Dialogue simulation between two agents using speech act and dialogue game notions: * Dialogue cognitive process modelling * Speech act perception, interpretation and generation * Non classical logic, propabilistic and modal logic * Prolog implementation
- Key-words:
- Artificial Intelligence, Speech Acts, Dialogue Games, Non-Monotonic Logic, Modal Logic, Probabilistic Logic, Planification, Prolog
You will find more details about the results of my training period at my Artificial Intelligence page and in my report.