transparents

carriagespinInternet και Εφαρμογές Web

22 Οκτ 2013 (πριν από 3 χρόνια και 7 μήνες)

65 εμφανίσεις

Modélisation des
constructions scientifiques
pour un meilleur cumul des
connaissances

:

le projet ARKEOTEK


Valentine Roux

CNRS, Paris Ouest Nanterre

ANTHROPOLOGIE

régularités

mécanismes

scénarios

SCIENCE

HISTOIRE

(Gallay 2011)

rétrodiction

prédiction

MOD
È
LES

régularités

mécanismes

scénarios

R
É
CITS

LOIS

LE PR
É
SENT

LE PASS
É

(Gallay 2011)

MOD
È
LES

Si p, alors q


régularités

mécanismes

scénarios

R
É
CITS

Décontextualisation

FORMALISATION

Contextualisation

SCHEMATISATION

LOIS

(Gallay 2011)

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.

Le programme logiciste

EHESS, 1991

Editions MSH, 1987

Hachette, 1979

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

P0/1

P0/2

P0/3

P0/4

P0/5

P0/6

P0/7

P1/1

P1/2

P2/2

P2/1

P3/1

La schématisation logiciste

Données
d’observation

Données
comparées

Données de
référence

Sélection

Ordination

Interprétation

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


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


Les publications Arkeotek


-
écriture
logiciste

Format SCD
et bases de
règles

Annotation
sémantique

Requêtes
semantiques

Publication au format SCD: constituer des corpus
de règles, générer des règles d’interprétation
formalisées (modèles)

Transformation d’articles linéaires en documents
logicistes structurés en données et règles de
raisonnement

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


-
é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

Mise au format Scientific Construct & Data et
publication dans
The Arkeotek Journal

www.thearkeotekjournal.org

Format SCD
et bases de
règles

Article au format SCD

Format SCD
et bases de
règles

Article au format SCD

Format SCD
et bases de
règles

Schéma Logiciste

Format SCD
et bases de
règles

Bases de règles: ordination et interprétation

Format SCD
et bases de
règles

Format SCD
et bases de
règles

Règles d’interprétation

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

Les publications Arkeotek


-
écriture
logiciste

Format SCD
et bases de
règles

Annotation
sémantique

Requêtes
semantiques

Publication au format SCD, constitution de corpus
de règles, généralisation et formalisation des
règles (les modèles)

Transformation d’articles linéaires en documents
structurés en données et règles de raisonnement

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

Annotation Sémantique


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

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
sémantique

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

Requêtes en langage naturel (offline)

Débat avec les spécialistes du domaine (workshop ARKEOTEK, Paris, Janvier 2010)

MOD
È
LE : SI MB STANDARDIS
É
, ALORS OUTIL EFFICIENT

Création de règles générales et «

restreintes

» :

les modèles

Si p, ALORS q

Dans C’, si p, alors q

Requêtes en langage naturel (on line)

MOD
È
LES

«

si p, alors q

»

régularités

mécanismes

scénarios

R
É
CITS

BASE DE R
È
GLES
ARKEOTEK

LOIS

Schématisation

Formalisation

Schématisation : Modélisation logico
-
discursive



lecture rapide



bases de données et de règles



outil didactique (pour un transfert des connaissances)



auto
-
archivage des bases de données