人工智能训练师毕业论文

人工智能毕业设计（论文）课题简介JHF1 基于VGA采集卡的VGA信号实时采集技术的研究传统VGA信号采集通常采用软件抓屏或VGA转AV方式，但两者都面临着各种自身无法克服的弱点。软件抓屏方式通过在计算机上安装软件方式实现，通过软件进行抓屏和压缩，严重影响采集计算机的性能；在播放视频文件时，无法实时采集到画面，出现视频卡壳或者黑屏的现象。采用VGA转AV方式，VGA信号转换为视频以后，即使不压缩，清晰度也大大降低，文字、网页等内容几乎无法看清，再经过压缩，信号质量可能会更差，很难满足实际教学的需求。传统VGA信号的采集方式严重制约着多媒体教学及远程教育的发展。采用基于VGA采集卡的VGA信号实时采集技术，即直接采集设备的VGA数据，既能保证信号的连续实时，又能保证清晰不失真，从而完美解决了VGA信号的实时采集压缩这一难题。JHF2 基于PC的网络视频服务器的设计视频服务器可以看作是不带镜头的网络摄像机，或是不带硬盘的DVR，它的结构也大体上与数字硬盘录像机相似，是由一个或多个模拟视频输入口、图像数字处理器、压缩芯片和一个具有网络连接功能的服务器所构成。视频服务器将输入的模拟视频信号数字化处理后，以数字信号的模式传送至网络上，从而实现远程实时监控的目的。由于视频服务器将模拟摄像机成功地“转化”为网络摄像机，因此它也是网络监控系统与当前CCTV模拟系统进行整合的最佳途径。网络视频服务器除了可以达到与网络摄像机相同的功能外，在设备的配置上更显灵活，克服了网络摄像机通常受到本身镜头与机身功能较弱等不足。JHF3 教育资源库管理系统的设计教育资源库是教育信息化中的主要组成部分，教育资源库的建设包括软硬件平台、资源和服务等方面的建设。教育资源库软件平台是支撑教育资源管理和使用的基础平台，是整个软件平台的核心。系统平台支持基于B/S结构的各类Web应用，通过“Web Service”技术提供了一整套接口机制实现跨平台、跨服务器的系统耦合，实现统一用户、统一登录、统一产品入口等重要功能。从资源使用和管理的流程出发，平台的功能包括资源目录浏览、资源检索、资源前台服务管理、系统后台管理、计费管理、资源统计、个人知识管理器等主要功能，对八类标准资源子库实施操作。SSD1 ▲应用不确定性推理评估交通流及安全性城市交通拥已经成为社会急需解决的迫切问题，也是当前个学科协同作战的重大课题。拟采用人工智能中的不确定性推理方法评估交通流及安全性问题，并提出合理的建议。SSD2 ▲大学校园安全报警系统研制根据校具体情况，联系公安部处、学生处等有关部门，研制该系统软件，对于解决灾害和突发事件等建立安全预警专家系统有实际意义，且能通过计算机软件和人工智能的工具实现理论与实际相结合。SSD3 基于PC的数字硬盘录像机的设计数字硬盘录像机硬件组成上采用PC机，通用性强；软件采用了嵌入式LINUX操作系统，以及在此基础上开发的应用软件，没有版权问题的困扰。既无需购买昂贵的操作系统，又遗弃了使用盗版软件的尴尬。操作系统为嵌入式LINUX系统，操作系统可以做的相对比较小，既可以加载在硬盘上，也可以固化在优盘、CF卡、电子硬盘上，写入数据后永不丢失，便于系统本身的稳定以及方便升级。系统稳定性好、通用性强、适用性广，对断电、非法操作、病毒等均不受影响。GSY1 基于支持向量机行人检测模板匹配的方法在行人检测问题中也是适用,用于匹配的模板的形状类似棒棒糖。多数清况下,行人会在手放在身体两侧,这意味在多数清况下,行人是有可能被检测,此外行人的运动也具有特征,同样也可被检测出来.有多种特征选择算法可供选择,选择了小波系数作为窗口的局部特征,这里小波系数是对特定滤波器的响应.特征选定以后,可以按照训练支持向量机方法,诸如自举方法进一步改善系统性能。GSY2 基于行人检测的WEB服务探测技术1）感知界面 互联网出现使人为中心的人机交互逐步演变为人网交互,用计算机代替人实现对多媒体数据流自动分析,进而实现网络多媒体数据有效的管理,查询和组织,交互检索,可视化反馈界面,网络交互.面向WWW的多媒体的检索系统.2）多媒体推理 从智能和推理地角度,任何涉及多媒体处理的活动,如多媒体展示,多媒体著作,视觉设计,都可以当作多媒体推理.GSY3 地理信息系统的设计与实现将地理信息系统技术应用决策和管理,论述系统的设计方法,实现方案和技术特点.GSY4 一种自适应逃逸微粒群算法针对收敛速度慢,容易陷入局部最小等缺点,给出一种自适应逃逸微粒群算法,逃逸行为是一种变异操作,逃逸微粒群能有效进行全局和局部搜索,收敛速度快,采用复杂函数优化仿真自适应逃逸微粒群算法结果.GSY5 几何配准与立体观察几何配准是图象空间叠加,镶嵌,加网格的前题,是分析和比较同一类型或不同类型的成像系统在同一时间摄取同一景物的图象的首要条件,否则就不可能正确绘出各类型(平面和立体)的复合图象或时间上变化图形。

