切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
有关“知道”的逻辑问题的形式化
有关“知道”的逻辑问题的形式化
来源 :哲学研究 | 被引量 : 0次 | 上传用户:mengjie86
【摘 要】
:
<正> 用计算机去理解自然语言是人工智能中的重要而活跃的分支。但在现有的种种模型中,用以描述语义的几乎全是基于一阶谓词逻辑的形式系统,无法处理有关“知道”的句子。而如果要在数据库资询系统中使用自然
【作 者】
:
马希文
【机 构】
:
北京大学数学系
【出 处】
:
哲学研究
【发表日期】
:
1981年5期
【关键词】
:
形式化
逻辑问题
一阶谓词逻辑
人工智能
理解自然语言
形式系统
数据库
计算机
述语
句子
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 用计算机去理解自然语言是人工智能中的重要而活跃的分支。但在现有的种种模型中,用以描述语义的几乎全是基于一阶谓词逻辑的形式系统,无法处理有关“知道”的句子。而如果要在数据库资询系统中使用自然
其他文献
^60Co辐照降解花生油中黄曲霉毒素B1及对花生油品质的影响
以市售花生油为原料,选取酸值、过氧化值、碘值、维生素E和反式脂肪酸作为检测指标,研究不同辐照剂量下^60Co辐照对花生油中黄曲霉毒素B1(AFB1)降解率及对花生油品质的影响.结
期刊
^60Co辐照
黄曲霉毒素B1
花生油
品质
60Co irradiation aflatoxin B1 peanut oil quality
强劲四核动力,惠普推出灵动型瘦客户机HP t820
近日,惠普推出其性能最为强大的灵动型瘦客户机HP t820系列,旨在通过提供出色的性能、安全性及可管理性帮助企业实现加速发展。 HPt820灵动型瘦客户机面向那些需要高性能计算来运行专业程序的行业,例如金融交易、建筑、工程设计以及军事或政府机构。其具备强大的性能、增强的图形处理能力以及企业级的安全保障,即使设备损坏、丢失或被盗,仍可确保存储在服务器上的敏感数据得到有效保护。 惠普打印与信息产品
期刊
瘦客户机
惠普
核动力
可管理性
安全性
性能
仿制药一致性评价进展与要点
2012年1月20日,国务院下发了“关于印发国家药品安全’十二五’规划的通知”。其中最受瞩目的就是“仿制药一致性评价”工作,该项工程由国家统一指导开展。$$ 原文如下:对200
报纸
生育三烯酚分离纯化研究进展
生育三烯酚是一种高品质的天然维生素E,具有广阔的开发前景和市场需求。介绍了生育酚及生育三烯酚的来源,重点论述了生育酚及生育三烯酚分离纯化的常用方法、相关技术路线及其
期刊
生育三烯酚
生育酚
分离
纯化
tocotrienols tocopherols separation purification
关于“儒家是否演变为儒教问题”的讨论
<正> 由孔子创立的儒家学派,在中国思想史和哲学史上产生过重要的影响。如何分析儒家思想的发展及其历史作用,是哲学史界普遍关心的问题。近年来,对儒家思想在发展的过程中是不是演变为儒教(宗教)的问题,有两种不同的看法。 任继愈同志在《论儒教的形成》(《中国社会科学》1980年第1期)和《儒教的再评价》(《社会科学战线》1982年第2期)等文中认为,孔子创立的儒家学说是直接继承殷周奴隶制时期的天命神学和祖宗崇拜的宗教思想发展而来的,本身就具有进一步发
期刊
儒家学派
哲学史
儒家学说
中国思想史
《中国社会科学》
历史作用
儒家思想
宗教思想
孔子
殷周奴隶
PTC完成现代-起亚汽车PLM第一阶段部署工作
PTC近日宣布已成功完成在现代一起亚汽车集团的企业级产品生命周期管理方案第一阶段的部署工作。
期刊
汽车集团
PTC
部署
一阶
PLM
产品生命周期管理
企业级
马克思主义哲学是现代化建设的精神武器
<正> 马克思在他创立的新哲学世界观的第一个纲领性文献《关于费尔巴哈的提纲》中指出:“哲学家们只是用不同的方式解释世界,而问题在于改变世界。”这个结论是划时代的。在这个结论里,马克思指明了以往哲学的一个根本缺陷,同时也指明了新哲学——辩证唯物主义、历史唯物主义的主要特征。马克思主义哲学是无产阶级和劳动群众认识世界和改造世界的精神
期刊
马克思主义哲学
现代化建设
《关于费尔巴哈的提纲》
历史唯物主义
纲领性文献
哲学世界观
辩证唯物
根本缺陷
武器
主要特征
手术联合消炎利胆片治疗老年胆结石患者临床效果研究
目的研究手术联合消炎利胆片治疗老年胆结石患者的临床效果。方法选取本院2015年10月-2016年10月收治的98例老年胆结石患者作为样本,以48例为一组,将其分为联和组与对照组。对
期刊
手术
消炎利胆片
治疗
老年胆结石患者
临床效果
慢性心功能不全患者应用卡维地洛治疗对其血浆活性醛类物质指标的影响研究
目的评价慢性心功能不全患者应用卡维地洛治疗对其血浆活性醛类物质指标的影响。方法筛选2014年6月~2016年5月我院接收的61例慢性心功能不全患者,予以卡维地洛救治后,对治疗
期刊
慢性心功能不全
卡维地洛
血浆丙二醛
4-羟基壬烯醛
观察氯吡格雷联合阿司匹林治疗急性心肌梗死的临床疗效
目的分析氯吡格雷联合阿司匹林治疗急性心肌梗死的临床疗效。方法选择2013年7月~2015年7月来我院治疗急性心肌梗死的患者30例作为本研究对象,分为观察与对照两组,对照组给予
期刊
氯吡格雷
阿司匹林
急性心肌梗死
临床疗效
与本文相关的学术论文