paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 211556645Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Informations

Langue d'expression : Francais
Date de naissance :  2000
Note publique d''information : 
CE TRAVAIL SE SITUE DANS LE CADRE DU DEVELOPPEMENT ET DE LA COMPARAISON DE THEORIES AXIOMATIQUES DU PREMIER ORDRE POUR LA REPRESENTATION DES CONNAISSANCES QUALITATIVES. IL PROPOSE UNE METHODOLOGIE GENERALE QUI PERMET D'UNE PART, DE CLASSIFIER ET COMPARER LES THEORIES LOGIQUES EXISTANTES DES POINTS DE VUE FORMEL ET ONTOLOGIQUE, ET D'AUTRE PART DE DEVELOPPER CONSTRUCTIVEMENT DES THEORIES BASEES SUR UN DOMAINE ET DES RELATIONS PRIMITIVES ONTOLOGIQUEMENT APPROPRIES A UN OBJECTIF DONNE. L'ANALYSE SYSTEMATIQUE DES PROPRIETES INTRINSEQUES DES THEORIES (PROPRIETES FORMELLES - SYNTAXIQUES ET SEMANTIQUES - QUI RENDENT EXPLICITES LEURS DEPENDANCES, INCOMPATIBILITES ET POUVOIR EXPRESSIF) ET DE LEURS PROPRIETES EXTRINSEQUES (ADEQUATION RELATIVEMENT AUX APPLICATIONS, EN PARTICULIER, ADEQUATION ONTOLOGIQUE DES PRIMITIVES CONSIDEREES) CONDUIT A LA CONSTRUCTION D'UN RESEAU DE THEORIES QUI CONSTITUE UN OUTIL POUR : (I) AIDER L'UTILISATEUR A CHOISIR UNE THEORIE ADEQUATE VIS-A-VIS DE SES EXIGENCES ; (II) AIDER L'UTILISATEUR A DEVELOPPER DES THEORIES BASEES SUR DES ENTITES ET RELATIONS PRIMITIVES DIFFERENTES DE CELLES DES THEORIES EXISTANTES ; (III) RENDRE PLUS FACILE LA COMMUNICATION ET L'INTEGRATION DE SYSTEMES BASES SUR DES THEORIES DIFFERENTES. ON A ANALYSE L'UTILITE DE CETTE METHODOLOGIE POUR LES DOMAINES DE L'ESPACE ET DU TEMPS. EN CE QUI CONCERNE LES ASPECTS COMPARATIFS DE LA METHODOLOGIE, ON A ANALYSE LA CONSTITUTION DE CES DOMAINES. L'ETUDE DU RESEAU DES MEREOTOPOLOGIES A PERMIS DE METTRE EN EVIDENCE LES LIMITES ET LA COMPATIBILITE DES DIFFERENTES MEREOTOPOLOGIES VIS-A-VIS DE L'HYPOTHESE D'ATOMICITE DU DOMAINE, PARTICULIEREMENT PERTINENTE EN INFORMATIQUE. EN CE QUI CONCERNE LES ASPECTS CONSTRUCTIFS, ON A CONSIDERE LA POSSIBILITE D'ETENDRE LES MEREOTOPOLOGIES AVEC DES CONCEPTS GEOMETRIQUES. ON A AXIOMATISE LA PRIMITIVE DE CONGRUENCE DANS LE DOMAINE UNIDIMENSIONNEL DU TEMPS ET DANS LES DOMAINES SPATIAUX BASES SUR DES ENTITES DE FORME SPECIFIQUE (PARALLELEPIPEDES ET SPHERES).

Notices d'autorité liées

Autres identifiants

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

Equivalent dans un autre référentiel

... Références liées : ...