GRINSTEIN@ulowell.CSNET (Graphics Research Lab x2681) (05/09/86)
The University of Lowell's continuing seminar series continues through the summer with THE SNePS SEMANTIC NETWORK PROCESSING SYSTEM Stuart C. Shapiro William J. Rapaport Department of Computer Science State University of New York at Buffalo The SNePS Semantic Network Processing System is a semantic network knowledge representation and reasoning system with facilities for build- ing semantic networks to represent virtually any kind of information, retrieving information from them, and performing inference with them. Users can interact with SNePS in a variety of interface languages, including a LISP-like user language, a menu-based screen-oriented edi- tor, a graphics-oriented editor, a higher-order-logic language, and an extendible fragment of English. We will discuss the syntax and semantics of SNePS considered as an intensional knowledge-representation system and provide examples of uses of SNePS for cognitive modeling, database management, pattern recogni- tion, expert systems, belief revision, and computational linguistics. in Olney 428 on May 20, 1986 from 9:00 to lunch with refreshment breaks at the University of Lowell (Lowell MA) For further information call Georges Grinstein at 617-452-5000