The nested logit model (McFadden 1978, 1981) allows partial relaxation of the assumption of independence of the stochastic components of utility of alternatives. In some choice situations, the IIA property holds for some pairs of alternatives but not all. In these situations, the nested logit model can be used if the set of alternatives faced by an individual can be partitioned into subsets such that the IIA property holds within subsets but not across subsets.
In the nested logit model, the joint distribution of the errors is generalized extreme value (GEV). This is a generalization of the Type I extremevalue distribution that gives rise to the conditional logit model. Note that all within each subset are correlated with each other. Refer to McFadden (1978, 1981) for details.
Nested logit models can be described analytically following the notation of McFadden (1981). Assume that there are levels, with 1 representing the lowest and representing the highest level of the tree. The index of a node at level in the tree is a pair , where is the index of the adjacent node at level . Thus, the primitive alternatives, at level 1 in the tree, are indexed by vectors , and the alternative nodes at level L are indexed by integers . The choice set is the set of primitive alternatives (at level 1) that belong to branches below the node . The notation is also used to denote a set of indices such that is a node immediately below . Note that is a set with a single element, while represents a choice set that contains all possible alternatives. As an example, consider the circled node at level 1 in Figure 18.26. Since it stems from node , , and since it is the second node stemming from , , its index is . Similarly, contains all the possible choices below .
Although this notation is useful for writing closedform solutions for probabilities, the MDC procedure allows a more flexible definition of indices. See the section NEST Statement for more details about how to describe decision trees within the MDC procedure.
Figure 18.26: Node Indices for a ThreeLevel Tree
Let denote the vector of observed variables for individual common to the alternatives below node . The probability of choice at level has a closedform solution and is written

where is the inclusive value (at level ) of the branch below node and is defined recursively as follows:


The inclusive value denotes the average utility that the individual can expect from the branch below . The dissimilarity parameters or inclusive value parameters () are the coefficients of the inclusive values and have values between 0 and 1 if nested logit is the correct model specification. When they all take value 1, the nested logit model is equivalent to the conditional logit model.
At decision level 1, there is no inclusive value; that is, . Therefore, the conditional probability is

The loglikelihood function at level can then be written

where is an indicator variable that has the value of 1 for the selected choice. The full loglikelihood function of the nested logit model is obtained by adding the conditional loglikelihood functions at each level:

Note that the loglikelihood functions are computed from conditional probabilities when . The nested logit model is estimated using the full information maximum likelihood method.