We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…

We examine semantic interoperability problems in the fixed income securities industry
and propose a knowledge representation architecture for context interchange
mediation to support dynamic integration of autonomous database, web, and
procedural sources of information. For sources and…

Honda of America has developed a comprehensive approach to teaching the principles of lean
production to its suppliers. The centerpiece of these efforts is a program called BP (for "Best process",
"Best Performance", "Bs Practice"), in which a crossfunctional team…

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

by C. Annique Un., Thesis (Ph.D.)--Massachusetts Institute of Technology, Sloan School of Management, February 2001., "February 2000.", Includes bibliographical references (leaves 297-311).

Karim Hussein ... [et al.], "March 1994.", Includes bibliographical references (p. [23]-[24])., Supported by the Productivity From Information Technology (PROFIT) Research Initiative at MIT.

The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and outlines the design of a computational model of common…

by Antoine D. Guivarch., Thesis (S.M.)--Massachusetts Institute of Technology, Engineering Systems Division, Technology and Policy Program; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2003., Includes bibliographical references (p. 149-152).

We had previously shown that regularization principles lead to approximation schemes, as Radial Basis Functions, which are equivalent to networks with one layer of hidden units, called Regularization Networks. In this paper we show that regularization networks encompass a much…

The thesis explores architectural form generation through two behavior based artificial intelligence approaches: the communication of agents in an unpredictable simulation system, and the codification of information within an evolutionary process. Both concepts stem from the evaluation of potentially definable…