人工智能主要研究用人工方法模拟和扩展人的智能，最终实现机器智能。人工智能研究与人的思维研究密切相关。以下是我精心整理的有关人工智能论文的相关资料，希望对你有帮助!

浅谈逻辑学与人工智能

人工智能主要研究用人工方法模拟和扩展人的智能，最终实现机器智能。人工智能研究与人的思维研究密切相关。逻辑学始终是人工智能研究中的基础科学问题，它为人工智能研究提供了根本观点与方法。

1 人工智能学科的诞生

12世纪末13世纪初，西班牙罗门·卢乐提出制造可解决各种问题的通用逻辑机。17世纪，英国培根在《新工具》中提出了归纳法。随后，德国莱布尼兹做出了四则运算的手摇计算器，并提出了“通用符号”和“推理计算”的思想。19世纪，英国布尔创立了布尔代数，奠定了现代形式逻辑研究的基础。德国弗雷格完善了命题逻辑，创建了一阶谓词演算系统。20世纪，哥德尔对一阶谓词完全性定理与N 形式系统的不完全性定理进行了证明。在此基础上，克林对一般递归函数理论作了深入的研究，建立了演算理论。英国图灵建立了描述算法的机械性思维过程，提出了理想计算机模型(即图灵机) ，创立了自动机理论。这些都为1945年匈牙利冯·诺依曼提出存储程序的思想和建立通用电子数字计算机的冯·诺依曼型体系结构，以及1946年美国的莫克利和埃克特成功研制世界上第一台通用电子数学计算机ENIAC做出了开拓性的贡献。

以上经典数理逻辑的理论成果，为1956年人工智能学科的诞生奠定了坚实的逻辑基础。

现代逻辑发展动力主要来自于数学中的公理化运动。20世纪逻辑研究严重数学化，发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。

2 逻辑学的发展

逻辑学的大体分类

逻辑学是一门研究思维形式及思维规律的科学。 从17世纪德国数学家、哲学家莱布尼兹(G. LEibniz)提出数理逻辑以来，随着人工智能的一步步发展的需求，各种各样的逻辑也随之产生。逻辑学大体上可分为经典逻辑、非经典逻辑和现代逻辑。经典逻辑与模态逻辑都是二值逻辑。多值逻辑，是具有多个命题真值的逻辑，是向模糊逻辑的逼近。模糊逻辑是处理具有模糊性命题的逻辑。概率逻辑是研究基于逻辑的概率推理。

泛逻辑的基本原理

