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.
2. Your formulation of uncertain reasoning may be just one out of several possible ways to deal with uncertainty. 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.
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
> 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]
