On 12/2/21 18:09, Linas Vepstas wrote:
> NARS in it's earliest conception was a paper by Pei Wang that described
> formulas for reasoning, not unlike the PLN formulas, but differing in
> details. Part of the vision for URE was to allow NARS (or other kinds
> of deductive/inductive systems) to be implemented, as "just another set
> of rules".
NARS is more than that, what you are referring to is NAL, Non-Axiomatic
Logic.
> I think this is still the case today. You could "easily" implement NARS
> today, by cloning the PLN repo, gutting 95% of the rules in it, keeping
> around a couple as examples, and then start adding the NARS rules. It
> should be "easy" with an appropriate definition of "easy".
True, in fact I've considered doing it, to get a one to one comparison.
Not high on the priority list but very interesting nonetheless.
> These days, I don't like NARS or PLN, because I think I know how to
> learn common-sense reasoning "from scratch". That includes automatically
> learning PLN-like or NARS-like rules, whatever they may be, as
> appropriate to whatever setting they've been learned for. Doing this is
> on my TODO list, but at the current rate of progress, this is at least
> a decade away.
Interesting. I guess though in the end you still need a metric of
comparison.
Sometimes I wonder if NAL isn't actually based on probability theory
with a very unconventional prior.
Nil
>
> --linas
>
> --
> Patrick: Are they laughing at us?
> Sponge Bob: No, Patrick, they are laughing next to us.
>
>
> --
> 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
opencog+u...@googlegroups.com
> <mailto:
opencog+u...@googlegroups.com>.
> To view this discussion on the web visit
>
https://groups.google.com/d/msgid/opencog/CAHrUA356X0upDHw%3DdfXsA%3DYLc_FeTwTHRUrqF6QFrE3P-kV8iQ%40mail.gmail.com
> <
https://groups.google.com/d/msgid/opencog/CAHrUA356X0upDHw%3DdfXsA%3DYLc_FeTwTHRUrqF6QFrE3P-kV8iQ%40mail.gmail.com?utm_medium=email&utm_source=footer>.