3 ms·
It's part of "good old fashioned AI". It allows a program to reason logically about the world and create a plan that will get you from your initial state (eg. "
by ced 10y ago
It's part of "good old fashioned AI". It allows a program to reason logically about the world and create a plan that will get you from your initial state (eg. "I'm hungry") to some desired end state ("Not hungry"). I don't know if it's actually used in industry much, because the generality of logical reasoning makes it slow, and specialized algorithms often perform better.
As far as AI research goes, its main problem is that it can't handle uncertainty, which is why it's not all that popular anymore.
- adamnemecek 10y agoSo I'm not an expert on this but I actually think that this can generalize beyond AI. I think that to some extent this can be applied e.g. to reactive programming since, just like reactive, it reifies events. Idk if this view really brings anything new to the table though.
- scaramanga 10y agoThese kind of models can be extended with some sort of dempster-shafer or broadly bayesian model of belief. Typically iterated belief revision is used to update the plausibility/credibility of statements in the system or something like that. http://www.frontiersinai.com/ecai/ecai2004/ecai04/pdf/p0823.pdf http://www.frontiersinai.com/ecai/ecai2004/ecai04/pdf/p0823.... off the top of my head.
- cscurmudgeon 10y agoThere is quite a bit of work on representing uncertainty in the Event Calculus.
- ced 10y agoOh, I'm sure there is, but it's hard to do without also losing the nice properties of the purely logical formulation, and AFAIK that's the main reason why these approaches are not more popular. If you have a link to an interesting take on it, please share!