摘要： 该文用F—logic程序写出了一个概念语义网F—Net，从而指出了实现语义网的一种可能的新方法。用F——logic来实现语义网的优点是：可以利用F—logic程序对该语义网的语义模型进行研究，而这一点现有的其它语义网实现方法都无法做到。文章末尾还提出了在人工智能领域中进一步应用F—logic的可能方向。

关键词: 概念语义网, F—logic, 继承推理

Abstract: A semantic network named by F-Net is defined here.Its structure can be described by a collection of predicate calculus formula and supports the inheritance deduction.Then it is implemenied here by an F-logic program.By this way, we can explore some important issues of F-Net such as its semantic models and the like.It is also proposed that mapping an extant semantic network to an F-logic program without changing it,s semantics is an interesting topic left to be researched.

中图分类号: 

• TP18