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…

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…

(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…

This paper presents an intelligent, hybrid system for stamping process planning in progressive die design. The system combines the flexibility of blackboard architecture with case-based reasoning. The hybrid system has the advantage that it can use past knowledge and 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…

(cont.) updates. It produces plan-ready information, by exploiting the self-serving and opportunistic pursuit of instant return-on-investment by frontline offices. Thanks to its emergent qualities, City Knowledge engenders unexpected plan-demanding situations, where the ability to conduct second-order analyses leads to deeper…

One important purpose for creating clinical practice guidelines is to improve quality of care by reducing variations in practice. In the current healthcare environment, guidelines are being advocated as a means to disseminate research findings, standardize care, improve quality of…

(cont.) to the verifier., We consider an implementation of a weakened notion of zero-knowledge (weak ZK) where the simulator is also allowed to depend on the distinguisher as well, so this type of ZK entails exhibiting an efficient simulator for…