Mathematical representation for the rule of the production rule system Drools

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/256766
Download file(s):
File Description SizeFormat 
256766.pdfFulltext514.91 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Mathematical representation for the rule of the production rule system Drools
Authors: Pouzat, Amiel
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.
Keywords: Matematik;Mathematics
Issue Date: 2019
Publisher: Chalmers tekniska högskola / Institutionen för matematiska vetenskaper
Chalmers University of Technology / Department of Mathematical Sciences
URI: https://hdl.handle.net/20.500.12380/256766
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.