Stuart C. Shapiro

Learn 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)
This document is a draft of an initial speci cation for the KQML agent communication language being developed by the external interfaces working group of the DARPA Knowledge Sharing E ort. 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 required(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 hardwareor 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)
Raouralva r u l e s , such as "Your paren ts ' ancestors are your ances tors" , a l though vary uaafu l f o r theorem p rov ing , na tu ra l languaga understanding, quest ion-answering and In fo rmat ion r e t r i e v a l systems, present problems f o r many such systems, e i t h e r causing i n f i n i t e loopa o r r e q u i r i n g tha t a r b i t r a r(More)
A Logic of Arbitrary and Indefinite Objects, LA, has been developed as the logic for knowledge representation and reasoning systems designed to support natural language understanding and generation, and commonsense reasoning. The motivations for the design of LA are given, along with an informal introduction to the theory of arbitrary and indefinite(More)