AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
谓词演算图谱-自然科学领域:
研究人员
刘观生
梅卫锋
吕震宇
夏安邦
曾文飞
宋方敏
颜玲
郭天晨
阎红灿
刘保相
郭星明
张昱
肖奚安
朱梧槚
汪时萍
林孔元
张三元
刘艳丽
相关术语
本体需求
归结原理
建立模型
模态逻辑系统
故障诊断
存在量词
可能世界
问题求解
数理逻辑
模态词
支持集
布尔结构
中介命题演算
有限集构造
量词
真值表
中介谓词演算
命题
管理信息系统
关系代数
模型构造
决策支持系统
SQL
推理规则
除法
人工智能知识推理
全称量词
谓词逻辑
标签云
谓词演算图谱-自然科学领域:
图谱关系 查看更多
相关术语 查看更多
谓词演算标签云