Learn More
J the cognitive and brain sciences community online "MIT CogNet is an important new venture that brings together many different resources for the cognitive and brain sciences. By bringing information directly to researchers and students and allowing rapid dissemination of important new research directions, CogNet bypasses the slow and expensive efforts in(More)
1 Motivation SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimately be built, not by a programmer or knowledge engineer entering(More)
It is generally recognized that the possibility of detecting contradictions and identifying their sources is an important feature of an intelligent system. Systems that are able to detect contradictions, identify their causes, or readjust their knowledge bases to remove the contradiction, called Belief Revision Systems, Truth Maintenance Systems, or Reason(More)
An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only in-tensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in some world. This framework is employed in three application(More)
This document i s a draft of an initial speciication for the KQML agent communication language being developed by the external interfaces working group of the DARPA Knowledge Sharing EEort. KQML is intendewd to be a high-level language to be used by knowledge-based system to share knowledge at run time. Notice of DRAFT status. This document presents the(More)
The augmented transition network (ATN) is a formalism for writing parsing grammars that has been much used in Artificial Intelligence and Computational Linguistics. A few researchers have also used ATNs for writing grammars for generating sentences. Previously , however, either generation ATNs did not have the same semantics as parsing ATNs, or they(More)
The GLAIR grounded layered architecture with integrated reasoning for cognitive robots and intelligent autonomous agents has been used in a series of projects in which Cassie, the SNePS cognitive agent, has been incorporated into hardware-or software-simulated cognitive robots. In this paper, we present an informal, but coherent, overview of the GLAIR(More)
People frequently and effectively integrate deictic and graphic gestures with their natural language (NL) when conducting human-to-human dialogue. Similar multi-modal communication can facilitate human interaction with modern sophisticated information processing and decision-aiding computer systems. As part of the CUBRICON project, we are developing NL(More)