Valentine Roux CNRS, Paris Ouest Nanterre

1. Modélisation des constructions scientifiques pour un meilleur cumul des connaissances : le projet ARKEOTEK Valentine Roux CNRS, Paris Ouest Nanterre

2. ANTHROPOLOGIE régularités prédiction rétrodiction mécanismes scénarios SCIENCE HISTOIRE (Gallay 2011)

3. LE PRÉSENT LE PASSÉ MODÈLES régularités mécanismes scénarios LOIS RÉCITS (Gallay 2011)

4. Décontextualisation FORMALISATION MODÈLES Si p, alors q  Contextualisation SCHEMATISATION régularités mécanismes scénarios LOIS RÉCITS (Gallay 2011)

5. Le programme logiciste Le programme ‘logiciste' est le nom donné dans les années 70 par JC Gardin à un ensemble de recherches visant à clarifier les mécanismes et les fondements des raisonnements pratiqués dans les constructions scientifiques. Hachette, 1979 Editions MSH, 1987 EHESS, 1991

6. Des arbres d’inférences (a) Données initiales, i.e. ensemble de propositions déclaratives {Po} mobilisées par la construction, (b) Un arbre d’inférences écrites sous la forme “(SI) p (Alors) q” exprimant les opérations de dérivations faites par les auteurs pour atteindre une conclusion finale

7. La schématisation logiciste P3/1 Interprétation P2/1 P2/2 Ordination P1/1 P1/2 Sélection P0/1 P0/2 P0/3 P0/4 P0/5 P0/6 P0/7 Données d’observation Données comparées Données de référence

8. Des bases de connaissances: bases de faits et bases de règles a)      Bases de faits : données d’observation, de comparaison et de référence propres au domaines considéré, recueillies dans une intention scientifique ou technique précise (formation ou vérification d’hypothèses, résolution de problèmes, etc..)  b)      Bases de règles: règles de raisonnement(SI p, ALORS q ) les unes particulières à un domaine (ordination), les autres recevables dans un univers de référence plus large (interprétation).

9. Le projet Arkeotek: un projet expérimental de bases de connaissances

10. Les publications Arkeotek Ré-écriture logiciste Format SCD et bases de règles Transformation d’articles linéaires en documents logicistes structurés en données et règles de raisonnement Annotation sémantique Publication au format SCD: constituer des corpus de règles, générer des règles d’interprétation formalisées (modèles) Requêtes semantiques Annotation sémantique des règles de raisonnement basée sur une ontologie du domaine Technologies du web sémantique associées à l’annotation sémantique pour des requêtes en langage naturel sur les règles

11. Ré-écriture logiciste Schématisation des articles par extraction « manuelle » des dérivations (b) Des inférences qui aboutissent à des propositions intermédiaires et finales: SI p, ALORS q (a) Des propositions initiales {Po} décrivant des objets ou des phénomènes

12. Mise au format Scientific Construct & Data et publication dans The Arkeotek Journal Format SCD et bases de règles www.thearkeotekjournal.org

13. Article au format SCD Format SCD et bases de règles

14. Article au format SCD Format SCD et bases de règles

15. Schéma Logiciste Format SCD et bases de règles

16. Bases de règles: ordination et interprétation Format SCD et bases de règles

17. Règles d’interprétation Format SCD et bases de règles

18. Format SCD et bases de règles Généralisation des règles et discussion des « régularités » implicites auxquelles fait appel l’interprétation

19. Les publications Arkeotek Ré-écriture logiciste Format SCD et bases de règles Transformation d’articles linéaires en documents structurés en données et règles de raisonnement Annotation sémantique Publication au format SCD, constitution de corpus de règles, généralisation et formalisation des règles (les modèles) Requêtes semantiques Annotation sémantique des règles de raisonnement basée sur une ontologie du domaine Technologies du web sémantique associées à l’annotation sémantique pour des requêtes en langage naturel sur les règles. OBJECTIF: comparer les règles pour mieux révéler les régularités/ les modèles sous-jacents

20. Annotation Sémantique Semantic Annotation • Challenges • Capitaliser toutes les formulations linguistiques des concepts • Evolution de l’ontologie pour l’adapter à de nouvelles règles d’inférence (Projet Dynamo) • Annotation des règles d’inférence à l’aide d’une ontologie (concepts et termes représentatifs d’un domaine) • Hierarchie de concepts propre à l’archéologie des techniques • Instanciation des concepts par des termes qui caractérisent les objets et les interprétations

21. Annotation sémantique basée sur une ontologie du domaine Annotation sémantique

22. Requêtes en langage naturel (offline)

23. MODÈLE : SI MB STANDARDISÉ, ALORS OUTIL EFFICIENT Débat avec les spécialistes du domaine (workshop ARKEOTEK, Paris, Janvier 2010)

24. Création de règles générales et « restreintes  » : les modèles Si p, ALORS q Dans C’, si p, alors q

25. Requêtes en langage naturel (on line)

26. BASE DE RÈGLES ARKEOTEK MODÈLES « si p, alors q » Formalisation Schématisation régularités mécanismes scénarios LOIS RÉCITS

27. Schématisation : Modélisation logico-discursive • bases de données et de règles • lecture rapide • outil didactique (pour un transfert des connaissances) • auto-archivage des bases de données