On Mon, Nov 8, 2021 at 8:15 PM Douglas Miles <[email protected]> wrote:
>> > It would be nice to allow Prolog programs to be ran and maintained as >> > Atomeese and vice versa >> >> and that is kind-of harder. One possibility is that prolog programs >> could be converted into URE rules, but the URE was designed for >> probabilistic inference, and so would run slowly for crisp-logic >> prolog. > > I'll try to restate the problem I think you are pointing out: Normally > lightning fast prolog programs are fast because they are leveraging > crisp-logic but will run slower because they would now have to compute > probability at each step? Uh, it's more complicated. If you want to compute with probabilities, then, at each step, you have to explore both possibilities: the "true" branch with probability p and the "false" step with probability 1-p. After N steps, you have to have explored 2^N cases. The combinatorics kills you. (The "real-life" formulas are not just p and 1-p, but something more complicated. Running those formulas each step adds to the system complexity and run-time.) The URE was designed to handle the combinatorics. It's not optimized for crisp logic. The pattern engine, however, does do a crisp-logic walk.It was not originally designed to be recursive, but it does seem capable of that. No one has really explored that. I have "more demos" on my todo list. It's a graph walker, not a SAT solver, so I'm not sure how to compare performance. > I have 3 prolog programs that I was considering trying to convert to > URE/Atomeese: > > One is the ALEPH-like (an inductive reasoner) that computes/guesses new rules > that recreates the data observed (high-level sensory data or whatever) > called LPS-ALEPH Doing this well is, of course, the holy grail of AI if not quite AGI. > What I am imagining is making my system more socially acceptable to > OpenCogers by having these (three) programs exist and run as Atomeese instead > of prolog. Heh. Well it's not exactly like we've got a deep bench of users here. One way to attract users is to use your system to solve some "important problem". There are other ways, too (like having good documentation and easy-to-use API's. And then there's the marketing angle. But I digress....) I could do some spare-time prolog-like hacking, just to see how that might go like. I would need regular encouragement, though. And I don't have much spare time. Actually approximately zero, but whatever. --linas -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAHrUA34w3YBMaLpFANVnfVNB7fQj-iVn1dDoD%3DJGgqJ7Xcm8jA%40mail.gmail.com.
