17 found
  1.  5
    A model for belief revision.João P. Martins & Stuart C. Shapiro - 1988 - Artificial Intelligence 35 (1):25-79.
  2. Models and minds.Stuart C. Shapiro & William J. Rapaport - 1991 - In Robert C. Cummins (ed.), Philosophy and AI: Essays at the Interface. Cambridge: MIT Press. pp. 215--259.
    Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   18 citations  
  3. The SNePS Family.Stuart C. Shapiro & William J. Rapaport - 1992 - Computers and Mathematics with Applications 23:243-275.
    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 ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   19 citations  
  4.  26
    Intensional Concepts in Propositional Semantic Networks.Anthony S. Maida & Stuart C. Shapiro - 1982 - Cognitive Science 6 (4):291-330.
    An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   27 citations  
  5. Quasi‐Indexicals and Knowledge Reports.William J. Rapaport, Stuart C. Shapiro & Janyce M. Wiebe - 1997 - Cognitive Science 21 (1):63-107.
    We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   14 citations  
  6.  16
    Artificial intelligence.Stuart C. Shapiro - 1976 - Artificial Intelligence 7 (2):199-201.
  7. Cognitive and Computer Systems for Understanding Narrative Text.William J. Rapaport, Erwin M. Segal, Stuart C. Shapiro, David A. Zubin, Gail A. Bruder, Judith Felson Duchan & David M. Mark - manuscript
    This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   4 citations  
  8.  66
    The glair cognitive architecture.Stuart C. Shapiro & Jonathan P. Bona - 2010 - International Journal of Machine Consciousness 2 (2):307-332.
    Direct download (5 more)  
    Export citation  
    Bookmark   8 citations  
  9.  73
    Computationalism.Stuart C. Shapiro - 1995 - Minds and Machines 5 (4):467-87.
    Computationalism, the notion that cognition is computation, is a working hypothesis of many AI researchers and Cognitive Scientists. Although it has not been proved, neither has it been disproved. In this paper, I give some refutations to some well-known alleged refutations of computationalism. My arguments have two themes: people are more limited than is often recognized in these debates; computer systems are more complicated than is often recognized in these debates. To underline the latter point, I sketch the design and (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   9 citations  
  10. SL: A subjective, intensional logic of belief.Hans Chalupsky & Stuart C. Shapiro - 1994 - In Ashwin Ram & Kurt Eiselt (eds.), Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society: August 13 to 16, 1994, Georgia Institute of Technology. Erlbaum. pp. 165--170.
    Export citation  
    Bookmark   2 citations  
  11.  19
    Theoretical Foundations for Belief Revision.William J. Rapaport, Joao P. Martins & Stuart C. Shapiro - 1988 - Journal of Symbolic Logic 53 (2):669.
  12. Natural language processing using a propositional semantic network with structured variables.Syed S. Ali & Stuart C. Shapiro - 1993 - Minds and Machines 3 (4):421-451.
    We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation  
  13.  15
    Defining answer classes using resolution refutation.Debra T. Burhans & Stuart C. Shapiro - 2007 - Journal of Applied Logic 5 (1):70-91.
    Direct download (3 more)  
    Export citation  
  14. Knowledge representation.Stuart C. Shapiro - 2003 - In L. Nadel (ed.), Encyclopedia of Cognitive Science. Nature Publishing Group.
  15. Knowledge Representation for Natural Language Processing.Stuart C. Shapiro & Bell Hall - 1993 - Minds and Machines 3 (4):377-380.
  16.  34
    Preface.Stuart C. Shapiro - 1993 - Minds and Machines 3 (4):377-380.
  17.  72
    Book reviews. [REVIEW]David L. Kemmerer, Kenneth Aizawa, Donald H. Berman, Stacey L. Edgar, James E. Tomberlin, J. Christopher Maloney, John L. Bell, Stuart C. Shapiro, Georges Rey, Morton L. Schagrin, Robert A. Wilson & Patrick J. Hayes - 1995 - Minds and Machines 5 (3):411-465.