Mathematical representation for the rule of the production rule system Drools

dc.contributor.authorPouzat, Amiel
dc.contributor.departmentChalmers tekniska högskola / Institutionen för matematiska vetenskapersv
dc.contributor.departmentChalmers University of Technology / Department of Mathematical Sciencesen
dc.date.accessioned2019-07-05T11:52:29Z
dc.date.available2019-07-05T11:52:29Z
dc.date.issued2019
dc.description.abstractComputational science is a source of many technological paradigms as declarative programming. Declarative programming is used in industries that want to reach optimal processing. Drools is a rule engine allowing this declarative programming. For classical programs (imperative programming), many verifying programs exist tocheckthebehavioroftheseprograms,dependingonlyonthecode. Foraprogram based on declarative programming, the technics of verification are not common. This thesis purposes a mathematical representation for the rule of the business rule management system: Drools. This representation is used to define two main errors for a set of rules: overlap and subsumption. Then, a presentation of the program developed is done.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/256766
dc.language.isoeng
dc.setspec.uppsokPhysicsChemistryMaths
dc.subjectMatematik
dc.subjectMathematics
dc.titleMathematical representation for the rule of the production rule system Drools
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeEngineering mathematics and computational science (MPENM), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Hämtar...
Bild (thumbnail)
Namn:
256766.pdf
Storlek:
514.91 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext