Matches in SemOpenAlex for { <https://semopenalex.org/work/W69726784> ?p ?o ?g. }
- W69726784 abstract "It is well-known that t-norms are widely applicable in certain models, which describe human reasoning about uncertainty, and that for different applications, different t-norms fit better. Thus, given a practical problem, it is important to be able to find a t-norm which is the most suitable for that particular problem. To solve such optimization problems, it would be desirable to know the structure of the class of all possible t-norms. Toward this – probably unreachable – goal there are many interesting open problems. If the corresponding mathematical problems are expressed in terms of quantifiers and logical connectives, then we get formulas which are very similar to formulas about real numbers. A. Tarski has proved that there is a deciding algorithm – i.e., an algorithm that, given a formula for real numbers, decides whether it is true or not – for real numbers. So, the natural question is whether we can extend Tarski’s algorithm to a class of mathematical statements about tnorms? The answer is “no”: once we allow quantifiers over t-norms, no deciding algorithm exists. In this sense, in general, the analysis of the mathematical properties of t-norms is logically non-trivial. 1 Formulation of the Problem T-norms are practically important. The traditional two-valued logic is well suited for describing statements about which we are 100% sure. Very often, however, we have to supplement this absolute knowledge with expert knowledge. Experts are rarely 100% confident in their rules and recommendations; at best, for each statement, they can provide their degree of confidence in this statement. Usually, this degree is described either by a linguistic term or by a number from the interval [0,1]: 1 means full confidence, 0 means no confidence, and values in between describe partial confidence." @default.
- W69726784 created "2016-06-24" @default.
- W69726784 creator A5038339107 @default.
- W69726784 creator A5040035817 @default.
- W69726784 creator A5054093948 @default.
- W69726784 creator A5077163917 @default.
- W69726784 date "2007-01-01" @default.
- W69726784 modified "2023-09-24" @default.
- W69726784 title "The Mathematical Analysis of T-Norms is Logically Non-Trivial" @default.
- W69726784 cites W132977877 @default.
- W69726784 cites W1522991784 @default.
- W69726784 cites W1547294591 @default.
- W69726784 cites W1553142094 @default.
- W69726784 cites W1572450310 @default.
- W69726784 cites W1602067282 @default.
- W69726784 cites W1898259180 @default.
- W69726784 cites W1974837780 @default.
- W69726784 cites W1994516786 @default.
- W69726784 cites W2006918089 @default.
- W69726784 cites W2012189264 @default.
- W69726784 cites W2013702670 @default.
- W69726784 cites W2016056788 @default.
- W69726784 cites W2034375464 @default.
- W69726784 cites W2057066113 @default.
- W69726784 cites W2096478770 @default.
- W69726784 cites W2105505307 @default.
- W69726784 cites W2128949314 @default.
- W69726784 cites W2135853161 @default.
- W69726784 cites W2164429865 @default.
- W69726784 cites W2206012437 @default.
- W69726784 cites W2318268489 @default.
- W69726784 cites W2977904728 @default.
- W69726784 cites W3213572188 @default.
- W69726784 hasPublicationYear "2007" @default.
- W69726784 type Work @default.
- W69726784 sameAs 69726784 @default.
- W69726784 citedByCount "0" @default.
- W69726784 crossrefType "journal-article" @default.
- W69726784 hasAuthorship W69726784A5038339107 @default.
- W69726784 hasAuthorship W69726784A5040035817 @default.
- W69726784 hasAuthorship W69726784A5054093948 @default.
- W69726784 hasAuthorship W69726784A5077163917 @default.
- W69726784 hasConcept C111472728 @default.
- W69726784 hasConcept C11413529 @default.
- W69726784 hasConcept C118615104 @default.
- W69726784 hasConcept C138885662 @default.
- W69726784 hasConcept C154945302 @default.
- W69726784 hasConcept C184264201 @default.
- W69726784 hasConcept C191795146 @default.
- W69726784 hasConcept C199343813 @default.
- W69726784 hasConcept C2777026412 @default.
- W69726784 hasConcept C2777212361 @default.
- W69726784 hasConcept C2777686260 @default.
- W69726784 hasConcept C33923547 @default.
- W69726784 hasConcept C41008148 @default.
- W69726784 hasConcept C47884741 @default.
- W69726784 hasConcept C71924100 @default.
- W69726784 hasConcept C80444323 @default.
- W69726784 hasConceptScore W69726784C111472728 @default.
- W69726784 hasConceptScore W69726784C11413529 @default.
- W69726784 hasConceptScore W69726784C118615104 @default.
- W69726784 hasConceptScore W69726784C138885662 @default.
- W69726784 hasConceptScore W69726784C154945302 @default.
- W69726784 hasConceptScore W69726784C184264201 @default.
- W69726784 hasConceptScore W69726784C191795146 @default.
- W69726784 hasConceptScore W69726784C199343813 @default.
- W69726784 hasConceptScore W69726784C2777026412 @default.
- W69726784 hasConceptScore W69726784C2777212361 @default.
- W69726784 hasConceptScore W69726784C2777686260 @default.
- W69726784 hasConceptScore W69726784C33923547 @default.
- W69726784 hasConceptScore W69726784C41008148 @default.
- W69726784 hasConceptScore W69726784C47884741 @default.
- W69726784 hasConceptScore W69726784C71924100 @default.
- W69726784 hasConceptScore W69726784C80444323 @default.
- W69726784 hasLocation W697267841 @default.
- W69726784 hasOpenAccess W69726784 @default.
- W69726784 hasPrimaryLocation W697267841 @default.
- W69726784 hasRelatedWork W1544548277 @default.
- W69726784 hasRelatedWork W1564451094 @default.
- W69726784 hasRelatedWork W2055092188 @default.
- W69726784 hasRelatedWork W2063388831 @default.
- W69726784 hasRelatedWork W2074085132 @default.
- W69726784 hasRelatedWork W2081160992 @default.
- W69726784 hasRelatedWork W2081879714 @default.
- W69726784 hasRelatedWork W2092632874 @default.
- W69726784 hasRelatedWork W2110669040 @default.
- W69726784 hasRelatedWork W2144137312 @default.
- W69726784 hasRelatedWork W2272010510 @default.
- W69726784 hasRelatedWork W2317849285 @default.
- W69726784 hasRelatedWork W2472603585 @default.
- W69726784 hasRelatedWork W2484248629 @default.
- W69726784 hasRelatedWork W2489087942 @default.
- W69726784 hasRelatedWork W253191695 @default.
- W69726784 hasRelatedWork W2555395610 @default.
- W69726784 hasRelatedWork W2802032455 @default.
- W69726784 hasRelatedWork W2899314369 @default.
- W69726784 hasRelatedWork W3138295768 @default.
- W69726784 isParatext "false" @default.
- W69726784 isRetracted "false" @default.
- W69726784 magId "69726784" @default.