# Polynomial conjoint measurement

Polynomial conjoint measurement is an extension of the theory of conjoint measurement to three or more attributes. It was initially developed by the mathematical psychologists David Krantz (1968) and Amos Tversky (1967). The theory was given a comprehensive mathematical exposition in the first volume of "Foundations of Measurement" (Krantz, Luce, Suppes & Tversky, 1971), which Krantz and Tversky wrote in collaboration with the mathematical psychologist R. Duncan Luce and philosopher Patrick Suppes. Krantz & Tversky (1971) also published a non-technical paper on polynomial conjoint measurement for behavioural scientists in the journal "Psychological Review".

As with the theory of conjoint measurement, the significance of polynomial conjoint measurement lies in the quantification of natural attributes in the absence of concatenation operations. Polynomial conjoint measurement differs from the two attribute case discovered by Luce & Tukey (1964) in that more complex composition rules are involved.

Polynomial conjoint measurement

Krantz's (1968) schema

Most scientific theories involve more than just two attributes; and thus the two variable case of conjoint measurement has rather limited scope. Moreover, contrary to the theory of "n" - component conjoint measurement, many attributes are non-additive compositions of other attributes (Krantz, et al, 1971). Krantz (1968) proposed a general schema to ascertain the sufficient set of cancellation axioms for a class of polynomial combination rules he called "simple polynomials". The formal definition of this schema given by Krantz, et al, (1971, p.328) is as follows.

Let . The set $Sleft\left(Y ight\right)$ is the smallest set of simple polynomials such that:
* $y_i in Sleft\left(Y ight\right), i = 1,ldots, n$;
* $Y_1, Y_2 subset Y$ such that $Y_1 cap Y_2 = varnothing, G_1 in Sleft\left(Y_1 ight\right)$ and $G_2 in Sleft\left(Y_2 ight\right)$, then $G_1 + G_2,$ and $G_1 G_2,$ are in $Sleft\left(Y ight\right)$.

Informally, the schema argues:a) single attributes are simple polynomials;b) if "G"1 and "G"2 are simple polynomials that are disjoint (i.e. have no attributes in common), then "G"1 + "G"2 and "G"1 $imes$ "G"2 are simple polynomials; and c) no polynomials are simple except as given by a) and b).

Let "A", "P" and "U" be single disjoint attributes. From Krantz’s (1968) schema it follows that four classes of simple polynomials in three variables exist which contain a total of eight simple polynomials:
* "Additive": $A + P + U,$;
* "Distributive": $left\left(A + P ight\right)U,$; plus 2 others obtained by interchanging "A", "P" and "U";
* "Dual distributive": $A P + U,$ plus 2 others as per above;
* "Multiplicative": $A P U,$.

Krantz’s (1968) schema can be used to construct simple polynomials of greater numbers of attributes. For example, if D is a single variable disjoint to A, B, and C then three classes of simple polynomials in four variables are A + B + C + D, D + (B + AC) and D + ABC. This procedure can be employed for any finite number of variables. A simple test is that a simple polynomial can be ‘split’ into either a product or sum of two smaller, disjoint simple polynomials. These polynomials can be further ‘split’ until single variables are obtained. An expression not amenable to ‘splitting’ in this manner is not a simple polynomial (e.g. AB + BC + AC (Krantz & Tversky, 1971)).

Axioms

Let , and be non-empty and disjoint sets. Let " $succsim$ " be a simple order. Krantz et al (1971) argued the quadruple $Z = langle A, P, U, succsim angle$ is a "polynomial conjoint system" if and only if the following axioms hold.

* "WEAK ORDER".

* "SINGLE CANCELLATION". The relation " $succsim$ " satisfies single cancellation upon "A" whenever $left\left(a, p, u ight\right)succsim left\left(b, p, u ight\right)$ if and only if $left\left(a, q, v ight\right)succsim left\left(b, q, v ight\right)$ holds for all $a, b in A; p, q in P$ and $u, v in U$. Single cancellation upon "P" and "U" is similarly defined.

