论文部分内容阅读
目前,在智能系统的开发与研制过程中,知识库的建造已成为其瓶颈。为了解决这一瓶颈,适应人工智能发展的需要,为知识库的自动生成提供一种可行的手段。我们以Prolog为工具,在micro VAX Ⅱ上研制了一个知识库建造工具GKD—KBST。此工具的研制对于智能系统的研究和发展,对于探索和发展人工智能技术都具有重要的理论和现实意义。