On Mon, Sep 29, 2008 at 9:18 PM, Ben Goertzel <[EMAIL PROTECTED]> wrote:

> Parsing English sentences into sets of formal-logic relationships is not
> extremely hard given current technology.
>
> But the only feasible way to do it, without making AGI breakthroughs
> first, is to accept that these formal-logic relationships will then embody
> significant ambiguity.

We are talking about 2 things:
1.  Using an "ad hoc" parser to translate NL to logic
2.  Using an AGI to parse NL

I think I've already formulated how to do #2, and will try to
implement it soon.  But it *still* requires a lot of training (not
surprisingly).

Yes, if we use #1 then we have to deal with ambiguities.  But #2
provides some ready-to-run components right now.

> _poss(life,your)
> _poss(treasure,my)
> _obj(Guard,treasure)
> with(Guard,life)
> _imperative(Guard)

This logical form is somewhat similar to Rus form...  does it have a name?

> I think it can be handled via embodiment, i.e. via having an AI system
> observe
> the usage of various senses of "with" in various embodied contexts.

I'm afraid the crux is not in embodiment.  It's in abduction  =)

YKY


-------------------------------------------
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=114414975-3c8e69
Powered by Listbox: http://www.listbox.com

Reply via email to