Matches in SemOpenAlex for { <https://semopenalex.org/work/W1604996931> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1604996931 abstract "The resolution principle based on reduction and absurdum is extended from binary logic to fuzzy logic. The extension is dependent on introducing the concepts of fuzzy contradictory, contradictory degree, fuzzy resolvent, and confidence of resolvent. The concept of fuzzy resolvent is first interpreted, as it is the most important concept and is the basis of fuzzy resolution. Then the fuzzy resolution principle is considered for fuzzy propositional logic and extended to the fuzzy firs-order logic. The completeness of the fuzzy resolution principle is proved. The fuzzy resolution principle has been used as the basis of a powerful fuzzy Prolog system. >" @default.
- W1604996931 created "2016-06-24" @default.
- W1604996931 creator A5029955504 @default.
- W1604996931 creator A5035875969 @default.
- W1604996931 creator A5042511683 @default.
- W1604996931 date "2003-01-06" @default.
- W1604996931 modified "2023-09-25" @default.
- W1604996931 title "Fuzzy resolution principle" @default.
- W1604996931 cites W1530765221 @default.
- W1604996931 cites W2072203301 @default.
- W1604996931 cites W2100738443 @default.
- W1604996931 cites W2160645305 @default.
- W1604996931 doi "https://doi.org/10.1109/ismvl.1988.5176" @default.
- W1604996931 hasPublicationYear "2003" @default.
- W1604996931 type Work @default.
- W1604996931 sameAs 1604996931 @default.
- W1604996931 citedByCount "36" @default.
- W1604996931 countsByYear W16049969312012 @default.
- W1604996931 countsByYear W16049969312013 @default.
- W1604996931 countsByYear W16049969312014 @default.
- W1604996931 countsByYear W16049969312016 @default.
- W1604996931 countsByYear W16049969312017 @default.
- W1604996931 countsByYear W16049969312021 @default.
- W1604996931 crossrefType "proceedings-article" @default.
- W1604996931 hasAuthorship W1604996931A5029955504 @default.
- W1604996931 hasAuthorship W1604996931A5035875969 @default.
- W1604996931 hasAuthorship W1604996931A5042511683 @default.
- W1604996931 hasConcept C11413529 @default.
- W1604996931 hasConcept C115740575 @default.
- W1604996931 hasConcept C127385683 @default.
- W1604996931 hasConcept C144170203 @default.
- W1604996931 hasConcept C148671577 @default.
- W1604996931 hasConcept C154945302 @default.
- W1604996931 hasConcept C170260401 @default.
- W1604996931 hasConcept C17350324 @default.
- W1604996931 hasConcept C1883856 @default.
- W1604996931 hasConcept C33923547 @default.
- W1604996931 hasConcept C41008148 @default.
- W1604996931 hasConcept C42011625 @default.
- W1604996931 hasConcept C58166 @default.
- W1604996931 hasConceptScore W1604996931C11413529 @default.
- W1604996931 hasConceptScore W1604996931C115740575 @default.
- W1604996931 hasConceptScore W1604996931C127385683 @default.
- W1604996931 hasConceptScore W1604996931C144170203 @default.
- W1604996931 hasConceptScore W1604996931C148671577 @default.
- W1604996931 hasConceptScore W1604996931C154945302 @default.
- W1604996931 hasConceptScore W1604996931C170260401 @default.
- W1604996931 hasConceptScore W1604996931C17350324 @default.
- W1604996931 hasConceptScore W1604996931C1883856 @default.
- W1604996931 hasConceptScore W1604996931C33923547 @default.
- W1604996931 hasConceptScore W1604996931C41008148 @default.
- W1604996931 hasConceptScore W1604996931C42011625 @default.
- W1604996931 hasConceptScore W1604996931C58166 @default.
- W1604996931 hasLocation W16049969311 @default.
- W1604996931 hasOpenAccess W1604996931 @default.
- W1604996931 hasPrimaryLocation W16049969311 @default.
- W1604996931 hasRelatedWork W122588048 @default.
- W1604996931 hasRelatedWork W1566211337 @default.
- W1604996931 hasRelatedWork W1898259180 @default.
- W1604996931 hasRelatedWork W1969882757 @default.
- W1604996931 hasRelatedWork W1984723670 @default.
- W1604996931 hasRelatedWork W1998442174 @default.
- W1604996931 hasRelatedWork W2019950953 @default.
- W1604996931 hasRelatedWork W2051422801 @default.
- W1604996931 hasRelatedWork W2063238431 @default.
- W1604996931 hasRelatedWork W2065881354 @default.
- W1604996931 hasRelatedWork W2072203301 @default.
- W1604996931 hasRelatedWork W2100738443 @default.
- W1604996931 hasRelatedWork W2116352772 @default.
- W1604996931 hasRelatedWork W2117053569 @default.
- W1604996931 hasRelatedWork W2157041604 @default.
- W1604996931 hasRelatedWork W2304649815 @default.
- W1604996931 hasRelatedWork W2545169154 @default.
- W1604996931 hasRelatedWork W2912565176 @default.
- W1604996931 hasRelatedWork W615011212 @default.
- W1604996931 hasRelatedWork W772218301 @default.
- W1604996931 isParatext "false" @default.
- W1604996931 isRetracted "false" @default.
- W1604996931 magId "1604996931" @default.
- W1604996931 workType "article" @default.