|
Fuzzy Mathematics
Fuzzy mathematics is the branch of mathematics including fuzzy set theory and fuzzy logic that deals with partial inclusion of elements in a set on a spectrum, as opposed to simple binary "yes" or "no" (0 or 1) inclusion. It started in 1965 after the publication of Lotfi Asker Zadeh's seminal work ''Fuzzy sets''. Linguistics is an example of a field that utilizes fuzzy set theory. Definition A ''fuzzy subset'' ''A'' of a set ''X'' is a function ''A'': ''X'' → ''L'', where ''L'' is the interval , 1 This function is also called a membership function. A membership function is a generalization of an indicator function (also called a characteristic function) of a subset defined for ''L'' = . More generally, one can use any complete lattice ''L'' in a definition of a fuzzy subset ''A''. Fuzzification The evolution of the fuzzification of mathematical concepts can be broken down into three stages: :# straightforward fuzzification during the sixties and seventies, :# th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Binary Operation
In mathematics, a binary operation or dyadic operation is a rule for combining two elements (called operands) to produce another element. More formally, a binary operation is an operation of arity two. More specifically, a binary operation on a set is a binary function that maps every pair of elements of the set to an element of the set. Examples include the familiar arithmetic operations like addition, subtraction, multiplication, set operations like union, complement, intersection. Other examples are readily found in different areas of mathematics, such as vector addition, matrix multiplication, and conjugation in groups. A binary function that involves several sets is sometimes also called a ''binary operation''. For example, scalar multiplication of vector spaces takes a scalar and a vector to produce a vector, and scalar product takes two vectors to produce a scalar. Binary operations are the keystone of most structures that are studied in algebra, in parti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Scholarpedia
''Scholarpedia'' is an English-language wiki-based online encyclopedia with features commonly associated with Open access (publishing), open-access online academic journals, which aims to have quality content in science and medicine. ''Scholarpedia'' articles are written by invited or approved expert authors and are subject to peer review. ''Scholarpedia'' lists the real names and affiliations of all authors, curators and editors involved in an article: however, the peer review process (which can suggest changes or additions, and has to be satisfied before an article can appear) is anonymous. ''Scholarpedia'' articles are stored in an online repository, and can be citation, cited as conventional journal articles (''Scholarpedia'' has the ISSN number ). ''Scholarpedia''s citation system includes support for revision numbers. The project was created in February 2006 by Eugene M. Izhikevich, while he was a researcher at the Neurosciences Institute, San Diego, California. Izhikevich ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
T-norm
In mathematics, a t-norm (also T-norm or, unabbreviated, triangular norm) is a kind of binary operation used in the framework of probabilistic metric spaces and in multi-valued logic, specifically in fuzzy logic. A t-norm generalizes intersection (set theory), intersection in a lattice (order), lattice and logical conjunction, conjunction in logic. The name ''triangular norm'' refers to the fact that in the framework of probabilistic metric spaces t-norms are used to generalize the triangle inequality of ordinary metric spaces. Definition A t-norm is a function (mathematics), function T: [0, 1] × [0, 1] → [0, 1] that satisfies the following properties: * Commutativity: T(''a'', ''b'') = T(''b'', ''a'') * Monotonicity: T(''a'', ''b'') ≤ T(''c'', ''d'') if ''a'' ≤ ''c'' and ''b'' ≤ ''d'' * Associativity: T(''a'', T(''b'', ''c'')) = T(T(''a'', ''b''), ''c'') * The number 1 acts as identity element: T(''a'', 1) = ''a'' Since a t-norm is a binary operatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Possibility Theory
Possibility theory is a mathematical theory for dealing with certain types of uncertainty and is an alternative to probability theory. It uses measures of possibility and necessity between 0 and 1, ranging from impossible to possible and unnecessary to necessary, respectively. Professor Lotfi Zadeh first introduced possibility theory in 1978 as an extension of his theory of fuzzy sets and fuzzy logic. Didier Dubois (mathematician), Didier Dubois and Henri Prade further contributed to its development. Earlier, in the 1950s, economist G. L. S. Shackle proposed the min/max algebra to describe degrees of potential surprise. Formalization of possibility For simplicity, assume that the universe of discourse Ω is a finite set. A possibility measure is a function \Pi from 2^\Omega to [0, 1] such that: :Axiom 1: \Pi(\varnothing) = 0 :Axiom 2: \Pi(\Omega) = 1 :Axiom 3: \Pi(U \cup V) = \max \left( \Pi(U), \Pi(V) \right) for any disjoint sets, disjoint subsets U and V.Dubois, D.; Prad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Monoidal T-norm Logic
In mathematical logic, monoidal t-norm based logic (or shortly MTL), the logic of left-continuous t-norms, is one of the t-norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;Ono (2003). it extends the logic of commutative bounded integral residuated lattices (known as Höhle's monoidal logic, Ono's FLew, or intuitionistic logic without contraction) by the axiom of prelinearity. Motivation In fuzzy logic, rather than regarding statements as being either true or false, we associate each statement with a numerical ''confidence'' in that statement. By convention the confidences range over the unit interval ,1/math>, where the maximal confidence 1 corresponds to the classical concept of true and the minimal confidence 0 corresponds to the classical concept of false. T-norms are binary functions on the real unit interval , 1that in fuzzy logic are often used to represent a conjunction connective; if a,b \in ,1/math> ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Fuzzy Subalgebra
Fuzzy subalgebras theory is a chapter of fuzzy set theory. It is obtained from an interpretation in a multi-valued logic of axioms usually expressing the notion of subalgebra of a given algebraic structure. Definition Consider a first order language for algebraic structures with a Unary operator, monadic predicate symbol S. Then a ''fuzzy subalgebra'' is a fuzzy model of a theory containing, for any ''n''-ary operation h, the axioms \forall x_1, ..., \forall x_n (S(x_1) \land ..... \land S(x_n) \rightarrow S(h(x_1, ..., x_n)) and, for any constant c, S(c). The first axiom expresses the closure of S with respect to the operation h, and the second expresses the fact that c is an element in S. As an example, assume that the valuation structure is defined in [0,1] and denote by \odot the operation in [0,1] used to interpret the conjunction. Then a fuzzy subalgebra of an algebraic structure whose domain is D is defined by a fuzzy subset of D such that, for every d1,...,dn in D, i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Fuzzy Measure Theory
In mathematics, fuzzy measure theory considers generalized measures in which the additive property is replaced by the weaker property of monotonicity. The central concept of fuzzy measure theory is the fuzzy measure (also ''capacity'', see ), which was introduced by Choquet in 1953 and independently defined by Sugeno in 1974 in the context of fuzzy integrals. There exists a number of different classes of fuzzy measures including plausibility/belief measures, possibility/necessity measures, and probability measures, which are a subset of classical measures. Definitions Let \mathbf be a universe of discourse, \mathcal be a class of subsets of \mathbf, and E,F\in\mathcal. A function g:\mathcal\to\mathbb where # \emptyset \in \mathcal \Rightarrow g(\emptyset)=0 # E \subseteq F \Rightarrow g(E)\leq g(F) is called a ''fuzzy measure''. A fuzzy measure is called ''normalized'' or ''regular'' if g(\mathbf)=1. Properties of fuzzy measures A fuzzy measure is: * additive if for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Inform
Inform is a programming language and design system for interactive fiction originally created in 1993 by Graham Nelson. Inform can generate programs designed for the Z-machine, Z-code or Glulx virtual machines. Versions 1 through 5 were released between 1993 and 1996. Around 1996, Nelson rewrote Inform from first principles to create version 6 (or Inform 6). Over the following decade, version 6 became reasonably stable and a popular language for writing interactive fiction. In 2006, Nelson released Inform 7 (briefly known as Natural Inform), a completely new language Natural language programming, based on principles of natural language and a new set of tools based around a book-publishing metaphor. Z-Machine and Glulx The Inform compilers translate Inform code to story files for Glulx or Z-machine, Z-code, two virtual machines designed specifically for interactive fiction. Glulx, which can support larger games, is the default. The Z-machine was originally developed by Infocom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Liu Yingming
Liu Yingming (; 8 October 1940 – 15 July 2016) was a Chinese mathematician. He was an academician of the Chinese Academy of Sciences (CAS). Biography Liu graduated from Peking University in 1963, majoring in mathematics. He was assigned to Sichuan University after his graduation. His research field was topology and fuzzy mathematics, mainly in the algebra problem of unclear topology, embedded theory and nonclear convex sets. Liu was the deputy president of Sichuan University between 1989 and 2005. He was elected an academician of the Chinese Academy of Sciences in 1995. Liu joined Jiusan Society in 1995. He was the vice chairman of the central committee of Jiusan Society from 1997 to 2007. Liu was diagnosed as leukemia in November 2015. He died on 15 July 2016 at the age of 75 in Chengdu Chengdu; Sichuanese dialects, Sichuanese pronunciation: , Standard Chinese pronunciation: ; Chinese postal romanization, previously Romanization of Chinese, romanized as Chengtu. is t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Transitive Relation
In mathematics, a binary relation on a set (mathematics), set is transitive if, for all elements , , in , whenever relates to and to , then also relates to . Every partial order and every equivalence relation is transitive. For example, less than and equality (mathematics), equality among real numbers are both transitive: If and then ; and if and then . Definition A homogeneous relation on the set is a ''transitive relation'' if, :for all , if and , then . Or in terms of first-order logic: :\forall a,b,c \in X: (aRb \wedge bRc) \Rightarrow aRc, where is the infix notation for . Examples As a non-mathematical example, the relation "is an ancestor of" is transitive. For example, if Amy is an ancestor of Becky, and Becky is an ancestor of Carrie, then Amy is also an ancestor of Carrie. On the other hand, "is the birth mother of" is not a transitive relation, because if Alice is the birth mother of Brenda, and Brenda is the birth mother of Claire, then it does ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set with an Binary operation, operation that combines any two elements of the set to produce a third element within the same set and the following conditions must hold: the operation is Associative property, associative, it has an identity element, and every element of the set has an inverse element. For example, the integers with the addition, addition operation form a group. The concept of a group was elaborated for handling, in a unified way, many mathematical structures such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry, groups arise naturally in the study of symmetries and geometric transformations: The symmetries of an object form a group, called the symmetry group of the object, and the transformations of a given type form a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |