|From:||Adrian Walker <adriandwalker@xxxxxxxxx>|
|Date:||Wed, 23 Mar 2011 12:17:49 -0400|
Hi Leo, John & All --|
> The power of formalization is that it does make things more precise,
> which lends itself to explicitly developing hypotheses/theories for
> refutation, convergence on disputed terminology, and amenability
> to computational implementation.
Unfortunately, the devil is in the details of "precise".
Consider the statement
p("J","B",N) & N>5 
It appears to be more precise than
John has written many fine books 
However, different humans looking at  could think it says that Jane has more than 5 boys, and so on.
There's also the problem of non-unique models for FOL.
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements
On Tue, Mar 22, 2011 at 10:55 PM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||[ontolog-forum] CFP: Learning from our mistakes: Adverse event representation (Extended deadline April 10, 2011), Alan Ruttenberg|
|Next by Date:||[ontolog-forum] Fwd: Workshop on Federal Government Information Sharing, Washington DC, April 12-13, Peter Yim|
|Previous by Thread:||Re: [ontolog-forum] Fwd: Re: Using controlled natural languages for ontology, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] Fwd: Re: Using controlled natural languages for ontology, Pavithra|
|Indexes:||[Date] [Thread] [Top] [All Lists]|