可检索词： （英文）题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明： [&]代表"并且"；[|]代表"或者"；[!]代表"不包含" (运算符两边不需要空格)
检索范例： 范例一：(k=科技[|]k=技术)[&]t=范并思 范例二：t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位：
出版地：
ISSN：
主编：
邮发代号：
中图分类号： 选择
作 者： ;
机构地区： 吉林大学计算机科学与技术学院
出 处： 《计算机科学》 1988年第4期
摘 要： <正> 一关于计茸机自动推理, 人工智能是研究如何使用电子计算机模拟或实现人的智胎行为的一门科学。人的推理能力是人的智能活动的重要方面,因此,.如何使甩计算机实现推理过程,从众多的事实中得出有用的结论,就成为人工智能的一个重要研究
关 键 词： 自动推理 计算机科学 计算机模拟 推理系统 智能活动 重写规则 计算机实现 非单调推理 机器学习 非单调逻辑
