The design of intelligent agents is greatly influenced by the many different models that exist to represent knowledge. It is essential that such agents have computationally adequate mechanisms to manage its knowledge, which more often than not is incomplete and/or…

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

Although we represent other people in terms of both what they look like and how they behave, these two aspects of person knowledge have rarely been studied together. While vision scientists have focused on the processing of faces and bodies,…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

D. Eleanor Westney., Cover title. "Paper prepared for JAIMS conference on 'International Comparative Study of Knowledge Creation', Hawaii, December 12-14, 1996"--Added t.p. "February 1997.", Includes bibliographical references (p. 31-34).

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…

Over the past several decades, abundant research has investigated the onset of gender role development in early childhood, suggesting that children as young as 3 possess substantial awareness of gender stereotypes and, by age 5, strong beliefs about the need…

Communication over interference channels poses challenges not present for the more traditional
additive white Gaussian noise (AWGN) channels. In order to approach the information
limits of an interference channel, interference mitigation techniques need to be
integrated with channel coding and…

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

Lori Faith Lamel., Also issued as Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988., Includes bibliographical references., Supported by the Defense Advanced Research Projects Agency, Vinton-Hayes, Bell Laboratories (GRPW), and Inference Corporation.