1994, Vol. I, Núm. 1
http://hdl.handle.net/2099/1491
2024-03-29T13:25:22ZEditorial [ Editor-in-chief presentation]
http://hdl.handle.net/2099/3673
Editorial [ Editor-in-chief presentation]
Jacas Moral, Juan
2007-10-15T10:29:33ZJacas Moral, JuanSugeno's negations and t-norms
http://hdl.handle.net/2099/2438
Sugeno's negations and t-norms
Mayor Forteza, Gaspar
A functional characterization of Sugeno's negations is presented and as a consequence, we study a family of non strict Archimedean t-norms whose (vertical-horizontal) sections are straight lines.
2007-03-02T19:26:16ZMayor Forteza, GasparA functional characterization of Sugeno's negations is presented and as a consequence, we study a family of non strict Archimedean t-norms whose (vertical-horizontal) sections are straight lines.Ovchinnikov's automorphisms revisited
http://hdl.handle.net/2099/2437
Ovchinnikov's automorphisms revisited
Trillas i Gay, Enric; Rodríguez, A.; Cubillo Villanueva, Susana
In [6] an approach to the representation of synonyms and antonyms via the automorphisms of the De Morgan Algebra [0,1] x was suggested. In [3], Ovchinnikov established a representation theorem for automorphisms of the function’s complete and completely distributive lattice [0,1] x with the pointwise extension of Min and max operations on [0,1]. Ovchinnikov’s results are now immediately generalized by using a positive t-norm T and its η-dual t-conorm T*. These results are applied to study the automorphism of [0,1] with different t-norms. Finally, the transformation by means of automorphisms of a given fuzzy on another given fuzzy set is studied.
2007-03-02T19:22:50ZTrillas i Gay, EnricRodríguez, A.Cubillo Villanueva, SusanaIn [6] an approach to the representation of synonyms and antonyms via the automorphisms of the De Morgan Algebra [0,1] x was suggested. In [3], Ovchinnikov established a representation theorem for automorphisms of the function’s complete and completely distributive lattice [0,1] x with the pointwise extension of Min and max operations on [0,1]. Ovchinnikov’s results are now immediately generalized by using a positive t-norm T and its η-dual t-conorm T*. These results are applied to study the automorphism of [0,1] with different t-norms. Finally, the transformation by means of automorphisms of a given fuzzy on another given fuzzy set is studied.Overtaker binary relations on complete completely distributive lattices related to the level sets of the L-fuzzy Sets
http://hdl.handle.net/2099/2436
Overtaker binary relations on complete completely distributive lattices related to the level sets of the L-fuzzy Sets
Nuñez, A.; Burillo López, Pedro; Fuentes-González, Ramón; González Sotos, León
The class of overtaker binary relations associated with the order in a lattice is defined and used to generalize the representations of L-fuzzy sets by means of level sets or fuzzy points.
2007-03-02T19:16:47ZNuñez, A.Burillo López, PedroFuentes-González, RamónGonzález Sotos, LeónThe class of overtaker binary relations associated with the order in a lattice is defined and used to generalize the representations of L-fuzzy sets by means of level sets or fuzzy points.Lukasiewicz logic based Prolog
http://hdl.handle.net/2099/2435
Lukasiewicz logic based Prolog
Klawonn, Frank; Kruse, Rudolf
Prolog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some problems of classical logic to handle imperfect human knowledge, we provide a formal framework for a Lukasiewicz logic based Prolog system. The use of Lukasiewicz logic with its connection to Ulam games enables us to deal with partial inconsistencies by interpreting the truth values as relative distance to contradiction. We also present the software tool LULOG which is based on the theoretical results of this paper and can be seen as a Prolog system for many--valued logic. Applications of LULOG to an Ulam game and an example of reasoning with imperfect knowledge are also discussed.
2007-03-02T18:07:22ZKlawonn, FrankKruse, RudolfProlog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some problems of classical logic to handle imperfect human knowledge, we provide a formal framework for a Lukasiewicz logic based Prolog system. The use of Lukasiewicz logic with its connection to Ulam games enables us to deal with partial inconsistencies by interpreting the truth values as relative distance to contradiction. We also present the software tool LULOG which is based on the theoretical results of this paper and can be seen as a Prolog system for many--valued logic. Applications of LULOG to an Ulam game and an example of reasoning with imperfect knowledge are also discussed.An analysis of MYCIN-like expert systems
http://hdl.handle.net/2099/1834
An analysis of MYCIN-like expert systems
Hajek, Petr; Valdés Ramos, Julio José
The paper is a review of our theoretical analysis of uncertainty processing in a broad class of truth-functional expert systems similar to MYCIN and PROSPECTOR, main attention being paid to parallel combination of rules. Algebraic and probabilistic aspects are stressed. The role of Dempster-Shafer theory is investigated.
2006-06-14T13:34:21ZHajek, PetrValdés Ramos, Julio JoséThe paper is a review of our theoretical analysis of uncertainty processing in a broad class of truth-functional expert systems similar to MYCIN and PROSPECTOR, main attention being paid to parallel combination of rules. Algebraic and probabilistic aspects are stressed. The role of Dempster-Shafer theory is investigated.Fuzzy numbers, definitions and properties
http://hdl.handle.net/2099/1494
Fuzzy numbers, definitions and properties
Delgado Calvo-Flores, Miguel; Verdegay, José Luis; Vila Miranda, María Amparo
Two different definitions of a Fuzzy number may be found in the literature. Both fulfill Goguen's Fuzzification Principle but are different in nature because of their different starting points. The first one was introduced by Zadeh and has well suited arithmetic and algebraic properties. The second one, introduced by Gantner, Steinlage and Warren, is a good and formal representation of the concept from a topological point of view. The objective of this paper is to analyze these definitions and discuss their main features.
2006-05-09T18:25:35ZDelgado Calvo-Flores, MiguelVerdegay, José LuisVila Miranda, María AmparoTwo different definitions of a Fuzzy number may be found in the literature. Both fulfill Goguen's Fuzzification Principle but are different in nature because of their different starting points. The first one was introduced by Zadeh and has well suited arithmetic and algebraic properties. The second one, introduced by Gantner, Steinlage and Warren, is a good and formal representation of the concept from a topological point of view. The objective of this paper is to analyze these definitions and discuss their main features.