4 ms·

I was mostly imagining legacy banking systems are the main use-cases for stuff like this, and was a little surprised to see Apache adopted Drools in 2023[1]. I

I was mostly imagining legacy banking systems are the main use-cases for stuff like this, and was a little surprised to see Apache adopted Drools in 2023[1]. In case anyone might be able to answer.. What are some of the biggest rule systems deployed in the wild, and are any of them recent? Since it seems like this is mostly about first order logic.. do any of these rule-engines actually out perform all the modern work on SMT solvers and other theorem-provers? Same question for this more probabilistic Rete-OO flavor.. isn't there already some faster and more generic engine available that handles this kind of thing as a special case? [1] https://en.wikipedia.org/wiki/Drools#Drools_in_Apache_Kie https://en.wikipedia.org/wiki/Drools#Drools_in_Apache_Kie [2] https://en.wikipedia.org/wiki/Rete_algorithm#Rete-OO https://en.wikipedia.org/wiki/Rete_algorithm#Rete-OO

belter 2y ago
Rules engines are massively used in Credit Scoring, Claims Processing and Insurance Policy Writing. That is not where you would use a SMT Solver. You have plenty of business cases here by FICO, the market leader: https://www.fico.com/en/customers https://www.fico.com/en/customers Also IBM is pretty strong in this area: https://www.ibm.com/products/operational-decision-manager https://www.ibm.com/products/operational-decision-manager
7373737373 2y ago
I'm pretty sure the part of the Magic the Gathering game engine that implements the card rules uses something like it: https://magic.wizards.com/en/news/mtg-arena/on-whiteboards-naps-and-living-breakthrough https://magic.wizards.com/en/news/mtg-arena/on-whiteboards-n...
wisemang 2y ago
Not recent but the cybersecurity company Rapid7 uses a Java implementation called JESS (Java Expert System Shell) within their vulnerability management product to help determine vulnerable / unpatched state of scanned assets. https://www.rapid7.com/blog/post/2013/11/01/vulnerability-management-and-expert-systems/ https://www.rapid7.com/blog/post/2013/11/01/vulnerability-ma...
dmofp 2y ago
The Rete algorithm is at the core of FICO's commercial rule engine (Blaze Advisor) and Blaze Advisor is used heavily in Insurance, Finance, Tax / Revenue Management etc. More than a decade after i used it last, recruiters still randomly call out of the blue for short to medium term contracts using Blaze Advisor.

belter 2y ago

Rules engines are massively used in Credit Scoring, Claims Processing and Insurance Policy Writing. That is not where you would use a SMT Solver. You have plenty of business cases here by FICO, the market leader: https://www.fico.com/en/customers https://www.fico.com/en/customers Also IBM is pretty strong in this area: https://www.ibm.com/products/operational-decision-manager https://www.ibm.com/products/operational-decision-manager

7373737373 2y ago

I'm pretty sure the part of the Magic the Gathering game engine that implements the card rules uses something like it: https://magic.wizards.com/en/news/mtg-arena/on-whiteboards-naps-and-living-breakthrough https://magic.wizards.com/en/news/mtg-arena/on-whiteboards-n...

wisemang 2y ago

Not recent but the cybersecurity company Rapid7 uses a Java implementation called JESS (Java Expert System Shell) within their vulnerability management product to help determine vulnerable / unpatched state of scanned assets. https://www.rapid7.com/blog/post/2013/11/01/vulnerability-management-and-expert-systems/ https://www.rapid7.com/blog/post/2013/11/01/vulnerability-ma...

dmofp 2y ago

The Rete algorithm is at the core of FICO's commercial rule engine (Blaze Advisor) and Blaze Advisor is used heavily in Insurance, Finance, Tax / Revenue Management etc. More than a decade after i used it last, recruiters still randomly call out of the blue for short to medium term contracts using Blaze Advisor.