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…

Descripción completa.

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…

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…

This thesis examines the evolution of Internet based knowledge networks (e-knowledge networks) in the domain of sustainable development. The objective of this thesis is to use an engineering systems approach to understand knowledge networks, identify the barriers to their sustainability…