3 ms·

> is Prolog a good language for doing statistics or ML or scientific computing? Not really, but the interesting thing about Prolog is ILP (inductive logic prog

by trott 5y ago

> is Prolog a good language for doing statistics or ML or scientific computing? Not really, but the interesting thing about Prolog is ILP (inductive logic programming). ILP does things current deep learning can not: learning compact models, in a data-efficient manner, while utilizing explicit background knowledge. It has its own limitations though, related to noise tolerance, scalability and efficiency.

YeGoblynQueenne 5y ago
It is true that these were problems with ILP. But, have a look at the Top Program Construction paper: https://arxiv.org/abs/2101.05050 https://arxiv.org/abs/2101.05050 The experiments section shows one example of learning a program with a few thousand clauses and one example of learning with classification noise (i.e. misclassified examples), all in polynomial time and without "magic parameters" to overcome noise. P.S. Er, actually I'm the corresponding author of that paper so eh, take my comment with a grain of salt as usual when researchers promote their research...
- rscho 5y ago
  I am very interested by ILP for some medical meta research, e.g. learning clinical guidelines (= care pathway for a particular condition) from papers on a topic. Do you think the current state of the art makes that possible? Would you be interested in such a thing (am european academic MD)? There would be a lot of noise, but there are big databases where the conclusions of clinical papers are already in predicate form.
  - YeGoblynQueenne 5y ago
    >> There would be a lot of noise, but there are big databases where the conclusions of clinical papers are already in predicate form. What, really? Well in that case, that's ideal. To clarify: yes, it's very very possible with the current state of the art. If you had unstructured text you'd have to do a lot of leg work to put it into a structured form, but if it's already in some kind of formal er form, then that's perfect. I am interested, but I'm on the final year of my PhD and about to start on my thesis (I have a second paper to submit in May 1st, then it's thesis writing time after that). Which means I don't know exactly how much I can justify other work. But I would be definitely interested to demonstrate a real-world application of the system described in the paper I link to above. Or, if you're more interested in a different system, I can at least advise you how to use it. Would you like to get in touch using the email in my profile? I trust you'll know how to use vim :-)
- zvr 5y ago
  Loved the Thelma and Louise connection!

by trott 5y ago

YeGoblynQueenne 5y ago

It is true that these were problems with ILP. But, have a look at the Top Program Construction paper: https://arxiv.org/abs/2101.05050 https://arxiv.org/abs/2101.05050 The experiments section shows one example of learning a program with a few thousand clauses and one example of learning with classification noise (i.e. misclassified examples), all in polynomial time and without "magic parameters" to overcome noise. P.S. Er, actually I'm the corresponding author of that paper so eh, take my comment with a grain of salt as usual when researchers promote their research...

rscho 5y ago
I am very interested by ILP for some medical meta research, e.g. learning clinical guidelines (= care pathway for a particular condition) from papers on a topic. Do you think the current state of the art makes that possible? Would you be interested in such a thing (am european academic MD)? There would be a lot of noise, but there are big databases where the conclusions of clinical papers are already in predicate form.
- YeGoblynQueenne 5y ago
  >> There would be a lot of noise, but there are big databases where the conclusions of clinical papers are already in predicate form. What, really? Well in that case, that's ideal. To clarify: yes, it's very very possible with the current state of the art. If you had unstructured text you'd have to do a lot of leg work to put it into a structured form, but if it's already in some kind of formal er form, then that's perfect. I am interested, but I'm on the final year of my PhD and about to start on my thesis (I have a second paper to submit in May 1st, then it's thesis writing time after that). Which means I don't know exactly how much I can justify other work. But I would be definitely interested to demonstrate a real-world application of the system described in the paper I link to above. Or, if you're more interested in a different system, I can at least advise you how to use it. Would you like to get in touch using the email in my profile? I trust you'll know how to use vim :-)
zvr 5y ago
Loved the Thelma and Louise connection!