排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
讨论了知识、元知识的特征、关系以及表示方式.认为知识和无知识均可用谓词来统一地表示,即用一阶谓词表示知识,用高阶谓词表示无知识.简述了高阶逻辑程序设计语言HIFUNLOG,然后以该语言为基础,探讨高阶逻辑程序语言的推理机制.用谓词表示法统一地表示知识和无知识使得元推理与推理具有同样机制,均是(合一+归结)+的过程. 相似文献
2.
一种元知识表示方式与其对应的元推理机制 总被引:1,自引:0,他引:1
常滔 《武汉水利电力大学学报》1995,28(2):186-190
讨论了知识,元知识的特征,关系以及表示方式,认为知识和元知识均可用谓词来统一地表示,即用一阶谓词表示知识,用高介谓词表示元知识,简述了高阶逻辑程序设计语言HIFUNLOG,然后以该语言为基础,探讨高阶逻辑程序语言的推理机制,用谓词表示法统一地表示知识和元知识使得元推理与推理具有同样机制,均是(合-+归结)^+的过程。 相似文献
1