Mark,

The way you invoke Godel's Theorem is strange to me... perhaps you
have explained your argument more fully elsewhere, but as it stands I
do not see your reasoning.

--Abram

On Wed, Oct 22, 2008 at 12:20 PM, Mark Waser <[EMAIL PROTECTED]> wrote:
>> It looks like all this "disambiguation" by moving to a more formal
>> language is about sweeping the problem under the rug, removing the
>> need for uncertain reasoning from surface levels of syntax and
>> semantics, to remember about it 10 years later, retouch the most
>> annoying holes with simple statistical techniques, and continue as
>> before.
>
> That's an excellent criticism but not the intent.
>
> Godel's Incompleteness Theorem means that you will be forever building . . .
> .
>
> All that disambiguation does is provides a solid, commonly-agreed upon
> foundation to build from.
>
> English and all natural languages are *HARD*.  They are not optimal for
> simple understanding particularly given the realms we are currently in and
> ambiguity makes things even worse.
>
> Languages have so many ambiguities because of the way that they (and
> concepts) develop.  You see something new, you grab the nearest analogy and
> word/label and then modify it to fit.  That's why you then later need the
> much longer words and very specific scientific terms and names.
>
> Simple language is what you need to build the more specific complex
> language.  Having an unambiguous constructed language is simply a template
> or mold that you can use as scaffolding while you develop NLU.  Children
> start out very unambiguous and concrete and so should we.
>
> (And I don't believe in statistical techniques unless you have the resources
> of Google or AIXI)
>
>
>
> -------------------------------------------
> agi
> Archives: https://www.listbox.com/member/archive/303/=now
> RSS Feed: https://www.listbox.com/member/archive/rss/303/
> Modify Your Subscription:
> https://www.listbox.com/member/?&;
> Powered by Listbox: http://www.listbox.com
>


-------------------------------------------
agi
Archives: https://www.listbox.com/member/archive/303/=now
RSS Feed: https://www.listbox.com/member/archive/rss/303/
Modify Your Subscription: 
https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34
Powered by Listbox: http://www.listbox.com

Reply via email to