Abstract
This paper provides an introduction to SNePS 3, the latest entry in the SNePS family of knowledge representation and reasoning (KRR) systems. The emphasis is on SNePS 3 as an example of a logic-based network KRR system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Shapiro, S.C., Rapaport, W.J.: The SNePS family. Computers & Mathematics with Applications 23(2–5), 243–275 (1992); Reprinted in [30, pp. 243–275]
Shapiro, S.C.: The SNePS Implementation Group. SNePS 2.5 User’s Manual. Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, NY (1999)
Ali, S.S., Shapiro, S.C.: Natural language processing using a propositional semantic network with structured variables. Minds and Machines 3(4), 421–451 (1993)
Ali, S.S.: A “Natural Logic” for Natural Language Processing and Knowledge Representation. PhD thesis, Technical Report 94-01, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY (January 1994)
Steele Jr., G.L.: Common Lisp the Language, 2nd edn. Digital Press (1990)
Shapiro, S.C.: The CASSIE projects: An approach to natural language competence. In: Martins, J.P., Morgado, E.M. (eds.) EPIA 1989: 4th Portugese Conference on Artificial Intelligence Proceedings. LNCS (LNAI), vol. 390, pp. 362–380. Springer, Berlin (1989)
Shapiro, S.C.: Embodied Cassie. In: Cognitive Robotics: Papers from the 1998 AAAI Fall Symposium, Technical Report FS-98-02, pp. 136–143. AAAI Press, Menlo Park, California (October 1998)
Shapiro, S.C., Rapaport, W.J.: Models and minds: Knowledge representation for natural-language competence. In: Cummins, R., Pollock, J. (eds.) Philosophy and AI: Essays at the Interface, pp. 215–259. MIT Press, Cambridge (1991)
Shapiro, S.C.: SNePS: A logic for natural language understanding and commonsense reasoning. In: Iwańska, I., Shapiro, S.C. (eds.) Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language. AAAI Press/The MIT Press (2000)
Woods, W.A.: What’s in a link. In: Bobrow, D.G., Collins, A. (eds.) Representation and Understanding, pp. 35–82. Academic Press, New York (1975); Reprinted in [31], pp. 218–241]
Shapiro, S.C.: Belief spaces as sets of propositions. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 5(2&3), 225–235 (1993)
Maida, A.S., Shapiro, S.C.: Intensional concepts in propositional semantic networks. Cognitive Science 6(4), 291–330 (1982); Reprinted in [31, pp. 170–189]
Shapiro, S.C.: Symmetric relations. Symmetric relations, intensional individuals, and variable binding. Proceedings of the IEEE 74(10), 1354–1363 (1986)
Shapiro, S.C., Rapaport, W.J.: SNePS considered as a fully intensional propositional semantic network. In: Cercone, N., McCalla, G. (eds.) The Knowledge Frontier, pp. 263–315. Springer, New York (1987)
Rapaport, W.J., Shapiro, S.C., Wiebe, J.M.: Quasi-indexicals and knowledge reports. Cognitive Science 21(1), 63–107 (1997); Reprinted in [32], pp. 235–294]
Israel, D.J.: Interpreting network formalisms. In: Cercone, N. (ed.) Computational Linguistics, pp. 1–13. Pergammon Press, Oxford (1983)
Brachman, R.J.: On the epistemological status of semantic networks. In: Findler, N.V. (ed.) Associative Networks: The Representation and Use of Knowledge by Computers, pp. 3–50. Academic Press, New York (1979)
Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos (1987)
Kumar, D.: The SNePS BDI architecture. Decision Support Systems 16(1), 3–19 (1996)
Kumar, D., Shapiro, S.C.: Acting in service of inference (and vice versa). In: Dankel II, D.D. (ed.) Proceedings of The Seventh Florida AI Research Symposium (FLAIRS 1994), May 1994, pp. 207–211. The Florida AI Research Society (1994)
Ismail, H.O., Shapiro, S.C.: Two problems with reasoning and acting in time. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR 2000), San Francisco, pp. 355–365. Morgan Kaufmann, San Francisco (2000)
Shapiro, S.C.: Cables, paths and “subconscious” reasoning in propositional semantic networks. In: Sowa, J. (ed.) Principles of Semantic Networks: Explorations in the Representation of Knowledge, pp. 137–156. Morgan Kaufmann, Los Altos (1991)
Shapiro, S.C.: Path-based and node-based inference in semantic networks. In: Waltz, D.L. (ed.) Tinlap-2: Theoretical Issues in Natural Languages Processing, pp. 219–225. ACM, New York (1978)
Srihari, R.: Combining path-based and node-based reasoning in SNePS. Technical Report 183, Department of Computer Science, SUNY at Buffalo, Buffalo, NY (1981)
Fine, K.: A defence of arbitrary objects. Proceedings of the Aristotelian Society Supp. 58, 55–77 (1983)
Wos, L., Overbeek, R., Lusk, E., Boyle, J.: Automated Reasoning: Introduction and Applications. Prentice-Hall, Englewood Cliffs (1984)
Stickel, M.E.: Automated deduction by theory resolution. In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI 1985), Los Altos, CA, vol. 2, pp. 1181–1186. Morgan Kaufmann, San Francisco (1985)
Date, C.J.: An Introduction to Database Systems, 3rd edn., vol. 1. Addison-Wesley, Reading (1981)
Choi, J.: Experience-Based Learning in Deductive Reasoning Systems. Technical report 93-20, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY (1993)
Lehmann, F. (ed.): Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (1992)
Brachman, R.J., Levesque, H.J. (eds.): Readings in Knowledge Representation. Morgan Kaufmann, San Mateo (1985)
Orilia, F., Rapaport, W.J. (eds.): Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda. Kluwer Academic Publishers, Dordrecht (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shapiro, S.C. (2000). An Introduction to SNePS 3. In: Ganter, B., Mineau, G.W. (eds) Conceptual Structures: Logical, Linguistic, and Computational Issues. ICCS 2000. Lecture Notes in Computer Science(), vol 1867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722280_35
Download citation
DOI: https://doi.org/10.1007/10722280_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67859-5
Online ISBN: 978-3-540-44663-7
eBook Packages: Springer Book Archive