Tuesday, October 27, 2009

Drools "Where do we go from here" - presented at ORF09

I just delivered my presentation that gives a glimpse into the dark and scary regions of my head, where all the crazy ideas live. It was a hard presentation to write and deliver, as many of the ideas I have no solutions for yet and hadn't tried to formally explain them before other than in a light hearted conversation over a beer. So suddenly when I actually had to formalise the explanations I realised why no one understands me and their eyes gloss over most of the time when I discuss this stuff :)

Where do we go from here
pdf
odp

Topics
  • Syntax Improvements
  • "else"
  • "otherwise"
  • Logical closures
  • Logical modify
  • Duration, repetition and cron
  • Execution groups
  • MVCC and Transactions
  • POSL - Positional and Slotted Language
  • Federated querries
  • Truth Maintenance System
  • Semantics
  • Sequencing
  • Composition
  • Auditing
  • Backward chaining / Lazy Fact / Field initialisation.
  • Uncertaintity

9 comments:

  1. Awesome stuff Mark and great presentation today - I'm really excited about the uncertainty reasoning capabilities in being able to factor in probabilistic rules and fuzzy logic.

    ReplyDelete
  2. i'd add a better model navigation to the wishlist.

    e.g. person.pets[0].age instead of person.getPets().get(0).age

    ReplyDelete
  3. We already do "person.pets[0].age", the java version is what we had to do many versions ago. What we don't do yet is method calls, unless they are in an eval.

    ReplyDelete
  4. What about these?
    - true modify
    - accumulate speedup (such as real forward chaining of accumulates)

    Because accumulates are a huge bottleneck in the stateful sessions of drools-solver use cases.

    ReplyDelete
  5. Without the speech it is a bit hard to tell, but logical closures might be something really useful to drool-solver use cases.
    Is a logical closure a piece of code that is executed when a logical assertion is retracted?

    ReplyDelete
  6. What about these?
    - true modify
    - accumulate speedup (such as real forward chaining of accumulates)

    The talk was on BRE features, not implementation details.

    ReplyDelete
  7. "Is a logical closure a piece of code that is executed when a logical assertion is retracted?"

    yes the closure is executed when the rule stops being true.

    ReplyDelete
  8. Logical closures sound very promising :)

    ReplyDelete
  9. Actually, I'm kind of wondering if there could be some solver-like functionality using the uncertainty reasoning by adjusting certainty degree values.

    ReplyDelete