ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Fact Guru, Controlled NLs, and OOR

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Kingsley Idehen <kidehen@xxxxxxxxxxxxxx>
Date: Thu, 31 Mar 2011 08:35:55 -0400
Message-id: <4D94752B.7000908@xxxxxxxxxxxxxx>
On 3/30/11 7:40 PM, Todd J Schneider wrote:
> Chris, Leo,
>
> I've started a reply but I won't be able to finish
> before Friday. The basic premise is that as humans
> we don't have a mechanism to (completely) step outside
> of ourselves and the natural languages we use to
> communicate.
>
> Todd
Todd,    (01)

Yes, hence the quest for computer aided assistance via Semantically 
driven integration of concepts and associated world views (discourse 
domains), across the many dimensions that define cognitive human 
interaction space.    (02)

John F. Sowa's covered this many times over, so my reply is deliberately 
succinct :-)    (03)



Kingsley
>
>
> From:
> "Obrst, Leo J."<lobrst@xxxxxxxxx>
> To:
> "[ontolog-forum] "<ontolog-forum@xxxxxxxxxxxxxxxx>
> Date:
> 03/30/2011 07:35 PM
> Subject:
> Re: [ontolog-forum] Fact Guru, Controlled NLs, and OOR
> Sent by:
> ontolog-forum-bounces@xxxxxxxxxxxxxxxx
>
>
>
> Todd,
>
> I also don't understand what you mean. I do think that natural language
> semantics (and formal language semantics) is well-founded, as I've argued
> here, though it is incomplete or rather, partial.
>
> The formal pragmatics area, for example, is barely touched. Really there
> are only first steps towards a pragmatics of formal languages yet, but
> folks do use pragmas as indicators to compilers about intent. And of
> course agent communication languages like KQML and ACL use speech act
> performatives (and finite states which represent those).
>
> Thanks,
> Leo
>
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [
> mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Christopher
> Menzel
> Sent: Wednesday, March 30, 2011 5:03 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Fact Guru, Controlled NLs, and OOR
>
> On Mar 30, 2011, at 3:52 PM, Todd J Schneider wrote:
>> Ed,
>>
>> "...turtles all the way down..." Exactly. This is an overlooked
>> point (among others) in many of these discussions. Natural
>> language semantics (and natural languages) are not well
>> founded. The application of the notion of interpretation
>> from First Order Logic in these arenas also suffers from
>> this attribute.
> Could you explain what you mean by that?
>
> -chris
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>    (04)


--     (05)

Regards,    (06)

Kingsley Idehen 
President&  CEO
OpenLink Software
Web: http://www.openlinksw.com
Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca: kidehen    (07)






_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)

<Prev in Thread] Current Thread [Next in Thread>