切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
只有制约逻辑才能作为人工智能的逻辑工具
只有制约逻辑才能作为人工智能的逻辑工具
来源 :贵州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lovetheme1988
【摘 要】
:
对宇宙的显示实机器表示,加到有的知识表示系统中去,行使机器推理,去得出前所未有的新的知识表示的机器运行过程,就称为人工智能。能从已有的知识得出新的知识是人工智能的根本。
【作 者】
:
龚启荣
【机 构】
:
贵州大学哲学系贵阳550025
【出 处】
:
贵州大学学报:自然科学版
【发表日期】
:
1995年2期
【关键词】
:
制约逻辑
人工智能
逻辑工具
Lin's Entailment Logic
artificial intelligence
capability of
【基金项目】
:
贵州省科委立项课题“知识表示的逻辑理论工具”的一部分
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对宇宙的显示实机器表示,加到有的知识表示系统中去,行使机器推理,去得出前所未有的新的知识表示的机器运行过程,就称为人工智能。能从已有的知识得出新的知识是人工智能的根本。
其他文献
第一递推关系的普遍证明及其与Gram—Schmidt过程的关系
证明第一递推关系,讨论了第一递推关系与Gram-Schmidt过程的关系。
期刊
广义朗之万方程
第一递推关系
非平衡态统计
the generalized Langevin equation
中等职业教育计算机教学中创造力的培养
计算机本身的特点决定了计算机教学在开展创造教育方面具有得天独厚的优势。笔者结合实践与探索,从教师的教与学生的学两个方面阐述了如何实施创造教育、培养学生创造力。
期刊
计算机教学
教与学
创造思维
《计算机网络》课程双语教学的实践探索与小结
本文从必要性、条件、过程方法和考核方式四个方面探讨了《计算机网络》课程开展双语教学的经验与得失,并对改进方法作了初步建议。
期刊
计算机网络
双语教学
教学方法
^104—110Pd核的集体激发
以Dyson玻色子展开理论为基础建立的相互作用玻色子模型微观理论方案,已推广到有g玻色子自由度的情况,本文用它研究^104-110Pd同位链,对应的sdg模型哈密顿量是从壳模型输入量算出,其中的系数与从唯象
期刊
玻色子
钯原子核
集体激发
唯象模型
钯同位素链
interacting boson
isotopic chain of ~(104-110)Pd
Hami
谈实验教学
实验教学与理论教学是两个不同的教学环节,它们有着共同的特点,但是又各具自身的规律。由于实验教学是多维的,立体的,采用学生自己的动手为主,教师指导为畏的教学方法,对发挥学生的
期刊
实验教学
非智力因素
综合评价
化学实验
Experiment teaching
Non—intelligence factor
Synthetial appr
加强税收票证管理,促进以票管税
期刊
税收票证
税收管理
税务机关
税控装置
金税工程
利用贝尔态的高效量子密钥分配协议
提出了一个建立在EPR关联之上的量子密钥分配协议。除了用作纠错部分之外,所有的量子位都对密钥生成有贡献。因此它是高效的,每个EPR对贡献密钥的两个位,所以本协议可以获得高容
期刊
量子密钥分配
EPR对
贝尔状态测量
高容量
quantum key distribution EPR pair Bell state measurement
谈浅法学课治政三初
<正> 升入初三,即将中考,面对初三政治课中繁多的知识条目,掌握一套合理、有效、切实可行的科学的学习方法显得尤为重要。好的学习方法省时省力,能极大地提高学习效率,增强学
期刊
初三
政治课
学习方法
课前预习
教材重点
微机DES磁盘加密系统
本文以C(C++)语言在微机上实现了美国数据加密标准DES。可对微机软盘、硬盘任意路径下的任何文件加密,加密文件可存在软、硬盘任意目录下或在网络中传送;另一方面,可对软、硬盘上的任何加
期刊
DES
C语言
微机
磁盘
加密系统
Date encryption standartC languageencrytophy on microcompter
“大房子”和“小房子”
观察漫画,回答下面问题:
期刊
初三
政治课
漫画题
参考答案
与本文相关的学术论文