Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
SNePS
open-in-new
<h2 id="sneps-as-a-logic-based-system">SNePS as a Logic-Based System</h2> <p>As a logic-based system, a SNePS KB consists of a set of terms, and functions and formulas over those terms. The set of <a href="/facts/Logical_connective/VkPhUs6M">logical connectives</a> and <a href="/facts/Quantifier_(logic)/bgmvwxoo">quantifiers</a> extends the usual set used by <a href="/facts/First-order_logic/lcISqWIg">first-order logics</a>, all taking one or more arbitrarily-sized sets of arguments. In accord with the intended use of SNePS to represent the mind of a natural-language-competent <a href="/facts/Intelligent_agent/8C2Q93Vw">intelligent agent</a>, propositions are first-class entities of the intended domain, so formulas are actually proposition-denoting functional terms. SNePSLOG, the input-output language of the logic-based face of SNePS, looks like a naive logic in that function symbols (including "predicates"), and formulas (actually proposition-denoting terms) may be the arguments of functions and may be quantified over. The underlying SNePS, however, is a first order logic, with the user's function symbols and formulas <a href="/facts/Reification_(knowledge_representation)/4udgqY99">reified</a>. </p><p>Formula-based inference is implemented as a natural-deduction-style <a href="/facts/Inference_engine/oLlNX14Q">inference engine</a> in which there are introduction and elimination rules for the connectives and quantifiers. SNePS formula-based inference is sound but not complete, as rules of inference that are less useful for <a href="/facts/Natural_language_understanding/5waCJC1e">natural language understanding</a> and <a href="/facts/Commonsense_reasoning/HfL7zQe4">commonsense reasoning</a> have not been implemented. </p><p>A proposition-denoting term in a SNePS KB might or might not be "asserted", that is, treated as true in the KB. The SNePS logic is a <a href="/facts/Paraconsistent_logic/6HLVEvrr">paraconsistent</a> version of <a href="/facts/Relevance_logic/rVQufU1b">relevance logic</a>, so that a contradiction does not imply anything whatsoever. Nevertheless, SNeBR, the SNePS Belief Revision subsystem, will notice any explicit contradiction and engage the user in a dialogue to repair it. SNeBR is an Assumption-Based Truth Maintenance System (ATMS), and removes the assertion status of any proposition whose support has been removed. </p> <h2 id="sneps-as-a-frame-based-system">SNePS as a Frame-Based System</h2> <p>As a frame-based system, every SNePS functional term (including proposition-valued terms) is represented by a frame with slots and fillers. Each slot may be filled by an arbitrarily-sized set of other terms. However, cycles cannot be constructed. SNePSUL, the SNePS User Language is an input-output language for interacting with SNePS in its guise as a frame-based system. </p><p>SNePSLOG may be used in any of three modes. In two modes, the caseframe (set of slots) associated with each functional term is determined by the system. In mode 3, the user declares what caseframe is to be used for each function symbol. </p><p>In slot-based inference, any proposition-valued frame is considered to imply the frame with any of its slots filled by a subset of its fillers. In the current implementation, this is not always sound. </p> <h2 id="sneps-as-a-network-based-system">SNePS as a Network-Based System</h2> <p>As a network-based system, SNePS is a propositional <a href="/facts/Semantic_network/mt7FlP53">semantic network</a>, thus the original meaning of "SNePS" as "The Semantic Network Processing System". This view is obtained by considering every individual constant and every functional term to be a node of the network, and every slot to be a directed labeled arc from the frame-node it is in to every node in its filler. In the intended interpretation, every node denotes a mental entity, some of which are propositions, and every proposition represented in the network is represented by the node that denotes it. Some nodes are variables of the SNePS logic, and they range over nodes, and only over nodes. </p><p>Path-based inference rules may be defined, although they, themselves, are not represented in SNePS. A path-based inference rule specifies that some labeled arc <i>r</i> may be inferred as present from some node <i>n</i> to some other node <i>m</i> just in case a given path exists from <i>n</i> to <i>m</i>. There is an extensive recursive set of path constructors available. </p> <h2 id="components">Components</h2> <ul><li>SNIP, the SNePS Inference Package, provides the <a href="/facts/Rules_of_inference/QV5NklQ9">rules of inference</a> with which SNePS deduces new assertions from an existing KB.</li> <li>SNeBR, the SNePS <a href="/facts/Belief_revision/yvQ7RHrg">Belief Revision</a> package, is a component of SNePS that detects when the KB contains contradictory beliefs. When a contradiction is detected, the user is encouraged to unassert one of the contradictory beliefs by unasserting some underlying hypotheses that led to the contradiction. As a result, all propositions that had been inferred from the hypotheses that have been unasserted are also unasserted.</li> <li>SNeRE, the SNePS Rational Engine, provides an acting executive and a set of frames for building up complex acts and plans from a set of system-defined and user-defined primitive actions. System-defined frames allow for the specification of sequences of acts, conditional acts, and iteration over acts, as well as believing and disbelieving propositions. SNeRE policies connect acting to inference, specifying, for example, that a certain act is to be done when a certain proposition is believed (asserted).</li> <li>SNaLPS, the SNePS Natural Language Processing System, consists of a Generalized <a href="/facts/Augmented_transition_network/BJ2HtnXx">Augmented Transition Network</a> Grammar interpreter and an English <a href="/facts/Morphology_(linguistics)/fWkzsYE8">morphological analyzer</a> and synthesizer so that natural language understanding and generation may be provided for SNePS-based agents.</li></ul> <h2 id="applications">Applications</h2> <p>SNePS has been used for a variety of KRR tasks, for <a href="/facts/Natural_language_processing/1hjMKsSN">natural language understanding and generation</a>, for <a href="/facts/Commonsense_reasoning/HfL7zQe4">commonsense reasoning</a>, and for <a href="/facts/Cognitive_robotics/EIldbn9j">cognitive robotics</a>. It has been used in several KR courses around the world. </p> <h2 id="availability">Availability</h2> <p>SNePS is implemented as a platform-independent system in <a href="/facts/Common_Lisp/mq1pRbSF">Common Lisp</a> and is freely available. </p> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.cse.buffalo.edu/sneps/">SNePS Research Group (SNeRG) homepage</a></li> <li><a href="http://www.cse.buffalo.edu/~rapaport/snepsrdgs.html">Essential SNePS Readings</a></li> <li><a href="http://www.cse.buffalo.edu/sneps/Bibliography/">Complete SNeRG Bibliography</a></li> <li><a href="http://www.cse.buffalo.edu/sneps/Downloads/">SNePS Downloads Page</a></li></ul>