切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
制约逻辑 消解原理 人工智能语言
制约逻辑 消解原理 人工智能语言
来源 :贵州师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:xyh
【摘 要】
:
本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。
【作 者】
:
蒋学锋
【机 构】
:
贵州大学计算机科学系贵阳550025
【出 处】
:
贵州师范大学学报(自然科学版)
【发表日期】
:
1992年4期
【关键词】
:
制约逻辑
消解原理
人工智能语言
Entailment Loglc
Resolution Method
Language of AI
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。
其他文献
不同培养条件对孕中期羊水干细胞分离及扩增能力的影响对比
目的研究不同培养条件对孕中期羊水干细胞分离与扩增能力的影响。方法选择我院2016年8月至2017年8月因医疗指针引产的孕妇20例,经腹部抽取10-20 m L羊水,收取细胞并根据培养
期刊
培养条件
羊水
干细胞
燕京啤酒逆向思维推动e化
作为中国三大啤酒名牌之一,燕京啤酒执中国啤酒业之一方牛耳.2004年,燕京啤酒产销量285万吨,同比增长32%,创下了连续9年全国产销量第一的记录,而在企业信息化建设方面,燕京啤
期刊
逆向思维
E化
啤酒
精细化管理
解决方案
开发模式
信息化
企业
新化:贫困县的国土资源丰收路
地处湘中的新化是国家级贫困县,然而这个拥有134万人口和3642平方公里面积的革命老区其实是一个资源相当丰富的地方--可供开发利用的矿产有36种之多.如何让这片蕴藏着无限潜
期刊
国土资源局
贫困县
开发利用
国家级
新化县
联想留点谜语让你猜——联想联想
并购IBM PC.新联想最重要的收获是什么?柳传志答:“是一个使联想业务持续快速发展的方法”。柳传志强调的是“方法”。实际上联想得到的是“效果”——迅速在全球范围内掌握IBM
期刊
计算机行业
联想集团
市场竞争力
中国
电子信息产业
信息为弦 奏出和谐音——北京市西城区社区信息化掠影
从下岗到成功再就业,从电脑盲到使用语音聊天,从有代沟到互相理解……西城区百姓们的生活正在发生变化——
期刊
北京市西城区
社区信息化
谐音
语音聊天
发生变化
再就业
电脑
城市情怀——哈尔滨实现城市统一监控,体现服务、管理两为民
11月2日上午9点,哈尔滨市火车站。北京某总公司技术员小张到哈尔滨出差.分公司的小王在此接他,他们并不认识。熙熙攘攘的人群中,小张东张西望一番过后,还是掏出手机拨通对方的电话
期刊
哈尔滨市
城市监控
通讯工具
信息时代
信息资源
像法官一样思考企业
企业家在知识产权方面法律意识淡薄,社会整体法律氛围不足,这些都为中国企业的国际化埋下更多隐患,经历麻烦.
期刊
法律意识
知识产权
中国企业
企业家
国际化
从一个X值谈我国征地补偿制度改革
征地补偿是征地制度的核心;征地补偿标准适当与否,关系到征地制度的实施与成败。近年来,因征地补偿过低,政府征地工作难度大大增加;被征地农民阻工、闹事的现象频繁发生;群体性上访
期刊
征地补偿标准
制度改革
X值
征地制度
征地工作
社会问题
社会发展
补偿制度
土地利用现状数据库境界接边技术方法探讨
省、地、县级境界接边是土地利用现状数据库建设工作中的一个重要环节。土地利用现状数据库境界接边的目的是使各地土地利用现状数据库建库内容不重不漏,反映的境界两侧相邻县
期刊
土地利用现状数据库
接边
技术
数据库建设
自然规律
挂图
沃达丰选中英飞凌3G平台
2月16日,英飞凌科技股份公司宣布,全球最大的移动运营商沃达丰将评估该公司的UMTS双模平台。基于英飞凌MP-EUUMTS多媒体平台的第一批3G移动电话将在2006年中期上市。
期刊
3G移动电话
多媒体平台
股份公司
移动运营商
UMTS
与本文相关的学术论文