Re: RM formalism supporting partial information
Date: Tue, 27 Nov 2007 13:26:28 GMT
"David BL" <davidbl_at_iinet.net.au> wrote in message
> On Nov 26, 11:53 pm, "Brian Selzer" <br..._at_selzer-software.com> wrote:
> > "David BL" <davi..._at_iinet.net.au> wrote in message
> > > AFAIK you say this because of something to do with the CWA but I can't
> > > get past the feeling that the CWA is incompatible with partial
> > > information and that's all there is to it! Perhaps you could give me
> > > an example to back up that statement.
> > The CWA is not incompatible with partial information. The Closed World
> > Assumption is applied to each individual relation, not to the database
> > whole. The content in a relation, EMPLOYEE_AGES, could be "known ages
> > employees." The absence of a tuple for a particular employee simply
> > that the age is not known (assuming of course that there is a tuple in
> > EMPLOYEE that asserts the existence of said employee).
> In a way I agree with you. What I meant was that for a given
> predicate the CWA applies if and only if the extension recorded in the
> DB is complete with respect to the predicate's intension. This seems
> a matter of definition. Weaken the intension and the CWA can
> miraculously appear!
> Consider the following intensional definition of a predicate
> president1(P) <=> P has been a president of the USA
> Presumably a respectable intensional definition has a uniquely defined
> finite extension, and the above definition meets that criteria.
> [Side note: the intensional definition tells us what DB updates are
> needed over time. However, formally it would seem better to make the
> time dependence explicit so the mapping from intensional definition to
> extension is well defined]
> Now consider that we weaken it as follows
> president2(P) => P has been a president of the USA
> president3(P) <=> It is known that P has been a president of the
> One could reasonably say that the first represents the OWA, by only
> providing the one way implication, whereas the second is actually a
> CWA with a weaker intensional definition. However the distinction
> seems rather shallow.
> It is actually conceivable to say that president3 has a uniquely
> defined extension, assuming we are clear on who is the source of the
> information and at what point in time. In fact the purpose of a
> database may be to model what knowledge was available to a group of
> people (eg in a legal matter on the directors of a company accused of
> misleading shareholders).
> I'm wondering whether the best approach is to require "if and only if"
> intentional definitions of predicates, so that as far as the formalism
> is concerned the CWA applies everywhere, and we end up with
> appropriately messy intensional definitions that support partial
> information if and where required.
> This pushes the CWA question out of the formalism and into the natural
> language interpretations where I think it belongs.
> The weakening of 1:1 relative cardinalities as discussed by Bob Badour
> seems related but nevertheless different in purpose to the weakening
> of intentional definitions, even though both seem necessary to support
> partial information.
For the particular case you came up with, you need a convention as to just what in means to include a person in P. This may seem too obvious for words, but consider the case of John Tyler. Elected vice president, he took on the role of president upin the death of William Henry Harrison, a few weeks after his inauguration.
At the time, there were many people who insisted, that John Tyler's correct title was "Vice President, acting as President". In all of today's histories, Tyler is included in the list of presidents. But if a list had been drawn up at the time, the list maker might well have omitted Tyler. Received on Tue Nov 27 2007 - 14:26:28 CET