Learn 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)
Abatraot Raouralva rules, such as "Your parents' ancestors are your ancestors", although vary uaaful for theorem proving, natural languaga understanding, question-answering and Information retrieval systems, present problems for many such systems, either causing infinite loopa or requiring that arbitrarily many copies of them be made. SNIP, the SNaPS(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)
We discuss how a deductive question-answering system can represent the beliefs or other cognitive states of users, of other (interacting) systems, and of itself. In particular, we examine the representation of first-person beliefs of others (e.g., the ~/v.~'~ representation of a user'A belief that he himself is rich). Such beliefs have as an essential(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)
For the last quarter of a century, software technologists have worked to address the " software crisis " identified in the 1960s. Their efforts have focused on a number of different areas, but have often been marked by the search for singular " best " solutions. However, the fundamental nature of software— involving basic and poorly understood(More)