林邦瑾 龚启荣 蒋学锋 高东升

传统直言命题 实体—关系模型 内涵命题 制约门 人工智能 协同论 人工智能语言 正统数理逻辑 消解原理 制约关系 封闭世界假设 内涵智能机 知识表示 宇宙智能 制约关系的两个独立性 耗散结构论 人类智能 非古典逻辑 非线性数学 外延命题 能从已知得出新知