Re: RM formalism supporting partial information

David BL wrote:
...
>
> Eg
> r =
> {
> (names={fred, bill}, cars={c1}),
> (names={}, cars={c2})
> }
>
> then the information content is associated with all the following
> propositions
>
> person(fred).
> person(bill).
> owns_car(fred,c1).
> owns_car(bill,c1).
> car(c1).
> car(c2).
> ...

(I take it that r here has two tuples. I've been a little confused by the parentheses.) I would like to know what it would mean to "insert" (names{joe}, cars{c2}) to r, or if you prefer, to union that and r.

If it is possible in your "interpretation", what would the resulting "r" look like? Received on Sat Nov 17 2007 - 00:18:18 CET