Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079247905> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2079247905 abstract "Methods for verification and validation of expert systems are important activities for assuring the quality of these systems. The research in this area is related to three main criteria, by analysing the consistency, completeness, and correctness of the knowledge base associated to an expert system. This paper aims to study the consistency of a rule base associated to a rule-based system with forward chaining by modeling the rule base using the Event-B method. The Event-B language was chosen for two reasons: (a) Event-B uses a mathematical language that can be used to prove the consistency of a modeled system, and (b) because it is a tool-supported formal specification language, which uses the Rodin platform, an Eclipse-based IDE for Event-B. An example related to the CLIPS expert system is provided in the paper." @default.
- W2079247905 created "2016-06-24" @default.
- W2079247905 creator A5004297417 @default.
- W2079247905 creator A5051003008 @default.
- W2079247905 date "2015-09-02" @default.
- W2079247905 modified "2023-10-12" @default.
- W2079247905 title "Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining" @default.
- W2079247905 cites W1489503486 @default.
- W2079247905 cites W1554683232 @default.
- W2079247905 cites W1757522552 @default.
- W2079247905 cites W1883612199 @default.
- W2079247905 cites W1976479780 @default.
- W2079247905 cites W1981311312 @default.
- W2079247905 cites W2003724611 @default.
- W2079247905 cites W2012899205 @default.
- W2079247905 cites W2031111226 @default.
- W2079247905 cites W2075762626 @default.
- W2079247905 cites W2087358015 @default.
- W2079247905 cites W2131423065 @default.
- W2079247905 cites W2167243488 @default.
- W2079247905 doi "https://doi.org/10.1145/2801081.2801101" @default.
- W2079247905 hasPublicationYear "2015" @default.
- W2079247905 type Work @default.
- W2079247905 sameAs 2079247905 @default.
- W2079247905 citedByCount "1" @default.
- W2079247905 countsByYear W20792479052015 @default.
- W2079247905 crossrefType "proceedings-article" @default.
- W2079247905 hasAuthorship W2079247905A5004297417 @default.
- W2079247905 hasAuthorship W2079247905A5051003008 @default.
- W2079247905 hasConcept C121332964 @default.
- W2079247905 hasConcept C129916263 @default.
- W2079247905 hasConcept C134306372 @default.
- W2079247905 hasConcept C142614401 @default.
- W2079247905 hasConcept C149271511 @default.
- W2079247905 hasConcept C154945302 @default.
- W2079247905 hasConcept C15744967 @default.
- W2079247905 hasConcept C2779662365 @default.
- W2079247905 hasConcept C33923547 @default.
- W2079247905 hasConcept C41008148 @default.
- W2079247905 hasConcept C42058472 @default.
- W2079247905 hasConcept C46743427 @default.
- W2079247905 hasConcept C49020025 @default.
- W2079247905 hasConcept C542102704 @default.
- W2079247905 hasConcept C58328972 @default.
- W2079247905 hasConcept C62520636 @default.
- W2079247905 hasConceptScore W2079247905C121332964 @default.
- W2079247905 hasConceptScore W2079247905C129916263 @default.
- W2079247905 hasConceptScore W2079247905C134306372 @default.
- W2079247905 hasConceptScore W2079247905C142614401 @default.
- W2079247905 hasConceptScore W2079247905C149271511 @default.
- W2079247905 hasConceptScore W2079247905C154945302 @default.
- W2079247905 hasConceptScore W2079247905C15744967 @default.
- W2079247905 hasConceptScore W2079247905C2779662365 @default.
- W2079247905 hasConceptScore W2079247905C33923547 @default.
- W2079247905 hasConceptScore W2079247905C41008148 @default.
- W2079247905 hasConceptScore W2079247905C42058472 @default.
- W2079247905 hasConceptScore W2079247905C46743427 @default.
- W2079247905 hasConceptScore W2079247905C49020025 @default.
- W2079247905 hasConceptScore W2079247905C542102704 @default.
- W2079247905 hasConceptScore W2079247905C58328972 @default.
- W2079247905 hasConceptScore W2079247905C62520636 @default.
- W2079247905 hasLocation W20792479051 @default.
- W2079247905 hasOpenAccess W2079247905 @default.
- W2079247905 hasPrimaryLocation W20792479051 @default.
- W2079247905 hasRelatedWork W116324441 @default.
- W2079247905 hasRelatedWork W1539135858 @default.
- W2079247905 hasRelatedWork W1947487028 @default.
- W2079247905 hasRelatedWork W2019588900 @default.
- W2079247905 hasRelatedWork W2074160174 @default.
- W2079247905 hasRelatedWork W2474533749 @default.
- W2079247905 hasRelatedWork W4238377877 @default.
- W2079247905 hasRelatedWork W1859234693 @default.
- W2079247905 hasRelatedWork W2462730403 @default.
- W2079247905 hasRelatedWork W2740716035 @default.
- W2079247905 isParatext "false" @default.
- W2079247905 isRetracted "false" @default.
- W2079247905 magId "2079247905" @default.
- W2079247905 workType "article" @default.