On 9/6/06, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote:
Thanks, Pei, your comments are *very* helpful. I can also give you some
feedback about NARS:
1. I borrowed "An invitation to formal reasoning: the logic of terms" by
Sommers and Englebretsen, as Ben suggested. In the book they say that their
term logic formulation is equivalent to predicate logic in expressiveness,
so it's just a different way of expressing things. It may be slightly
easier to translate term logic to natural language, but that's the job of
the AGI anyway. What else can be gained by using term logic? It's like
everybody is typing QWERTY and you're trying to convince people to use
Dvorak.
Their work is motivated by very different considerations, as you have
seen. Unlike their term logic, NARS is not equivalent to predicate
logic in express power, so it is not merely a different way to say the
same thing. In the book I have a whole section to explain why I prefer
term logic over predicate logic, which is too long an argument to
repeat here.
2. Your formulation of uncertain reasoning may be just one out of several
possible ways to deal with uncertainty.
It surely is --- I never claim that my approach is always better than
the others, though I do believe that mine is better as far as AGI is
under consideration.
In Halpern's 2003 book "Reasoning
about uncertainty" he formulated axiomatic systems for probability,
possibility (ie fuzzy), and other uncertainty measures such as "relative
likelihood" and "plausibility". He showed that they could all be
axiomatically complete, "each with its own advantages/disadvantages".
Moreover, he also extended the notion of expectation from probability to
those other measures. And belief updating methods too. So as AGI designer
we just need to pick one of these schemes.
Agree. Halpern's work is important and influential, but to me it is
still too idealized to be used in AGI.
Pei
Cheers=)
YKY
On 8/20/06, Pei Wang <[EMAIL PROTECTED]> wrote:
> Hi,
>
> A demo applet of the recently developed NARS 4.3.1 is at the new NARS
> website http://nars.wang.googlepages.com/ . Though the
work is by no
> means complete, it does have some new features.
>
> A book on NARS will be published by Springer soon (hopefully) :
>
http://www.springer.com/west/home/computer/artificial?SGWID=4-147-22-173659733-0
>
> As usual, comments are welcome.
>
> Pei
________________________________
To unsubscribe, change your address, or temporarily deactivate your
subscription, please go to
http://v2.listbox.com/member/[EMAIL PROTECTED]
-------
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