当今人工智能深入发展遇到的一个重大难题就是专家经验知识和常识的推理。现代逻辑迫切需要有一个统一可靠的，关于不精确推理的逻辑学作为它们进一步研究信息不完全情况下推理的基础理论，进而形成一种能包容一切逻辑形态和推理模式的，灵活的，开放的，自适应的逻辑学，这便是柔性逻辑学。而泛逻辑学就是研究刚性逻辑学(也即数理逻辑)和柔性逻辑学共同规律的逻辑学。

泛逻辑是从高层研究一切逻辑的一般规律，建立能包容一切逻辑形态和推理模式，并能根据需要自由伸缩变化的柔性逻辑学，刚性逻辑学将作为一个最小的内核存在其中，这就是提出泛逻辑的根本原因，也是泛逻辑的最终历史使命。

3 逻辑学在人工智能学科的研究方面的应用

逻辑方法是人工智能研究中的主要形式化工具，逻辑学的研究成果不但为人工智能学科的诞生奠定了理论基础，而且它们还作为重要的成分被应用于人工智能系统中。

经典逻辑的应用

人工智能诞生后的20年间是逻辑推理占统治地位的时期。1963年，纽厄尔、西蒙等人编制的“逻辑理论机”数学定理证明程序(LT)。在此基础之上，纽厄尔和西蒙编制了通用问题求解程序(GPS)，开拓了人工智能“问题求解”的一大领域。经典数理逻辑只是数学化的形式逻辑，只能满足人工智能的部分需要。

非经典逻辑的应用

(1)不确定性的推理研究

人工智能发展了用数值的方法表示和处理不确定的信息，即给系统中每个语句或公式赋一个数值，用来表示语句的不确定性或确定性。比较具有代表性的有：1976年杜达提出的主观贝叶斯模型， 1978年查德提出的可能性模型， 1984年邦迪提出的发生率计算模型，以及假设推理、定性推理和证据空间理论等经验性模型。

归纳逻辑是关于或然性推理的逻辑。在人工智能中，可把归纳看成是从个别到一般的推理。借助这种归纳方法和运用类比的方法，计算机就可以通过新、老问题的相似性，从相应的知识库中调用有关知识来处理新问题。

(2)不完全信息的推理研究

常识推理是一种非单调逻辑，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论。非单调逻辑可处理信息不充分情况下的推理。20世纪80年代，赖特的缺省逻辑、麦卡锡的限定逻辑、麦克德莫特和多伊尔建立的NML非单调逻辑推理系统、摩尔的自认知逻辑都是具有开创性的非单调逻辑系统。常识推理也是一种可能出错的不精确的推理，即容错推理。

此外，多值逻辑和模糊逻辑也已经被引入到人工智能中来处理模糊性和不完全性信息的推理。多值逻辑的三个典型系统是克林、卢卡西维兹和波克万的三值逻辑系统。模糊逻辑的研究始于20世纪20年代卢卡西维兹的研究。1972年，扎德提出了模糊推理的关系合成原则，现有的绝大多数模糊推理方法都是关系合成规则的变形或扩充。

4 人工智能——当代逻辑发展的动力

现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。21世纪逻辑发展的主要动力来自哪里?笔者认为，计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理，而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素。例如，选择性地搜集相关的经验证据，在不充分信息的基础上做出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。

5 结语

人工智能的产生与发展和逻辑学的发展密不可分。

一方面我们试图找到一个包容一切逻辑的泛逻辑，使得形成一个完美统一的逻辑基础;另一方面，我们还要不断地争论、更新、补充新的逻辑。如果二者能够有机地结合，将推动人工智能进入一个新的阶段。概率逻辑大都是基于二值逻辑的，目前许多专家和学者又在基于其他逻辑的基础上研究概率推理，使得逻辑学尽可能满足人工智能发展的各方面的需要。就目前来说，一个新的泛逻辑理论的发展和完善需要一个比较长的时期，那何不将“百花齐放”与“一统天下”并行进行，各自发挥其优点，为人工智能的发展做出贡献。目前，许多制约人工智能发展的因素仍有待于解决，技术上的突破，还有赖于逻辑学研究上的突破。在对人工智能的研究中，我们只有重视逻辑学，努力学习与运用并不断深入挖掘其基本内容，拓宽其研究领域，才能更好地促进人工智能学科的发展。