ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefini

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pavithra <pavithra_kenjige@xxxxxxxxx>
Date: Tue, 21 Sep 2010 05:37:30 -0700 (PDT)
Message-id: <876339.18773.qm@xxxxxxxxxxxxxxxxxxxxxxxxxxx>
Dr. Sowa

My question is:

-  In  real life, an object is perceived by its existence.   Some things are obvious.   If you have an apple in a bowl,  one can see the bowl and the apple and color of the apple,  why would you need math to prove the color of the apple? 

-  Then there is more complex things like air.    One does not see air, how would you model that?  But one knows that it exists and there is co dependency between life and oxygen in air..

My point is, to model an abstract version of things that exists in reality and things that are made up ( simulated), even mathematicians have to understand the existence of the things and their properties and behavior.   

Once the environment, and things in the environment is perceived well, systems engineering world,has many tools to model without writing axioms or using mathematical notations.  However, it is used to prove or verify correctness of existence/ instantiation, uniqueness and relationship

 One need to use mathematical theory to create a new language or tools.. ( which is meta.. ) 

In this group sometimes we write about analysis ( description and describing the world in simple English),  Design ( modeling )  and programming languages, and creating programming languages  and meta environment in the same tone. 
That can be confusing..

Pavithra





--- On Tue, 9/21/10, Alex Shkotin <alex.shkotin@xxxxxxxxx> wrote:

From: Alex Shkotin <alex.shkotin@xxxxxxxxx>
Subject: Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefinitions
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Date: Tuesday, September 21, 2010, 1:05 AM

Hi Pavithra,

it seems we should consider separately:
- First order language - simple context free language (actually - family of languages, if set of primary symbols is not fixed). And we may speak about second order language (SOL) weak SOL...
- First order logic - when, using language, we introduce axioms and derivation rules. As I know there are at least two generally known logics: classical and intuitionistic.

A point is that First order language (with numbers;-) is sufficient to express our knowledge about real world, not only math world.

Alex


2010/9/21 Pavithra <pavithra_kenjige@xxxxxxxxx>
 FOL is  defined as First-order logic is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic. First-order logic is distinguished from propositional logic by its use of quantifiers; each interpretation of first-order logic includes a domain of discourse over which the quantifiers range.


There is math and then there is computer science where FOL and other logic can be used to verify the existence and as proof of verification and things.

In computer science,  one defines an object the way it is in real world.  An apple is a fruit, and has color ( green apple, red apple ),  with seed etc  ripe vs raw apple etc.   Properties or Attributes are the way one describes the object.     In this case, color is a property.   Where as "Apple is a fruit" is a relationship.  It classifies apple as a fruit, so any common fruit property may apply to apple as well.  Example, edible fruit vs non edible fruit etc.

   In some cases the value of an attribute shows what kind of Object it is.  But that kind of modeling causes complexities in programing ( dynamic overloading during run time)   It is better use a better technique to keep it simple.   So in this case, it is better to say that there are two types of apples, red apple and green apples.    In modeling, sometimes one uses  subclass concept vs attribute if they have different way of functioning or more than one attribute that differs.   Modeling is abstract, and experience teaches what is better and simpler.   

But I do believe that to describe any object correctly, one has to use the attributes and has to show relationships and any rules and functionality that are specific to the object that will uniquely describes the object in the real world.   

Hope that helps! 


--- On Sun, 9/19/10, doug foxvog <doug@xxxxxxxxxx> wrote

From: doug foxvog <doug@xxxxxxxxxx>

Subject: Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefinitions
To: "[ontolog-forum] ct" <ontolog-forum@xxxxxxxxxxxxxxxx>
Date: Sunday, September 19, 2010, 1:26 AM


On Sat, September 18, 2010 6:16, FERENC KOVACS said:

> I believe that core ontology concepts are objects, properties and
> relations.

I suppose you mean classes of objects.  Is the distinction between
properties and relations that properties relate objects to datatypes
while relations relate multiple objects or have more than two arguments?

This sounds fine to me, so long as the concept of object needs not be
physical and can include events and situations.

Personally, i don't see the need for distinguishing properties and
relations in an ontology, although many ontology languages do make
that distinction.  This seems a language-dependent distinction to me.

> In fact, the intitial state

Are you referring to the initial state of an ontology in the process
of creation?  Or are you referring to the state of a reference ontology
whose terms are used to make statements in a knowledge base with no
additional definitional statements?

> is an object which is a unity of them and it is
> exploded through a number of mental operations. (Examles wanted?)

I'm not sure what you mean by an ontology exploding.  Do you mean
deriving all statements which are derivable from the initial statements
in the ontology?

