资 源 简 介
SNePS is one of the oldest, yet developing, systems for knowledge representation and reasoning in AI. Akin to a programming language, SNePS is a flexible system for building and manipulating propositional semantic networks. A propositional semantic network is a labeled directed graph were nodes represent entities (possibly propositions) and arcs represent structural relations among them. The basic SNePS system is a network managing system concerned with building and finding nodes. On top of that, there are several sub-systems for reasoning, acting, belief-revision, and natural language understanding and generation. The current version of SNePS is implemented in Common Lisp. In a series of projects, we shall attempt to implement a Java version of the complete SNePS system.
文 件 列 表
JavaSNePS
acknow.aux
acknow.tex
acknow.tex.bak
acronym.aux
acronym.tex
appendix.aux
appendix.tex
book.aux
book.dvi
book.idx
book.log
book.tex
book.toc
chapter.aux
chapter.tex
chapter.tex.bak
dedic.aux
dedic.tex
dedic.tex.bak
figure.eps
footmisc.sty
foreword.aux
foreword.tex
glossary.aux
glossary.tex
Java.aux
JavaSNePS.aux
JavaSNePS.dvi
JavaSNePS.idx
JavaSNePS.log
JavaSNePS.pdf
JavaSNePS.tex
JavaSNePS.tex.bak
JavaSNePS.toc
NetworkManagement.aux
NetworkManagement.tex
part.aux
part.tex
preface.aux
preface.tex
preface.tex.bak
referenc.tex
SNeBR.aux
SNeBR.tex
SNeBR.tex.bak
SNIP.aux
SNIP.tex
SNIP.tex.bak
solutions.aux
solutions.tex
spbasic.bst
spmpsci.bst
spphys.bst
svind.ist
svmono.cls
type1cm.sty
UI.aux
UI.tex
UI.tex.bak
