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 herepdfodpTopics- 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
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.
ReplyDeletei'd add a better model navigation to the wishlist.
ReplyDeletee.g. person.pets[0].age instead of person.getPets().get(0).age
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.
ReplyDeleteWhat about these?
ReplyDelete- 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.
Without the speech it is a bit hard to tell, but logical closures might be something really useful to drool-solver use cases.
ReplyDeleteIs a logical closure a piece of code that is executed when a logical assertion is retracted?
What about these?
ReplyDelete- true modify
- accumulate speedup (such as real forward chaining of accumulates)
The talk was on BRE features, not implementation details.
"Is a logical closure a piece of code that is executed when a logical assertion is retracted?"
ReplyDeleteyes the closure is executed when the rule stops being true.
Logical closures sound very promising :)
ReplyDeleteActually, I'm kind of wondering if there could be some solver-like functionality using the uncertainty reasoning by adjusting certainty degree values.
ReplyDelete