This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…

Control of machines that exhibit flexibility becomes important when designers attempt to push the state of the art with faster, lighter machines. Three steps are necessary for the control of a flexible planet. First, a good model of the plant…

The wars in Iraq and Afghanistan forced a revolution in military thinking that brought
stability operations to the forefront while coloring the military as one-part warrior, one part reluctant architect of peace. Despite years of experience in stability operations of…

La présente recherche a pour objectif d’étudier les effets que peuvent exercer la conception du travail sur le type de conflit qui émerge en milieu de travail. La notion de conception du travail se divise en trois dimensions, soit les…

A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…

Dictionary entry, That newspapers were, unlike many books, relatively free from external censorship may be attributed to the Regency trials and acquittals for seditious libel of William Hone*
and Thomas Wooler* in 1817, after which the press
acquired freedom from…

This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…

This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. WATSONs task is to isolate failures in radio receivers whose…

The goal of the work reported here is to capture the commonsense knowledge of non-expert human contributors. Achieving this goal will enable more intelligent human-computer interfaces and pave the way for computers to reason about our world. In the domain…

This thesis investigates what knowledge is necessary to solve mechanics problems. A program NEWTON is described which understands and solves problems in mechanics mini-world of objects moving on surfaces. Facts and equations such as those given in mechanics text need…