关键词: 逻辑学  知识组织  概念逻辑  谓词逻辑  

2007年第31期 《图书情报导刊》

关键词: 谓词逻辑  一阶逻辑公式  函数符号  真度  可计算性  horn子句  

2012年第05期

关键词: 康德  弗雷格  主谓判断  谓词逻辑  

2018年第01期 《贵州工程应用技术学院学报》

关键词: 南水北调中线工程  谓词逻辑  优化调度  

2005年第04期 《水利水电技术》

关键词: 赌局  非精确概率  自然扩张  谓词逻辑  

2019年第04期 《逻辑学研究》

关键词: 自动应答系统  语义网络  lsf模型  谓词逻辑  

2004年第06期 《计算机应用研究》

关键词: 命题逻辑  思维方式  谓词逻辑  词项逻辑  有效性  学科  王路  

2018年第10期 《教学月刊·小学版语文》

关键词: 谓词逻辑  复合宾语  双宾语  

2017年第37期 《校园英语》

关键词: 自动应答系统  语义网络  lsf模型  谓词逻辑  

2004年第13期 《计算机工程》

关键词: 答疑系统  关键词匹配  谓词逻辑  谓词匹配  

2005年第05期 《计算机与现代化》

关键词: 数据挖掘  背景知识  谓词逻辑  关联规则  决策树  

2005年第10期 《计算机工程与应用》

关键词: 数据库  谓词公式  分层公式  谓词逻辑  自然语言处理  

2004年第03期 《计算机技术与发展》

关键词: 嵌入式系统  系统需求  设计  可追踪性  谓词逻辑  语义模型  安全性分析  

2018年第03期 《计算机学报》

关键词: 归结原理  应用  计算机科学  理论知识  人工智能  谓词逻辑  

2005年第13期 《中国科技信息》

关键词: 谓词逻辑  人工智能  知识表示  形式语言  

2017年第06期 《数码世界》

关键词: 逻辑学家  弗雷格  思维形式  现代逻辑  辩证运动  哥德尔  分析性  形式系统  纯粹形式  谓词逻辑  

2016年第08期 《社会观察》

关键词: 个体域  谓词逻辑  函数  命题符号化  

2016年第06期 《唐山学院学报》

关键词: 离散事件系统  监督控制理论  状态树结构  控制函数  谓词逻辑  

2016年第11期 《西安交通大学学报》

关键词: 韩国语  连接词尾  知识表示  谓词逻辑  

2016年第05期 《解放军外国语学院学报》

关键词: 人工智能  谓词逻辑  知识表示  消解原理  

2006年第06期 《河南机电高等专科学校学报》