> I am going to break my own plea to drop the subject by asking Chris
> if both
> of these senses - the Model of an airplane, as well as a Tarskian
> Model,
> exhibit some "lossy"-ness? (01)
Of course. (02)
> Model, now matter how it is used, seems to be some sort of extended
> implementation from an original (whether it is an abstraction, like a
> mathematical, computer, or physical model - or some instantiation of a
> series of axioms). In doing this extension, something is lost from
> the
> original (03)
I prefer to say "filtered out", since, done right, the stuff that is
filtered out is extraneous to the structure captured in the model. (04)
> (in the case of the model plane, it is reduced in size,
> functionality, and fidelity - in the case of a Tarskian model it is
> reduced
> from an ideal state explained in axioms (05)
Note -- a Tarskian model is NOT a set of axioms. It is a
mathematical structure in which certain axioms are *true*. (06)
> to something that can change and lose some of its adherence to
> those axioms). (07)
Modulo the above, of course. A Tarskian model provides a
mathematical snapshot of a real world situation (perhaps over some
interval of time, if time is part of the representation). (08)
-chris (09)
_________________________________________________________________
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 (010)
|