Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285280108> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4285280108 endingPage "5543" @default.
- W4285280108 startingPage "5534" @default.
- W4285280108 abstract "In this sequel to our previous article (Cordero <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>et al.</i> , 2020) on general inference systems for reasoning with if–then dependencies, we study transformations of if–then rules to semantically equivalent collections of if–then rules suitable to solve several problems related to reasoning with data dependencies. We work in a framework of general lattice-based if–then rules whose semantics is parameterized by systems of isotone Galois connections. This framework allows us to obtain theoretical insight as well as algorithms on a general level and observe their special cases by choosing various types of parameterizations. This way, we study methods for automated reasoning with different types of if–then rules in a single framework that covers existing as well as novel types of rules. Our approach supports a large family of if–then rules, including fuzzy if–then rules with various types of semantics. The main results in this article include new observations on the syntactic inference of if–then rules, complete collections of rules, reduced normal forms of collections of rules, and automated reasoning methods. We demonstrate the generality of the framework and the results by examples of their particular cases focusing on fuzzy if–then rules." @default.
- W4285280108 created "2022-07-14" @default.
- W4285280108 creator A5019589936 @default.
- W4285280108 creator A5021844036 @default.
- W4285280108 creator A5039917096 @default.
- W4285280108 creator A5044022589 @default.
- W4285280108 date "2022-12-01" @default.
- W4285280108 modified "2023-10-16" @default.
- W4285280108 title "Parameterized Simplification Logic: Reasoning With Implications in an Automated Way" @default.
- W4285280108 cites W1711140305 @default.
- W4285280108 cites W2011103514 @default.
- W4285280108 cites W2050815550 @default.
- W4285280108 cites W2093397547 @default.
- W4285280108 cites W2135105491 @default.
- W4285280108 cites W2165467455 @default.
- W4285280108 cites W2202489923 @default.
- W4285280108 cites W2475315881 @default.
- W4285280108 cites W253023745 @default.
- W4285280108 cites W2576294068 @default.
- W4285280108 cites W2963301870 @default.
- W4285280108 cites W2998574808 @default.
- W4285280108 cites W3094020677 @default.
- W4285280108 cites W4249816584 @default.
- W4285280108 cites W4254931243 @default.
- W4285280108 doi "https://doi.org/10.1109/tfuzz.2022.3179847" @default.
- W4285280108 hasPublicationYear "2022" @default.
- W4285280108 type Work @default.
- W4285280108 citedByCount "0" @default.
- W4285280108 crossrefType "journal-article" @default.
- W4285280108 hasAuthorship W4285280108A5019589936 @default.
- W4285280108 hasAuthorship W4285280108A5021844036 @default.
- W4285280108 hasAuthorship W4285280108A5039917096 @default.
- W4285280108 hasAuthorship W4285280108A5044022589 @default.
- W4285280108 hasConcept C11413529 @default.
- W4285280108 hasConcept C154945302 @default.
- W4285280108 hasConcept C15744967 @default.
- W4285280108 hasConcept C161301231 @default.
- W4285280108 hasConcept C165464430 @default.
- W4285280108 hasConcept C184337299 @default.
- W4285280108 hasConcept C195344581 @default.
- W4285280108 hasConcept C199360897 @default.
- W4285280108 hasConcept C2776214188 @default.
- W4285280108 hasConcept C2780767217 @default.
- W4285280108 hasConcept C37335422 @default.
- W4285280108 hasConcept C3746660 @default.
- W4285280108 hasConcept C41008148 @default.
- W4285280108 hasConcept C542102704 @default.
- W4285280108 hasConcept C58166 @default.
- W4285280108 hasConcept C80444323 @default.
- W4285280108 hasConceptScore W4285280108C11413529 @default.
- W4285280108 hasConceptScore W4285280108C154945302 @default.
- W4285280108 hasConceptScore W4285280108C15744967 @default.
- W4285280108 hasConceptScore W4285280108C161301231 @default.
- W4285280108 hasConceptScore W4285280108C165464430 @default.
- W4285280108 hasConceptScore W4285280108C184337299 @default.
- W4285280108 hasConceptScore W4285280108C195344581 @default.
- W4285280108 hasConceptScore W4285280108C199360897 @default.
- W4285280108 hasConceptScore W4285280108C2776214188 @default.
- W4285280108 hasConceptScore W4285280108C2780767217 @default.
- W4285280108 hasConceptScore W4285280108C37335422 @default.
- W4285280108 hasConceptScore W4285280108C3746660 @default.
- W4285280108 hasConceptScore W4285280108C41008148 @default.
- W4285280108 hasConceptScore W4285280108C542102704 @default.
- W4285280108 hasConceptScore W4285280108C58166 @default.
- W4285280108 hasConceptScore W4285280108C80444323 @default.
- W4285280108 hasFunder F4320311265 @default.
- W4285280108 hasFunder F4320326754 @default.
- W4285280108 hasFunder F4320335322 @default.
- W4285280108 hasIssue "12" @default.
- W4285280108 hasLocation W42852801081 @default.
- W4285280108 hasOpenAccess W4285280108 @default.
- W4285280108 hasPrimaryLocation W42852801081 @default.
- W4285280108 hasRelatedWork W1882099319 @default.
- W4285280108 hasRelatedWork W1973753505 @default.
- W4285280108 hasRelatedWork W2020754590 @default.
- W4285280108 hasRelatedWork W2109210471 @default.
- W4285280108 hasRelatedWork W2122769564 @default.
- W4285280108 hasRelatedWork W2154889763 @default.
- W4285280108 hasRelatedWork W2189146041 @default.
- W4285280108 hasRelatedWork W4285280108 @default.
- W4285280108 hasRelatedWork W4313583399 @default.
- W4285280108 hasRelatedWork W89978542 @default.
- W4285280108 hasVolume "30" @default.
- W4285280108 isParatext "false" @default.
- W4285280108 isRetracted "false" @default.
- W4285280108 workType "article" @default.