|To:||"'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||"Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>|
|Date:||Mon, 18 Oct 2010 13:23:20 -0700|
Conceptual graphs are still expressions in FOL, not in any application-specific language. So though CGs add a graphics interface, they still cover the same material.
I think Ian was referring to something more loaded with predefined content other than relations, constants and variables. Organizing classes in APPLICATION terms, not in more abstract FOL terms, is what I take Ian's suggestion to mention.
But since applications can be organized into similarity clusters, similar applications in the same cluster, there COULD be much more application-knowledgeable systems which understand the cluster, not the specific application until the designer explains it to the application-knowledgeable system.
Back when FOL theorists thought all users could be lumped into a single cluster (the 80's and 90's mostly) and all such users had the same characteristics, it was easy to make a case for pure FOL tools. But experience has shown that such a level of description is too primitive. Sort of like using the periodic table as a language to describe skyscraper construction.
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Adrian Walker
Sent: Monday, October 18, 2010 1:08 PM
To: ian@xxxxxxxxxxxxxxxx; [ontolog-forum]
Subject: Re: [ontolog-forum] Oooh, FOL is too hard to learn.
You wrote: If it [logic] weren't so awkward, more people might use it for commercial applications.
There seem to be two ways to go with this -- graphics, and natural language.
John Sowa can tell about the virtues of graphics in the form of Conceptual Graphs.
For lightweight natural language knowledge input and use, you may like to consider Executable English, as in
as a step towards energy independence, the US would like to reduce oil imports by some-number barrels per year
to convert from Quadrillion Btu to barrels of gasoline, multiply by some-factor
that-number / that-factor = some-quadrillion-btu
liquid fuel has an average price of some-amount in 2030 (2007 $ per Million Btu)
that-amount * 1000000000 = some-price-per-quadrillion-btu
those-quadrillion-btu * that-price-per-quadrillion-btu = some-total$
that-total$ / 1000000000 = some-total
as a step towards energy independence, the US would like to reduce the cost of oil imports by that-total billion 2007 $ by 2030
See also [1-4].
Anyone have a third way?
Cheers, -- Adrian
 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 Mon, Oct 18, 2010 at 3:23 PM, Ian Bailey <ian@xxxxxxxxxxxxxxxx> 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:||Re: [ontolog-forum] Oooh, FOL is too hard to learn., Ali Hashemi|
|Next by Date:||Re: [ontolog-forum] Oooh, FOL is too hard to learn., Christopher Menzel|
|Previous by Thread:||Re: [ontolog-forum] Oooh, FOL is too hard to learn., John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] Oooh, FOL is too hard to learn., Christopher Menzel|
|Indexes:||[Date] [Thread] [Top] [All Lists]|