Re: [ontolog-forum] Need advice - Request a quick opinion on ontology la

[Alex Shkotin <alex.shkotin@xxxxxxxxx>]

Dear Duane,

we keep in mind a simple idea that for any given context a formal theory should be created where any term should have one particular definition (of meaning).

We took a petrology as a scientific context where definitions of rocks may be proven formalized.

This work is at the beginning and our achievement is this definition:

harzburgite(x) =

plutonic(x) and 

not (pyroclastic(x) or kimberlite(x) or lamproite(x) or lamprophyre(x) or charnockite(x))

and VPC_carbonates(x)≤50 and VPC_melilite(x)≤10 and VPC_M(x) ≥ 90 and VPC_kalsilite(x)=0 and VPC_leucite(x)=0 and VPC_hornblende(x)=0 and 0.4*VPC_OOC(x)≤VPC_Ol(x)≤0.9*VPC_OOC(x) and VPC_Cpx(x)<0.05*VPC_OOC(x)

Have a look at our presentation to get a flavour of approach: https://sites.google.com/site/alex0shkotin/formal-geology/events

And may be at the end of times we have got John's "lattice of theories";-)

A kind of formal theory is under investigation too.

There is a research report "Towards OWL-based Knowledge Representation in Petrology" accepted by http://www.webont.org/owled/2011/index.html

but we do not have chance to be there, unfortunately.

I think we put it in arXiv.org soon.

Alex

2011/6/2 Duane Nickull <dnickull@xxxxxxxxx>

I was explaining this thread to someone and came up with an epiphany (for myself anyways).  It seems that the context of usage is a large portion of the pragmatic aspects of any given symbol or term.  Within this forum for example, I would always bet money that AI means artificial intelligence whereas in another context I might put more weight to a different hypothesis.

This seems really obvious WRT the specific example yet I wonder how a less intuitive context relationship might be expressed or captured as a mathematical model.  Does anyone know of any work (other than the UN/CEFACT Core Components) that uses context as a large part of a reasoning process and has expressed such using some standardized mathematical notation?

Duane

On 6/1/11 9:35 PM, "Alex Shkotin" <alex.shkotin@xxxxxxxxx> wrote:

Just to save AI abbreviation we may keep in mind 
Algorithmic Intelligence
;-)
As an example of non computable but well defined function we have
the busy beaver function Σ of Tibor Radó [1].
Just to show a limitation of AI in maths at least.

1. http://en.wikipedia.org/wiki/Busy_beaver

2011/6/1 John F. Sowa <sowa@xxxxxxxxxxx>

On 5/31/2011 11:26 PM, Alex Shkotin wrote:
> I don't like Computer Science term at all ;-)
> But a term to survive and spread the minds should be attractive.

The point I was making is that the "wisdom of the crowds" is usually
better than the opinions of most so-called "experts".

In the 1950s, two common terms were 'machine intelligence' (MI)
and 'artificial intelligence' (AI).  When I first heard of AI, I
thought it was flaky, and I don't blame anybody for criticizing it.

But over time, 'AI' was widely accepted, and no other term was more
descriptive.  Since 'AI' has become the commonly accepted term, it
would be misleading and counterproductive to invent a new one.

Re computer science:  Dijkstra made the observation that a more
descriptive term would be 'computing science'.  In a technical
sense, that's true.

But in English, a Noun-Noun phrase simply means that Noun1 has
some relationship to Noun2 that modifies or restricts its meaning.
For that reason, 'computer science' is acceptable.  In fact, it
is widely accepted.  There is no reason to change it.

The Europeans coined the word 'informatics', but one could object
that it mixes Latin and Greek roots.  The word 'cybernetics' uses
purely Greek roots, but it never became popular.

Recommendation:  Poorly chosen terms naturally fall out of use,
and the consensus of common usage should be respected.

John

_________________________________________________________________
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

---
Adobe LiveCycle Enterprise Architecture - http://www.adobe.com/products/livecycle/
Adobe MAX 2011 - http://technoracle.blogspot.com/2011/03/adobe-max-2011.html
TV Show - http://tv.adobe.com/show/duanes-world/
Blog – http://technoracle.blogspot.com/
Music – http://22ndcenturyofficial.com/
Twitter – http://twitter.com/duanechaos/

_________________________________________________________________
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
 

_________________________________________________________________
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    (01)