| http://dbpedia.org/ontology/abstract
|
Lógicas difusas de T-norma são uma família … Lógicas difusas de T-norma são uma família de lógicas não clássicas, informalmente delimitada por ter uma semântica que toma o intervalo da unidade real de [0, 1] para o sistema de valores verdade e de funções chamadas de para possíveis interpretações de conjunção lógica. Elas são usadas principalmente em lógica difusa aplicada e teorias de conjuntos difusos como uma base teórica para o raciocínio aproximado. As famílias de lógica difusa de t-norma fazem parte de classes mais amplas de lógica difusa e de lógica multivalorada. A fim de gerar uma implicação bem comportada, as t-normas geralmente são necessárias que sejam funções contínuas; lógicas de t-norma de função continua pertencem à classe de lógica subestrutural, entre os quais estão assinalados com a validade da lei da pré-linearidade, (A → B) ∨ (B → A). Tanto as lógicas difusas de t-norma proposicional e de primeira ordem (ou de ordem superior), bem como suas expansões por operador modal e outros operadores, são estudados. Lógicas que restringem a semântica de t-norma a um subconjunto do intervalo de unidade real (por exemplo, Lógicas de Łukasiewicz finitamente valorizadas) são normalmente incluídos na classe. Exemplos importantes de lógicas difusas de t-norma são as lógicas monoidais de t-norma (MTL) de todas t-normas de função contínua à esquerda, de todas t-normas contínuas, produto de lógica difusa do produto de t-normas, ou o nilpotent mínimum logic da t-norma nilpotent mínima. Algunas lógicas motivadas independentemente pertencem à lógica difusa de t-norma também, como por exemplo a lógica de Łukasiewicz (que é a lógica da t-norma Łukasiewicz) ou a lógica de Gödel–Dummett (que é a lógica da t-norma mínima).ummett (que é a lógica da t-norma mínima).
, T-norm fuzzy logics are a family of non-cl … T-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. In order to generate a well-behaved implication, the t-norms are usually required to be left-continuous; logics of left-continuous t-norms further belong in the class of substructural logics, among which they are marked with the validity of the law of prelinearity, (A → B) ∨ (B → A). Both propositional and first-order (or higher-order) t-norm fuzzy logics, as well as their expansions by modal and other operators, are studied. Logics that restrict the t-norm semantics to a subset of the real unit interval (for example, finitely valued Łukasiewicz logics) are usually included in the class as well. Important examples of t-norm fuzzy logics are monoidal t-norm logic MTL of all left-continuous t-norms, basic logic BL of all continuous t-norms, product fuzzy logic of the product t-norm, or the of the nilpotent minimum t-norm. Some independently motivated logics belong among t-norm fuzzy logics, too, for example Łukasiewicz logic (which is the logic of the Łukasiewicz t-norm) or Gödel–Dummett logic (which is the logic of the minimum t-norm).which is the logic of the minimum t-norm).
|
| http://dbpedia.org/ontology/wikiPageID
|
13727501
|
| http://dbpedia.org/ontology/wikiPageLength
|
21972
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1088972822
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Petr_H%C3%A1jek +
, http://dbpedia.org/resource/BL_%28logic%29 +
, http://dbpedia.org/resource/Meet_%28mathematics%29 +
, http://dbpedia.org/resource/Real_number +
, http://dbpedia.org/resource/Completeness_%28logic%29 +
, http://dbpedia.org/resource/Basic_fuzzy_logic +
, http://dbpedia.org/resource/Modal_operator +
, http://dbpedia.org/resource/Residuated_lattice +
, http://dbpedia.org/resource/Logical_conjunction +
, http://dbpedia.org/resource/Idempotence +
, http://dbpedia.org/resource/Propositional_variable +
, http://dbpedia.org/resource/Soundness_theorem +
, http://dbpedia.org/resource/Countable +
, http://dbpedia.org/resource/Logical_implication +
, http://dbpedia.org/resource/Involution_%28mathematics%29 +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Truth_value +
, http://dbpedia.org/resource/%C5%81ukasiewicz_logic +
, http://dbpedia.org/resource/T-norm +
, http://dbpedia.org/resource/Monoidal_t-norm_logic +
, http://dbpedia.org/resource/Truth-functional +
, http://dbpedia.org/resource/Unary_operation +
, http://dbpedia.org/resource/Well-formed_formula +
, http://dbpedia.org/resource/Product_fuzzy_logic +
, http://dbpedia.org/resource/Jan_%C5%81ukasiewicz +
, http://dbpedia.org/resource/G%C3%B6del +
, http://dbpedia.org/resource/Category:Fuzzy_logic +
, http://dbpedia.org/resource/Fuzzy_set +
, http://dbpedia.org/resource/Left-continuous +
, http://dbpedia.org/resource/Nilpotent_minimum_logic +
, http://dbpedia.org/resource/Three-valued_logic +
, http://dbpedia.org/resource/Algebraic_structure +
, http://dbpedia.org/resource/Michael_Dummett +
, http://dbpedia.org/resource/Propositional_logic +
, http://dbpedia.org/resource/Total_order +
, http://dbpedia.org/resource/Propositional_formula +
, http://dbpedia.org/resource/Semantics +
, http://dbpedia.org/resource/%C5%81%CE%A0 +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Many-valued_logic +
, http://dbpedia.org/resource/Arity +
, http://dbpedia.org/resource/Algebraic_semantics_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Non-classical_logic +
, http://dbpedia.org/resource/Deduction_theorem +
, http://dbpedia.org/resource/Quantifier_%28logic%29 +
, http://dbpedia.org/resource/Substructural_logic +
, http://dbpedia.org/resource/Join_%28mathematics%29 +
, http://dbpedia.org/resource/Truth_table +
, http://dbpedia.org/resource/Atomic_formula +
, http://dbpedia.org/resource/Intermediate_logic +
, http://dbpedia.org/resource/Computational_complexity +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Fuzzy_logic +
, http://dbpedia.org/resource/Nullary +
, http://dbpedia.org/resource/Modus_ponens +
, http://dbpedia.org/resource/Tautology_%28logic%29 +
, http://dbpedia.org/resource/Higher-order_logic +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Isbn +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Fuzzy_logic +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Family +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/T-norm_fuzzy_logics?oldid=1088972822&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/T-norm_fuzzy_logics +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q7667918 +
, http://rdf.freebase.com/ns/m.03cgdzp +
, https://global.dbpedia.org/id/4vjTt +
, http://dbpedia.org/resource/T-norm_fuzzy_logics +
, http://pt.dbpedia.org/resource/L%C3%B3gicas_difusas_de_T-norma +
|
| rdfs:comment |
Lógicas difusas de T-norma são uma família … Lógicas difusas de T-norma são uma família de lógicas não clássicas, informalmente delimitada por ter uma semântica que toma o intervalo da unidade real de [0, 1] para o sistema de valores verdade e de funções chamadas de para possíveis interpretações de conjunção lógica. Elas são usadas principalmente em lógica difusa aplicada e teorias de conjuntos difusos como uma base teórica para o raciocínio aproximado.base teórica para o raciocínio aproximado.
, T-norm fuzzy logics are a family of non-cl … T-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.eoretical basis for approximate reasoning.
|
| rdfs:label |
T-norm fuzzy logics
, Lógicas difusas de T-norma
|
