摘要
语义网络作为表示知识的主要方法成为常识知识库组成的主要形式 ,从而引出知识库的维护及推理所要解决的问题。在研究中发现 ,将面向对象技术引入语义网络的研究 ,是目前的发展方向之一。特别地 ,对关系的继承属性的形式转换是本文所关注的。文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作 ,并给出由语义网络表示转换成谓词逻辑形式表示的算法。
Semantic network is one of the tools of knowledge representation, it becomes a main form of consisting of general knowledge base, and thereby, this educes a problem needed to be solved in maintaining of the base and reasoning. It is one of researching ways to use oriented object technology in research of semantic network. Specially, we pay attention to the transforming of the inheriting attributes of relation . In this paper, we propose some basic operations between semantic network and predicate logic, and the algorithm transforming representation of semantic network to expression of predicate logic.
出处
《云南师范大学学报（自然科学版）》
2001年第6期30-33,共4页
Journal of Yunnan Normal University:Natural Sciences Edition
基金
云南省自然科学基金 (2 0 0 F0 0 49M)
云南师范大学 2 0 0 1年度青年科学基金资助课题
