I wrote for 2 hours today
Wand , Storey and Weber acknowledge that attributes can be multivalued. However, when they implement a mutual property as a relationship, they deny that the representation can have more than a single value. They use the name of the relationship to indicate the value (see figure 3). However, Bunge clearly allows mutual properties to have multiple inputs to the function that determines the value. However, it is a functional representation, as such it can only have a single value as its output. What is the difference between specifying a predicate as having three inputs (one child, one male and one female) that map a single value (true iff the male and female are the parents of the child) and asserting that the "parents" attribute has two values?
Does this hold true for any higher order relationship?
Subscribe to:
Post Comments (Atom)
1 comment:
The attribute function can have many value sets (T, ... Z) as well as many thing sets S1, S2... So an attribute function A(S1, S2, T, R, N, Z) so the propositions for attribute function A has one thing from S1 and one thing S2 and one value from each set T, R, N, and Z(the alternate form maps the cross product of all of these sets to true or false).
Post a Comment