摘要
本文叙述了一个以情境为单位基于情境间的相似和整体部分关系的类比知识表示系统．给出了描述这种知识结构的内涵命题逻辑的语法、语义和公理系统。用实例说明了情境的联接不是逻辑与关系。
An analogical knowledge representation system. which consists of situation. similarity and part-whole relationship between those situations. is deseribed in this paper. An intensional propositional logic for representing ana logical knowledge is presented . including its syntax. semantics and axiom system. Based on an example analysis, it is pointed out that. the connection between situations differs from logical-AND relationship.
出处
《计算机学报》
EI
CSCD
北大核心
1995年第12期893-900,共8页
Chinese Journal of Computers
基金
国家自然科学基金
攀登计划资助
关键词
类比推理
知识表示
内涵逻辑
Analogical reasoning. knowledge representation . intensional logic.
