知识结构的三叉树表示和逻辑推理的实现

被引:5
作者
张乃孝
机构
[1] 北京大学计算机系
关键词
三叉树; 推理过程; 索引表; 谓词; 实词; 逻辑程序; 人员结构; 知识结构; 逻辑推理;
D O I
暂无
中图分类号
学科分类号
摘要
本文根据逻辑程序的要求,设计了知识结构的三叉树表示法,并给出了基于这种表示的推理过程的框架。
引用
收藏
页码:32 / 41
页数:10
相关论文
共 1 条
[1]   逻辑程序中的控制策略及其表示 [J].
张乃孝 ;
侯世君 .
北京大学学报(自然科学版), 1988, (05) :630-636