归结
归结的相关文献在1981年到2022年内共计208篇,主要集中在自动化技术、计算机技术、中国文学、经济计划与管理
等领域,其中期刊论文184篇、专利文献24篇;相关期刊162种,包括互联网周刊、计算机科学、计算机学报等;
归结的相关文献由276位作者贡献,包括孙吉贵、徐扬、李莹等。
归结
-研究学者
- 孙吉贵
- 徐扬
- 李莹
- 冯婷婷
- 刘叙华
- 夏世芬
- 张硕
- 杨君
- 葛鹏程
- 邓安生
- 丁艳蓉
- 于海斌
- 卢耀文
- 向加全
- 吕尊记
- 唐高虎
- 孙伟
- 孙兰香
- 张静
- 张鹏
- 曾鹏
- 朱兴军
- 李冬
- 李新
- 李福生
- 杨大伟
- 毛琳
- 白瑞林
- 程晓春
- 肖北庚
- 陈思宇
- 韩伟
- 高强
- Arne Klungland23
- C-N·施特雷勒
- Chad Hagen
- Grady Booch
- HaraldFecher
- Jin-ZhaoWu
- KING湖南
- King
- Lily
- Mark
- Michael P. Frank
- Monster
- Qdd蟹姐
- Shuangli Mi1
- Twain
- Yun-Gui Yang1
- alfa
-
-
-
邱德钧1
-
-
摘要:
人类常用的推理方法不能直接在人工智能中应用从而实现机器的自动推理,本文论述了自动推理中的归结和合一算法的规则和详细步骤,达到使读者容易理解和掌握这一方法的目的,使更多人了解这一方法的作用和前景。
-
-
徐鉴明
-
-
摘要:
中考关乎学生的升学问题,是家长们很看重的一个考试,中考成绩的好坏,间接决定了学生的未来求学之路.因此,中考是学生人生中的一个重要转折点.在中考的几门考试科目中,数学永远是家长和孩子的心头病.
-
-
雾满拦江
-
-
摘要:
一个人沉静到这种程度,才会静若处子动如脱兔,反应神速而敏捷。国学大师梁漱溟说:人之区别于动物者,是人类有智慧。智慧,可以写万本书,读百万年,也可归结为一个字:静!为说清楚这个道理,梁先生讲了个故事:科学家逮来几只猴子,让猴子排队站好。立正,稍息。然后拿出一只瓶子,让猴子看清楚:喏,这是一只瓶子。猴子扭头不看。嘁,一只空瓶子,有什么好看的?科学家拿出两粒花生。猴子的眼睛立即转过来:花生米,要吃!
-
-
李娟;
崔金宝
-
-
摘要:
很多NP问题都可以转换成SAT问题进行求解,所以关于SAT问题求解算法的研究一直是人工智能的一个重要研究方向.DR算法是一种基于归结的高效算法,但在算法的归结过程中会产生很多的新子句,所以减少新子句的产生提高算法效率的一个途径.本文提出一种策略,在原子句集的子集上进行归结,虽然不完备,但可以大幅度缩短算法的运行时间.
-
-
-
-
张暖
-
-
摘要:
孩子做什么事情时最专注?想必很多家长的答案都是看动画片的时候。为什么动画片对孩子的吸引力这么大?可以归结为三大原因:首先,父母常将动画片作为孩子的"安抚品"。孩子需要父母的陪伴,可父母都很忙,就打开电视给他们看动画片。长此以往,孩子内心会有孤独感,而动画片能给他们现实生活中得不到或不能实现的东西。所以他们喜欢看动画片,也渐渐爱上了这种"电子陪伴"。
-
-