If so, i would suggest that this "explosion" could be carried out by
formal logical operations -- they wouldn't need to be mental operations.

> With the help
> of these categories I can semantically analyze natural langauges and
> create an ontology that integrates the currently different domains.

> In this approach
> axioms and the concept of events are not of primary interest, because
> verbs are seen as the representations of relations

This is not necessarily the best way to model verbs.  In languages which
use verbs like English does, a verb indicates the occurrence of either a
situation or an event, with subject, direct object, indirect object, and
prepositional phrases indicating relations between the event and event
participants.

Features of the events/situations can certainly be modeled by relations
that ignore the events themselves, but this would require multiple
relations to be defined for each verb depending upon what other phrases
happen to be in the sentence.  Using this technique makes it difficult
to add more information about the same event and requires multiple rules
to inter-relate the multiple relations that represent the same verb.

  Jill threw the chair.
  Jill threw me the chair.
  Jill threw the chair through the window.
  Jill threw the chair yesterday.
  Jill threw the chair to kill the toad.
  Jill probably threw the chair at the toad.

IMHO, the verb "threw" represents a different relation in each of these,
but each use can unambiguously represent a throwing event, with multiple
relations to generate depending upon the other parts of the sentence.

> (hence not limited to Boolean operators).

Why wouldn't the relations have Boolean truth values?  Is the point to
allow for probability descriptors?

> Therefore the issuse of disambiguation as for dictionaries is a
> futile exercise, as the defintions used are sometimes incomplete and

Many dictionary definitions are certainly incomplete, but that does not
mean that they do not may true statements constraining the meaning of
the thing they define.

> irrelevant in semantic terms,

I have not seen this.

> this is why you cannot "merge" them (should try to integrate
> them instead) as they are not in compatible forms (content)

If you are referring to multiple definitions from the same source,
they shouldn't be merged because they are describing different
denotations of the word.  Each definition should denote a different
concept.

If you are referring to multiple definitions from different sources,
integrating multiple definitions of the same meaning of a word is
certainly appropriate.  However, sometimes such integration can be
handled by merging.

> and they are not modular either.
> You must accept that such a new ontology should be dynamic as
> many of you already suspect.

If the ontology is used to interpret NL text in an open area, the
ontology would be incomplete and should dynamically be expanded.

If the ontology is to be used to express the information in a data
base that has been in constant use for years, dynamaticity is not
so crucial.

>> In math logic domain there is a kind of definition - an abbreviation when
>> they introduce new symbol saying for example:
>> definition
>> t≤s denotes t<s or t=s

> In my "semantic analysis" this is formalization, a mental operation of the
> relation between two objects as indicated.

This formalization/definition is a logical operation between two
expressions (one of which is a disjunction,  I suppose the expressions
could be called objects.

> The commonsense transcript is that an
> object (to be specified, otherwise it does not make sense) is smaller than
> another object after comparison and a few other operations also required
> to arrive at that result in formalization.

You are stepping beyond the definition as given, to interpret what the
definition means.  This is intentionally moving beyond logic.

> In doing this I used the mental
> operation called interpretation, the reverse of formalization.
> For any message (statement) to make sense it is necessary to be complete,

Why can't a message tell merely a portion of a fact, instead of being
complete?

> which means that if it has (as it should have) a verb in it,
> then it should have person,

Here, i assume you mean grammatical person, not requiring the message
to relate to a person.  Person, in this sense, is a linguistic feature
of sentences of many languages, not necessarily relating to a feature
of the meaning being discussed.

> number and tense specified among others to make sense.

Similarly number, tense, gender and other linguistic features are
allowed or required by different languages "to make sense".  Such
features may or may not relate to a feature of the meaning being
discussed and might or might not be expressed in the knowledge base
using the ontology.

> Or in other words "Media is the message" is interpreted as
> The message is instruction - in my translation.

I find this interpretation curious and don't understand how it
relates to your above statements.

> Regards, Ferenc


=============================================================
doug foxvog    doug@xxxxxxxxxx   http://ProgressiveAustin.org

"I speak as an American to the leaders of my own nation. The great
initiative in this war is ours. The initiative to stop it must be ours."
    - Dr. Martin Luther King Jr.
=============================================================

=============================================================
doug foxvog    doug@xxxxxxxxxx   http://ProgressiveAustin.org

"I speak as an American to the leaders of my own nation. The great
initiative in this war is ours. The initiative to stop it must be ours."
    - Dr. Martin Luther King Jr.
=============================================================


_________________________________________________________________
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
 


-----Inline Attachment Follows-----



_________________________________________________________________
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>