Matches in SemOpenAlex for { <https://semopenalex.org/work/W2217229779> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2217229779 abstract "The verification of Knowledge Base Systems (KBSs) used in the engineering industry should be a vital part of the KBS life-cycle. However the operation of KBS is often found to be, at best, ineffective and at worst wrong. As a result increased maintenance costs are experienced. Although it is not possible to absolutely guarantee that a KBS is error free we can gain confidence in its operation using verification tools. Here we describe the IMVER (Incidence Matrix VERification) system, a system for verying rule-bases associated with KBSs. As the name suggests the system is based on the concept of incidence matrices, a technique where by the number of propositions occurring in individual rules within a rule-base can be represented using a matrix. Essentially the system takes, as input, a rule-base, converts this into an incidence matrix, checks for anomalies and errors and produces a commentary as output. The current version of the system checks for redundancy, subsumption and inconsistency. As a result these anomalies can be put right, thus leading to an enhanced degree of confidence that can be placed on the system when delivered to the end user as well as a corresponding decrease in future maintenance costs. Transactions on Information and Communications Technologies vol 2, © 1993 WIT Press, www.witpress.com, ISSN 1743-3517 248 Artificial Intelligence in Engineering" @default.
- W2217229779 created "2016-06-24" @default.
- W2217229779 creator A5036426264 @default.
- W2217229779 creator A5045414673 @default.
- W2217229779 creator A5073606016 @default.
- W2217229779 date "1970-01-01" @default.
- W2217229779 modified "2023-09-24" @default.
- W2217229779 title "Verification Of Rule-bases Using IncidenceMatrices: The IMVER System" @default.
- W2217229779 doi "https://doi.org/10.2495/aieng930192" @default.
- W2217229779 hasPublicationYear "1970" @default.
- W2217229779 type Work @default.
- W2217229779 sameAs 2217229779 @default.
- W2217229779 citedByCount "1" @default.
- W2217229779 crossrefType "journal-article" @default.
- W2217229779 hasAuthorship W2217229779A5036426264 @default.
- W2217229779 hasAuthorship W2217229779A5045414673 @default.
- W2217229779 hasAuthorship W2217229779A5073606016 @default.
- W2217229779 hasConcept C106487976 @default.
- W2217229779 hasConcept C111919701 @default.
- W2217229779 hasConcept C124101348 @default.
- W2217229779 hasConcept C127413603 @default.
- W2217229779 hasConcept C134306372 @default.
- W2217229779 hasConcept C152124472 @default.
- W2217229779 hasConcept C154945302 @default.
- W2217229779 hasConcept C159985019 @default.
- W2217229779 hasConcept C192562407 @default.
- W2217229779 hasConcept C200601418 @default.
- W2217229779 hasConcept C33923547 @default.
- W2217229779 hasConcept C41008148 @default.
- W2217229779 hasConcept C42058472 @default.
- W2217229779 hasConcept C4554734 @default.
- W2217229779 hasConceptScore W2217229779C106487976 @default.
- W2217229779 hasConceptScore W2217229779C111919701 @default.
- W2217229779 hasConceptScore W2217229779C124101348 @default.
- W2217229779 hasConceptScore W2217229779C127413603 @default.
- W2217229779 hasConceptScore W2217229779C134306372 @default.
- W2217229779 hasConceptScore W2217229779C152124472 @default.
- W2217229779 hasConceptScore W2217229779C154945302 @default.
- W2217229779 hasConceptScore W2217229779C159985019 @default.
- W2217229779 hasConceptScore W2217229779C192562407 @default.
- W2217229779 hasConceptScore W2217229779C200601418 @default.
- W2217229779 hasConceptScore W2217229779C33923547 @default.
- W2217229779 hasConceptScore W2217229779C41008148 @default.
- W2217229779 hasConceptScore W2217229779C42058472 @default.
- W2217229779 hasConceptScore W2217229779C4554734 @default.
- W2217229779 hasLocation W22172297791 @default.
- W2217229779 hasOpenAccess W2217229779 @default.
- W2217229779 hasPrimaryLocation W22172297791 @default.
- W2217229779 hasRelatedWork W102093691 @default.
- W2217229779 hasRelatedWork W147844697 @default.
- W2217229779 hasRelatedWork W1539082303 @default.
- W2217229779 hasRelatedWork W1596422410 @default.
- W2217229779 hasRelatedWork W2007274184 @default.
- W2217229779 hasRelatedWork W2046465357 @default.
- W2217229779 hasRelatedWork W2051197057 @default.
- W2217229779 hasRelatedWork W2067342076 @default.
- W2217229779 hasRelatedWork W2079364869 @default.
- W2217229779 hasRelatedWork W2087744861 @default.
- W2217229779 hasRelatedWork W2101481789 @default.
- W2217229779 hasRelatedWork W2109060907 @default.
- W2217229779 hasRelatedWork W2289178312 @default.
- W2217229779 hasRelatedWork W2802404092 @default.
- W2217229779 hasRelatedWork W66752414 @default.
- W2217229779 hasRelatedWork W73922149 @default.
- W2217229779 hasRelatedWork W2402693642 @default.
- W2217229779 hasRelatedWork W266741044 @default.
- W2217229779 hasRelatedWork W2876219128 @default.
- W2217229779 hasRelatedWork W3074972851 @default.
- W2217229779 hasVolume "2" @default.
- W2217229779 isParatext "false" @default.
- W2217229779 isRetracted "false" @default.
- W2217229779 magId "2217229779" @default.
- W2217229779 workType "article" @default.