Logique de la détermination d'objets : concepts de base et mathématisation en vue d'une modélisation-objet

par Anca Vaetus

Thèse de doctorat en Informatique

Sous la direction de Jean-Pierre Desclès.

Soutenue en 2001

à Paris 4 .


  • Résumé

    L'utilisation des modélisations-objets pour représenter a connu un important développement en informatique. Cette évolution provoque un regain d'intérêt pour la notion d'objet dans le domaine de la logique. Dans ce travail nous proposons une nouvelle approche de cette notion s'appuyant sur la Logique de la Détermination d'Objets (LDO). La LDO est un système de catégorisation comprenant une théorie de la quantification. Du point de vue formel, la LDO est une logique applicative typée dans le sens de Curry. Il s'agit d'une contribution théorique à la notion d'objet par une nouvelle approche logique constructive, fondée sur l'opération de détermination. Cette logique rend compte des problèmes cognitifs et déductifs rencontrés par l'héritage de propriétés par des objets typiques et atypiques. La quantification de la LDO prend en compte la typicalité. Notre travail présente notamment le système conceptuel de la LDO, sa formalisation comme logique applicative, le système d'opérateurs de quantification, une sémantique en termes de classes d'objets et une comparaison entre la LDO et les réseaux sémantiques. Ce travail représente les bases conceptuelles et la mathématisation d'une logique applicable à la modélisation-objet.

  • Titre traduit

    Object determination logic : basic concepts and mathematical model for an object-modeling


  • Résumé

    The use of object-modelling for knowledge representation has been an important development in artificial intelligence. This evolution has provoked a recrudescence of interest for the notion of object in logic. . .

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (324 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : 165 réf.

Où se trouve cette thèse ?

  • Bibliothèque : École nationale d'ingénieurs. Centre de ressources documentaires.
  • Disponible pour le PEB
  • Cote : 003 VAE
  • Bibliothèque : Université de Paris-Sorbonne Paris 4. Service commun de la documentation. Bibliothèque Serpente.
  • Consultable sur place dans l'établissement demandeur
  • Cote : BUT 5035

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Bibliothèque interuniversitaire de la Sorbonne (Paris).
  • Non disponible pour le PEB
  • Cote : MC 5174
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.