* "DOUBLE CANCELLATION". The relation " $succsim$ " upon $A imes P$ satisfies double cancellation if and only if for all $a, b, c in A$ and $p, q, r in P$, $left\left(a, q, u ight\right)succsim left\left(b, p, u ight\right)$ and $left\left(b, r, u ight\right)succsim left\left(c, q, u ight\right)$ therefore $left\left(a, r, u ight\right)succsim left\left(c, p, u ight\right)$ is true for all $u in U$. The condition holds similarly upon $A imes U$ and $U imes P$.

* "JOINT SINGLE CANCELLATION". The relation " $succsim$ " upon $A imes P$ satisfies joint single cancellation such that $left\left(a, p, u ight\right)succsim left\left(b, q, u ight\right)$ if and only if $left\left(a, p, v ight\right)succsim left\left(b, q, v ight\right)$ is true for all $a, b in A; p, q in P$ and $u, v in U$. Joint independence is similarly defined for $A imes U$ and $U imes P$.

* "DISTRIBUTIVE CANCELLATION". Distributive cancellation holds upon $A imes P imes U$ if and only if $left\left(a, p, u ight\right)succsim left\left(c, r, v ight\right)$, $left\left(b, q, u ight\right)succsim left\left(d, s, v ight\right)$ and $left\left(d, r, v ight\right)succsim left\left(b, p, u ight\right)$ implies $left\left(a, q, u ight\right)succsim left\left(c, s, v ight\right)$ is true for all $a, b, c, din A; p, q, r, s in P$ and $u, vin U$.

* "DUAL DISTRIBUTIVE CANCELLATION". Dual distributive cancellation holds upon $A imes P imes U$ if and only if$left\left(a, r, w ight\right)succsim left\left(c, s, v ight\right)$, $left\left(d, p, u ight\right)succsim left\left(b, t, x ight\right)$, $left\left(d, r, x ight\right)succsim left\left(e, s, u ight\right)$ and $left\left(c, t, y ight\right)succsim left\left(d, q, y ight\right)$ implies $left\left(a, p, v ight\right)succsim left\left(b, q, w ight\right)$ is true for all $a, b, c, d, ein A; p, q, r, s, t in P$ and $u, v, w, x, yin U$.

*"SOLVABILITY". The relation " $succsim$ " upon $A imes P imes U$ is solvable if and only if for all $a, bin A; p, q in P$ and $u, v in U$, there exists $c in A; r in P$ and $w in U$ such that $a sim left\left(b, q, w ight\right) sim left\left(b, r, v ight\right) sim left\left(c, q, v ight\right)$.

* "ARCHIMEDEAN CONDITION".

Representation theorems

The quadruple $Z = langle A, P, U, succsim angle$ falls into one class of three variable simple polynomials by virtue of the joint single cancellation axiom.

References

* Krantz, D.H. (1968). A survey of measurement theory. In G.B. Danzig & A.F. Veinott (Eds.), "Mathematics of the Decision Sciences", part 2 (pp.314-350). Providence, RI: American Mathematical Society.
* Krantz, D.H.; Luce, R.D; Suppes, P. & Tversky, A. (1971). "Foundations of Measurement, Vol. I: Additive and polynomial representations". New York: Academic Press.
* Krantz, D.H. & Tversky, A. (1971). Conjoint measurement analysis of composition rules in psychology. "Psychological Review", "78", 151-169.
* Luce, R.D. & Tukey, J.W. (1964). Simultaneous conjoint measurement: a new scale type of fundamental measurement. "Journal of Mathematical Psychology", "1", 1-27.
* Tversky, A. (1967). A general theory of polynomial conjoint measurement. "Journal of Mathematical Psychology", "4", 1-20.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Theory of conjoint measurement — The theory of conjoint measurement (also known as conjoint measurement or additive conjoint measurement) is a general, formal theory of continuous quantity. It was independently discovered by the French economist Gerard Debreu (1960) and by the… …   Wikipedia

• List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

• List of statistics topics — Please add any Wikipedia articles related to statistics that are not already on this list.The Related changes link in the margin of this page (below search) leads to a list of the most recent changes to the articles listed below. To see the most… …   Wikipedia