@Meaningness The point is well-made. I'm more optimistic than you about how much can be answered by combining probability and logic.
-
-
Replying to @abramdemski
@abramdemski Well I’m definitely very interested to see how it will progress. Really surprised there’s no unified formalism, and tempted >1 reply 0 retweets 1 like -
Replying to @Meaningness
@abramdemski to try and work one out, or else show why it’s impossible.2 replies 0 retweets 1 like -
Replying to @Meaningness
@Meaningness I keep meaning to come back to this, and now realize it's been the larger part of a year :p1 reply 0 retweets 0 likes -
Replying to @abramdemski
@Meaningness I'm a coathor on this preprint: http://arxiv.org/abs/1510.03370 but there's a revised version now, which I could email you1 reply 0 retweets 2 likes -
Replying to @abramdemski
@abramdemski Thanks! To be honest, it’s probably more technical than I would want to read at the moment. Glad you are working on it though!3 replies 0 retweets 0 likes -
Replying to @Meaningness
Alright, you *have* to look at this one, I insist! Big result, good non-technical summary included.https://intelligence.org/2016/09/12/new-paper-logical-induction/ …
1 reply 0 retweets 1 like -
Replying to @abramdemski
Unconvinced there’s a big result. “The logical induction algorithm that we provide is theoretical rather than practical.”
2 replies 0 retweets 1 like -
Replying to @Meaningness @abramdemski
Apparently no relevance to AI (yet, anyway). Might be interesting as a result in mathematical logic; dunno.
1 reply 0 retweets 0 likes -
Replying to @Meaningness @abramdemski
Note it doesn’t address the epistemological issues I discussed in https://meaningness.com/probability-and-logic … because it’s all P(φ); no mixing.
3 replies 0 retweets 0 likes
I’d be interested if there are specific cases in which it can actually do something useful in a realistic amount of time.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.