The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.

The current consensus is that most natural categories are not organized around strict definitions (a list of singly necessary and jointly sufficient features) but rather according to a family resemblance (FR) principle: Objects belong to the same category because they are similar to each other and dissimilar to objects in contrast categories. A number of computational models of category construction have been developed to provide an account of how and why people create FR categories (Anderson, 1990; Fisher, 1987). Surprisingly, however, (...) only a few experiments on category construction or free sorting have been run and they suggest that people do not sort examples by the FR principle. We report several new experiments and a two‐stage model for category construction. This model is contrasted with a variety of other models with respect to their ability to account for when FR sorting will and will not occur. The experiments serve to identify one basis for FR sorting and to support the two‐stage model. The distinctive property of the two‐stage model is that it assumes that people impose more structure than the examples support in the first stage and that the second stage adjusts for this difference between preferred and perceived structure. We speculate that people do not simply assimilate probabilistic structures but rather organize them in terms of discrete structures plus noise. (shrink)

We argue that abduction does not work in isolation from other inference mechanisms and illustrate this through an inference scheme designed to evaluate multiple hypotheses. We use game theory to relate the abductive system to actions that produce new information. To enable evaluation of the implications of this approach we have implemented the procedures used to calculate the impact of new information in a computer model. Experiments with this model display a number of features of collective belief-revision leading to consensus-formation, (...) such as the influence of bias and prejudice. The scheme of inferential calculations invokes a Peircian concept of ‘belief’ as the propensity to choose a particular course of action. (shrink)

Six experiments explored the hypothesis that the members of categories which are considered most prototypical are those with most attributes in common with other members of the category and least attributes in common with other categories. In probabilistic terms, the hypothesis is that prototypicality is a function of the total cue validity of the attributes of items. In Experiments 1 and 3, subjects listed attributes for members of semantic categories which had been previously rated for degree of prototypicality. High positive (...) correlations were obtained between those ratings and the extent of distribution of an item's attributes among the other items of the category. In Experiments 2 and 4, subjects listed superordinates of category members and listed attributes of members of contrasting categories. Negative correlations were obtained between prototypicality and superordinates other than the category in question and between prototypicality and an item's possession of attributes possessed by members of contrasting categories. Experiments 5 and 6 used artificial categories and showed that family resemblance within categories and lack of overlap of elements with contrasting categories were correlated with ease of learning, reaction time in identifying an item after learning, and rating of prototypicality of an item. It is argued that family resemblance offers an alternative to criterial features in defining categories. (shrink)