林邦瑾 高东升 吴春红

制约关系的两个独立性 制约门 人工智能 制约逻辑 概括原则 内涵智能机 非线性数学 内涵科学分析法 宇宙智能 耗散结构论 传统直言命题 推理式 判定方法 制约关系 协同论 内涵命题 传统逻辑 人类智能 非古典逻辑 知识表示 第一独立性 外延命题 能从已知得出新知 数理逻辑 第二独立性 正统数理逻辑 重言式

贵州大学信息管理系 贵州大学哲学系 贵州贵阳 中国制约逻辑学会 贵州大学信息管理 潍坊高新技术产业开发区项目论证中心 贵州大学