Problème aux limitesEn analyse, un problème aux limites est constitué d'une équation différentielle (ou plus généralement aux dérivées partielles) dont on recherche une solution prenant de plus des valeurs imposées en des limites du domaine de résolution. Contrairement au problème analogue dit de Cauchy, où une ou plusieurs conditions en un même endroit sont imposées (typiquement la valeur de la solution et de ses dérivées successives en un point), auquel le théorème de Cauchy-Lipschitz apporte une réponse générale, les problèmes aux limites sont souvent des problèmes difficiles, et dont la résolution peut à chaque fois conduire à des considérations différentes.
Condition aux limites de NeumannEn mathématiques, une condition aux limites de Neumann (nommée d'après Carl Neumann) est imposée à une équation différentielle ou à une équation aux dérivées partielles lorsque l'on spécifie les valeurs des dérivées que la solution doit vérifier sur les frontières/limites du domaine. Pour une équation différentielle, par exemple : la condition aux limites de Neumann sur l'intervalle s'exprime par : où et sont deux nombres donnés.
Type-2 fuzzy sets and systemsType-2 fuzzy sets and systems generalize standard Type-1 fuzzy sets and systems so that more uncertainty can be handled. From the beginning of fuzzy sets, criticism was made about the fact that the membership function of a type-1 fuzzy set has no uncertainty associated with it, something that seems to contradict the word fuzzy, since that word has the connotation of much uncertainty. So, what does one do when there is uncertainty about the value of the membership function? The answer to this question was provided in 1975 by the inventor of fuzzy sets, Lotfi A.
Logique de ŁukasiewiczEn mathématique, la logique de Łukasiewicz est une logique polyvalente, non-classique. Elle a été définie à l'origine au début du par Jan Łukasiewicz comme une logique ternaire; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre. La version א0-valeur a été publié en 1930 par Łukasiewicz et Alfred Tarski; par conséquent, elle est parfois appelé la logique de Łukasiewicz-Tarski.
Neuro-fuzzyIn the field of artificial intelligence, the designation neuro-fuzzy refers to combinations of artificial neural networks and fuzzy logic. Neuro-fuzzy hybridization results in a hybrid intelligent system that combines the human-like reasoning style of fuzzy systems with the learning and connectionist structure of neural networks. Neuro-fuzzy hybridization is widely termed as fuzzy neural network (FNN) or neuro-fuzzy system (NFS) in the literature.
VaguenessIn linguistics and philosophy, a vague predicate is one which gives rise to borderline cases. For example, the English adjective "tall" is vague since it is not clearly true or false for someone of middling height. By contrast, the word "prime" is not vague since every number is definitively either prime or not. Vagueness is commonly diagnosed by a predicate's ability to give rise to the Sorites paradox. Vagueness is separate from ambiguity, in which an expression has multiple denotations.
Lotfi ZadehLotfi Aliasker Zadeh (en azerbaïdjanais : Lütfəli Rəhimoğlu Əsgərzadə), né le à Bakou (Union soviétique) et mort le à Berkeley, est un mathématicien, informaticien, ingénieur en électricité, chercheur en intelligence artificielle et professeur émérite en informatique iranien qui a travaillé à l'université de Californie à Berkeley. Né (Azeri) de père turc d’iran et de mère russe, il grandit en Iran et a étudié à l'université de Téhéran avant de rejoindre les États-Unis où il poursuit ses études au MIT et à l'université Columbia.
Principe de bivalenceLe principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente. Le principe de bivalence énonce que quelque chose est soit vrai, soit faux. Quelle que soit la proposition p, p est soit vraie, soit fausse. Le principe de bivalence rend les deux valeurs de vérité que sont le vrai et le faux conjointement exhaustifs.
Théorème de Vaschy-BuckinghamEn mathématiques, le théorème de Vaschy-Buckingham, ou théorème Pi, est un des théorèmes de base de l'analyse dimensionnelle. Ce théorème établit que si une équation physique met en jeu n variables physiques, celles-ci dépendant de k unités fondamentales, alors il existe une équation équivalente mettant en jeu variables sans dimension construites à partir des variables originelles. Bien que nommé d'après les physiciens Aimé Vaschy et Edgar Buckingham, ce théorème a d'abord été démontré par le mathématicien français Joseph Bertrand en 1878.
T-norm fuzzy logicsT-norm fuzzy logics are a family of non-classical logics, informally delimited by having a semantics that takes the real unit interval [0, 1] for the system of truth values and functions called t-norms for permissible interpretations of conjunction. They are mainly used in applied fuzzy logic and fuzzy set theory as a theoretical basis for approximate reasoning. T-norm fuzzy logics belong in broader classes of fuzzy logics and many-valued logics.
