Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
Sabah, Menani Merad
Directeur de thèse
Paul, Rhodes (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
A theory for a fuzzy logic programming system
Mots clés
Système de programmation logique floue : Théorie.
Résumé
The aim of the work is to develop a genral purpose theorem prover for a first order fuzzy logic that includes all features of fuzzy logic i.e. fuzzy predicates, terms, quantifiers, modifiers and all three types of qualifiers.
Date de soutenance
1991
Cote
004D/04
Pagination
225 f.
Illusatration
tabl.
Format
30 cm
Notes
Bibliogr. f.214
Statut
Soutenue