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 [email protected]
<mailto:[email protected]>.
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>.
--
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/4bb4b599-4620-88a2-54b2-938aecb8df8c%40gmail.com.
