Re: RM formalism supporting partial information

David BL wrote:
> On Nov 17, 8:18 am, paul c <toledobythe..._at_ooyah.ac> wrote:
...
> r' =
> {
> (names={fred, bill}, cars={c1}),
> (names={}, cars={c2}),
> (names={joe}, cars={c2})
> }
> ...

Okay.

> r' has 3 tuples and its information content is
>
> person(fred).
> person(bill).
> person(joe).
> owns_car(fred,c1).
> owns_car(bill,c1).
> owns_car(joe,c2).
> car(c1).
> car(c2).
>
> I think of this set of propositions as "inhomogeneous" because they
> don't all share the same header.
>
> Note that the tuple (names={}, cars={c2}) in r' is redundant and could
> be removed without affecting the meaning.
> ...

Let me remove it then:

r''=

      {
          (names={fred, bill}, cars={c1}),
          (names={joe}, cars={c2})
      }

If I delete the tuple about joe and c2, what is the "information content" (as you put it)?

thanks,
p Received on Sat Nov 17 2007 - 08:02:13 CET