ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Logic, Datalog and SQL

To: <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc:
From: Bob Smith <bob@xxxxxxxxxxxxxx>
Date: Fri, 9 Feb 2007 18:39:15 -0500
Message-id: <64faa8c88d914b5184a879bb685a5aec@xxxxxxxxxxxxxx>
Hi Kathy,

Nice way to put the Wildly Unfaithful concept on the table. Do you see value in considering Belief Networks, especially Ken Baclawski's discussions last Jan. 25th, in this context?

Cheers,

Bob


From: Kathryn Blackmond Laskey <klaskey@xxxxxxx>
Sent: Friday, February 09, 2007 6:22 PM
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, Charles D Turnitsa <CTurnits@xxxxxxx>, Chris Menzel <chris.menzel@xxxxxxxxx>
Subject: Re: [ontolog-forum] Logic, Datalog and SQL


> On the other hand, in order to
>satisfy the axioms, the 'model' must contain all
>the structure that these axioms explicitly
>describe, so in a very precise sense it cannot be
>of lower fidelity than the axioms, but it can
>well be of much higher fidelity.

That statement could be very misleading, because the referent of
"fidelity" is unclear. Tarski interpretations must be faithful to
the axioms, but may be wildly unfaithful to the intention of the
modeler, and to the world we are trying to represent with the axioms.

Let me give an example to make things concrete.

Consider the set of axioms:
All men are mortal.
Pat is a man.
John is a man.
Kathy is a woman.

There are Tarskian interpretations of this set of axioms in which
Kathy is immortal. The axioms say men are mortal, but don't pin down
whether or not women are mortal. There are also Tarskian
interpretations of this set in which Kathy is a man. That's because
the axioms don't say whether women and men are mutually exclusive
categories. In the Tarskian interpretations in which Kathy is a man,
though, she has to be mortal, because all men are mortal.

All the Tarski interpretations are faithful to the axioms, in the
sense that the axioms are true in every interpretation. The ones in
which Kathy is immortal or Kathy is a man are very unfaithful to the
actual world, and presumably to the intentions of anyone who would
write down these axioms. There's a sense in which we might call them
unfaithful to the axioms, because they define truth-values for things
the axioms leave open.

I think it is less misleading to say that Tarskian models are more
specific than the axioms, in that any given Tarski model pins down
the truth-value of every sentence. But this specificity comes at the
cost of assigning definite truth-values to sentences whose
truth-value is left open by the axioms.

Kathy

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>