LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Languages: French
Types: Article
Subjects: Intelligence artificielle, Logique du premier ordre, Treillis, Ordre, Fusion, Classification, Conjonctions de propriétés, Analyse formelle de concepts, 000, Artificial intelligence, First order logic, Lattice, Order, Merging, Classification, Conjunctions of properties, Formal Concept Analysis
Dans cette thèse, nous nous intéressons aux formalismes de représentation et de manipulation de la connaissance dans des sytèmes nécessitant une représentation symbolique d'une réalité observée. Nous examinons plus particulièrement deux types de traitement de l'information : la fusion et la classification. Nous montrons le besoin d'un otuil algébrique pour structurer la connaissance. Puis nous nous penchons sur les structures de treillis et mettons en évidence leur adéquation pour caractériser un résultat de fusion. En nous fondant sur l'algèbre des treillis et la logique des prédicats nous construisons le modèle des cubes. Celui-ci définit, dans une optique mathématique, une théorie homogène pour la manipulation des conjonctions de propriétés. Le processus d'enrichissement du modèle est relancé par l'introduction des contraintes. Après un développement théorique conséquent la structure de treillis est retrouvée pour le modèle des cubes contraints. Celui-ci permet une représentation équilibrée des connaissances selon une composante logique et une composante numérique traduite par des intervalles. Parallèlement, les situations de fusion posent la question du choix des objets à fusionner. Nous nous intéressons à l'Analyse Formelle de Concepts qui permet de regrouper et structurer des objets en fonction de leur propriétés. Nous étendons cet outil formel pour prendre en compte une caractérisation des objets de la situation grâce à des cubes ou à des cubes contraints. This thesis focuses on knowledge representation techniques for systems that aim at building a symbolic representation of what is going on in an observed environment. Tools tor fusion and classification are especially studied. The approach relies on the lattice structures which allow knowledge to be ordered and the Fusion result to be characterized. The lattice algebra and first order logic allow us to build the cube model which mathematicallydefines a unified theory ‘for handling conjunctions of properties. The model is extended to the processing of numerical constraints. The lattice structure of the constrained cube rnodel combines alogical representation of knowledge with a numerical characterization of parameters. ln the context of object clustering from their properties, Formal Concept Analysis is studied and generalized, thanks to a description of objects by cubes or constrained cubes.
  • No references.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article