Mathematical representation for the rule of the production rule system Drools
dc.contributor.author | Pouzat, Amiel | |
dc.contributor.department | Chalmers tekniska högskola / Institutionen för matematiska vetenskaper | sv |
dc.contributor.department | Chalmers University of Technology / Department of Mathematical Sciences | en |
dc.date.accessioned | 2019-07-05T11:52:29Z | |
dc.date.available | 2019-07-05T11:52:29Z | |
dc.date.issued | 2019 | |
dc.description.abstract | Computational 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.uri | https://hdl.handle.net/20.500.12380/256766 | |
dc.language.iso | eng | |
dc.setspec.uppsok | PhysicsChemistryMaths | |
dc.subject | Matematik | |
dc.subject | Mathematics | |
dc.title | Mathematical representation for the rule of the production rule system Drools | |
dc.type.degree | Examensarbete för masterexamen | sv |
dc.type.degree | Master Thesis | en |
dc.type.uppsok | H | |
local.programme | Engineering mathematics and computational science (MPENM), MSc |
Ladda ner
Original bundle
1 - 1 av 1
Hämtar...
- Namn:
- 256766.pdf
- Storlek:
- 514.91 KB
- Format:
- Adobe Portable Document Format
- Beskrivning:
- Fulltext