FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058200602> ?p ?o ?g. }

• W2058200602 endingPage "424" @default.
• W2058200602 startingPage "399" @default.
• W2058200602 abstract "The consistency of a rule base is an essential issue for rule-based intelligent information processing. Due to the uncertainty inevitably included in the rule base, it is necessary to verify the consistency of the rule base while investigating, designing, and applying a rule-based intelligent system. In the framework of the lattice-valued first-order logic system LF(X), which attempts to handle fuzziness and incomparability, this article focuses on how to verify and increase the consistency degree of the rule base in the intelligent information processing system. First, the representations of eight kinds of rule bases in LF(X) as the generalized clause set forms based on these rule bases' nonredundant generalized Skolem standard forms are presented. Then an α-automated reasoning algorithm in LF(X), also used as an automated simplification algorithm, is proposed. Furthermore, the α-consistency and the α-simplification theories of the rule base in LF(X) are formulated, and especially the coherence between these two theories is proved. Therefore, the verification of the α-consistency of the rule base, often an infinity problem that is difficult to solve, can be transformed into a finite and achievable α-simplification problem. Finally, an α-simplification stepwise search algorithm for verifying the consistency of the rule base as well as a kind of filtering algorithm for increasing the consistency level of the rule base are proposed. © 2006 Wiley Periodicals, Inc. Int J Int Syst 21: 399–424, 2006." @default.
• W2058200602 created "2016-06-24" @default.
• W2058200602 creator A5000575684 @default.
• W2058200602 creator A5055882089 @default.
• W2058200602 creator A5062440004 @default.
• W2058200602 creator A5090989509 @default.
• W2058200602 date "2006-01-01" @default.
• W2058200602 modified "2023-09-23" @default.
• W2058200602 title "On the consistency of rule bases based on lattice-valued first-order logic LF(X)" @default.
• W2058200602 cites W1462211125 @default.
• W2058200602 cites W1515585016 @default.
• W2058200602 cites W1981472242 @default.
• W2058200602 cites W1982303885 @default.
• W2058200602 cites W1985310272 @default.
• W2058200602 cites W1985711444 @default.
• W2058200602 cites W1989486238 @default.
• W2058200602 cites W1996109622 @default.
• W2058200602 cites W1996347293 @default.
• W2058200602 cites W1998363560 @default.
• W2058200602 cites W2000042161 @default.
• W2058200602 cites W2003240077 @default.
• W2058200602 cites W2021801207 @default.
• W2058200602 cites W2022485265 @default.
• W2058200602 cites W2026546083 @default.
• W2058200602 cites W2043057236 @default.
• W2058200602 cites W2049403762 @default.
• W2058200602 cites W2053253502 @default.
• W2058200602 cites W2060482235 @default.
• W2058200602 cites W2069849383 @default.
• W2058200602 cites W2091264425 @default.
• W2058200602 cites W2155322595 @default.
• W2058200602 cites W2161464089 @default.
• W2058200602 cites W2169602487 @default.
• W2058200602 cites W2326418800 @default.
• W2058200602 cites W2894866307 @default.
• W2058200602 cites W2895153536 @default.
• W2058200602 cites W2895181499 @default.
• W2058200602 cites W2945259913 @default.
• W2058200602 cites W3022051813 @default.
• W2058200602 cites W4249538237 @default.
• W2058200602 doi "https://doi.org/10.1002/int.20129" @default.
• W2058200602 hasPublicationYear "2006" @default.
• W2058200602 type Work @default.
• W2058200602 sameAs 2058200602 @default.
• W2058200602 citedByCount "37" @default.
• W2058200602 countsByYear W20582006022012 @default.
• W2058200602 countsByYear W20582006022013 @default.
• W2058200602 countsByYear W20582006022014 @default.
• W2058200602 countsByYear W20582006022015 @default.
• W2058200602 countsByYear W20582006022018 @default.
• W2058200602 countsByYear W20582006022020 @default.
• W2058200602 crossrefType "journal-article" @default.
• W2058200602 hasAuthorship W2058200602A5000575684 @default.
• W2058200602 hasAuthorship W2058200602A5055882089 @default.
• W2058200602 hasAuthorship W2058200602A5062440004 @default.
• W2058200602 hasAuthorship W2058200602A5090989509 @default.
• W2058200602 hasConcept C105795698 @default.
• W2058200602 hasConcept C11413529 @default.
• W2058200602 hasConcept C121332964 @default.
• W2058200602 hasConcept C124101348 @default.
• W2058200602 hasConcept C134306372 @default.
• W2058200602 hasConcept C149271511 @default.
• W2058200602 hasConcept C154945302 @default.
• W2058200602 hasConcept C185429906 @default.
• W2058200602 hasConcept C24890656 @default.
• W2058200602 hasConcept C2776436953 @default.
• W2058200602 hasConcept C2781204021 @default.
• W2058200602 hasConcept C31388003 @default.
• W2058200602 hasConcept C33923547 @default.
• W2058200602 hasConcept C41008148 @default.
• W2058200602 hasConcept C42058472 @default.
• W2058200602 hasConcept C4554734 @default.
• W2058200602 hasConcept C80444323 @default.
• W2058200602 hasConceptScore W2058200602C105795698 @default.
• W2058200602 hasConceptScore W2058200602C11413529 @default.
• W2058200602 hasConceptScore W2058200602C121332964 @default.
• W2058200602 hasConceptScore W2058200602C124101348 @default.
• W2058200602 hasConceptScore W2058200602C134306372 @default.
• W2058200602 hasConceptScore W2058200602C149271511 @default.
• W2058200602 hasConceptScore W2058200602C154945302 @default.
• W2058200602 hasConceptScore W2058200602C185429906 @default.
• W2058200602 hasConceptScore W2058200602C24890656 @default.
• W2058200602 hasConceptScore W2058200602C2776436953 @default.
• W2058200602 hasConceptScore W2058200602C2781204021 @default.
• W2058200602 hasConceptScore W2058200602C31388003 @default.
• W2058200602 hasConceptScore W2058200602C33923547 @default.
• W2058200602 hasConceptScore W2058200602C41008148 @default.
• W2058200602 hasConceptScore W2058200602C42058472 @default.
• W2058200602 hasConceptScore W2058200602C4554734 @default.
• W2058200602 hasConceptScore W2058200602C80444323 @default.
• W2058200602 hasIssue "4" @default.
• W2058200602 hasLocation W20582006021 @default.
• W2058200602 hasOpenAccess W2058200602 @default.
• W2058200602 hasPrimaryLocation W20582006021 @default.
• W2058200602 hasRelatedWork W100144571 @default.
• W2058200602 hasRelatedWork W1850639582 @default.
• W2058200602 hasRelatedWork W186061991 @default.
• W2058200602 hasRelatedWork W2013258735 @default.

• next