论文部分内容阅读
本文描述一种知识表示语言GKL。该语言将面向对象的方法与模式匹配技术有机的结合起来,提供了多种模式描述机制和模式功能,知识的结构描述,搜索和推理机制都由模式和知识对象提供。知识工程师通过GKL可方便的对知识世界进行简明的结构化的描述,用户可以方便的操纵知识库。GKL还可描述分布式知识并提供了不确定匹配功能。