If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…

Banking channel management has become a crucial component in the drive for improved efficiency. Since the channel is the interlocutor between customers and products, banks are leveraging their knowledge of channels to efficiently address perfect product portfolio through the most…

This dissertation considers three implications of collective self-government for just foreign policies in an imperfect world. Individuals are the appropriate moral unit of analysis, constrained to govern themselves justly, together with compatriots. First I derive limits to state autonomy that…

In order to understand and create human-level intelligence I have developed the Polyscheme cognitive architecture to build systems that combine several representation and inference schemes when they think. Polyscheme is based on three principles. First, different (aspects of) situations that…

This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit…

Drawing on an empirical study on automakers? management of supplier
involvement in product development in Japan, this paper shows that when the design of
a component is outsourced to a supplier, how much and what automakers know about
the component…

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…

(cont.) which is expected, given their additional knowledge resources. The respondents' urgency in looking for the relevant knowledge is the primary explanation for this difference between the two networks. This difference in knowledge networking among the different groups did not…

his dissertation analyzes how local knowledge improves environmental decisions. The premise is that controlling pollution and addressing public health disparities are not problems that professionals alone can solve. Concerned lay publics, especially low-income populations and people of color that experience…

I present a novel design methodology for the synthesis of automatic controllers, together with a computational environment---the Control Engineer's Workbench---integrating a suite of programs that automatically analyze and design controllers for high-performance, global control of nonlinear systems. This work demonstrates…