ontac-forum
[Top] [All Lists]

RE: [ontac-forum] Working with multiple inconsistent theories

To: "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Fri, 23 Jun 2006 16:39:15 -0400
Message-id: <9F771CF826DE9A42B548A08D90EDEA800116E2CC@xxxxxxxxxxxxxxxxx>
John,    (01)

I think you are throwing the baby out with the bathwater. Many of us
agree that we need to use mutually inconsistent theories and yet
combine some sub-portions of them to form a consistent working
theory/theories.    (02)

However, to go from that statement to the statement that there is thus
a need only for informal terminologies and taxonomies except for
specialized subsystems does not follow.    (03)

It depends on what use you want to make of the models (use cases,
requirements, etc.) Those terminologies and taxonomies may be all you
need if you just want loose topic buckets for classifying or indexing
your documents. For precision machine reasoning, they are insufficent,
at any level.    (04)

You don't believe anymore in a common upper ontology, well, fine. How
about a set of precise mutually inconsistent theories at the
upper/middle,domain level from which you can project subsets to form
consistent theories -- when you need the precision.     (05)

Thanks,
Leo    (06)


_____________________________________________ 
Dr. Leo Obrst       The MITRE Corporation, Information Semantics 
lobrst@xxxxxxxxx    Center for Innovative Computing & Informatics 
Voice: 703-983-6770 7515 Colshire Drive, M/S H305 
Fax: 703-983-1379   McLean, VA 22102-7508, USA     (07)


-----Original Message-----
From: ontac-forum-bounces@xxxxxxxxxxxxxx
[mailto:ontac-forum-bounces@xxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: Friday, June 23, 2006 11:37 AM
To: ontac-forum@xxxxxxxxxxxxxx
Subject: [ontac-forum] Working with multiple inconsistent theories    (08)

There's a recent article in NewScientist that illustrates
how scientists build models by working with theories that
are known to be mutually inconsistent.  (Excerpts below.)    (09)

Following is a brief summary of the procedure:    (010)

  1. The equations of quantum mechanics require so much
     computation that even the world's fastest supercomputer
     can only compute the interactions among a very small
     number of atoms at a time.    (011)

  2. The equations for Newtonian mechanics are much easier
     to compute, but they are known to be false on an atomic
     scale.    (012)

  3. However, for large atoms, such as molybdenum, the nucleus
     is sufficiently heavy that its behavior can be calculated
     by Newtonian mechanics, while the behavior of the electrons
     is computed by the equations of quantum mechanics.    (013)

  4. Using a hybrid model with classical mechanics for approximating
     the behavior of molybdenum nuclei and quantum mechanics for
     the electrons, the physicists are able to simulate the behavior
     of 1000 interacting molybdenum atoms, but only on the world's
     fastest supercomputer.    (014)

Notice how they can use inconsistent theories without creating
contradictions:  The classical equations are used only to compute
the behavior of the nuclei and the QM equations are used only
to compute the behavior of the electrons.  This illustrates a
fundamental principle:    (015)

    It is possible to combine the results from different methods
    of reasoning or computation, even when the methods themselves
    are mutually inconsistent.    (016)

Such models, which combine two or more theories that are known
to be inconsistent, are typical in every branch of science and
engineering.  As the professor of engineering George Box said,    (017)

    "All models are wrong.  Some models are useful."    (018)

Even in physics, where very precise equations are known, it is
common to use such patchwork-quilt models because computations
with the more precise equations are impractical. In engineering,
complex systems may require different theories for each subsystem
or even each part of a subsystem.  Interoperability does *not*
require all subsystems to use exactly the same axioms.    (019)

This is the state of the art in the "hardest" branches of science
and engineering.  In the softer areas of economics, business, and
government, nothing remotely resembling such precision is available,
and it is ludicrous to standardize a unified theory of everything.    (020)

However, there are very useful things that can be done:  large
terminologies and taxonomies with very few axioms are practical,
and they have been in use for years in all fields.  A great deal
of confusion has been created by using the word "ontology" for
what should more properly be called a terminology or taxonomy.    (021)

Summary:  We must make a clear distinction between formal ontology
and informal terminologies and taxonomies.  There is no hope of
having a unified theory of everything with detailed axioms that
can be used and reused at every level.  It is very practical to
have large informal terminologies and taxonomies of everything,
but the detailed axioms for precise reasoning can only be used
on the much smaller, more specialized subsystems.  Even for such
subsystems, ad hoc models are often needed, which may be assembled
from a patchwork of two or more mutually inconsistent theories.    (022)

John Sowa
_____________________________________________________________________    (023)

http://www.newscientisttech.com/article/dn9394-atomic-simulation-most-i
ntensive-computer-program-ever.html
Atomic simulation most intensive computer program ever    (024)

Excerpts:    (025)

Other software can be used to simulate interactions between billions of    (026)

atoms, but only using classical molecular dynamics. Performing 
simulations involving quantum-mechanical behaviour is far more complex 
and, until now, such quantum simulations have only involved about 50 
atoms at a time....    (027)

The enhanced version of Qbox, however, reaches a sustained performance 
of 207.3 teraflops, a record for any software. It simulates
interactions 
between 1000 molybdenum atoms under high pressure using equations that 
take the quantum behaviour of electrons into account....    (028)

_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatin
gWG    (029)

_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: 
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (030)
<Prev in Thread] Current Thread [Next in Thread>