从人工智能看当代逻辑学的发展

文章认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:(1)如何在逻辑中处理常识推理的弗协调、非单调和容错性因素;(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的可错的归纳判断;(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理;(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际等等。     

数理逻辑与多元智能

学习数理逻辑可直接提高"多元智能"理论中的数理逻辑智能,如有利于学生思维能力的增强、思维效率的提高和创新能力的提升。因此,大学生思维要达到理性、严密、系统的自觉水平和较高的创造性,就必须接受系统的逻辑教育。     

逻辑学在人工智能中的应用

人工智能的产生与发展与逻辑学的发展密不可分。逻辑学为人工智能的研究提供了根本观点与方法,而逻辑方法则是人工智能研究中的主要形式化工具。笔者从逻辑学为人工智能的研究提供理论基础出发,讨论了经典逻辑和非经典逻辑在人工智能中的应用。     

逻辑数学智能及其对教育的启示

加德纳提出的多元智能理论是关于人类认知范畴最完整的论述。其中的逻辑数学智能是指有效运用数字和推理的能力，强调了运用逻辑数学思维解决问题的能力。每个人身上都蕴藏着不同量的数学潜能，教师的职责就是创设条件，让学生展现自己的逻辑数学潜能，提高运用数学思维解决实际问题的能力。     

人工智能研究对归纳逻辑的新理解——从科学哲学与逻辑哲学观点看

从科学哲学观点看 ,人工智能领域机器学习研究的进展 (如ID3和GOLEM)表明 ,培根的机械归纳方法与波普尔的证伪方法具有互补性 ;从逻辑哲学观点看 ,作为非经典逻辑的现代归纳逻辑正在向AI领域拓展。通过与PROLOG的类比 (它将控制引入计算机逻辑 )表明 ,存在着作为推理 +控制的归纳逻辑。     

经典逻辑在人工智能知识推理中的应用

知识推理及其方法是人工智能领域的重要研究内容。研究了将经典逻辑应用于人工智能中进行知识推理的方法。     

浅述动态事务管理逻辑

问一个一般问句可以看作是有利于明确主体"事务管理"(issue management)的外部事件。从这个基本思想出发,就对提出、精炼和解决一个事务等外部事件的刻画讨论了事务管理的静态逻辑和动态逻辑,最后进一步探讨了动态认知逻辑的扩张以及其它一些有待继续解决的问题。     

论人工智能融入高校思想政治教育的深层逻辑

对于高校思想政治教育而言,人工智能既是实践背景,也是技术工具,更是发展契机。从现实来看,人工智能的深度融入与标准化应用能够为有效识别教育对象的思想动态、提升教育内容的精准程度、拓展思想政治教育的空间维度注入新的技术动能,且已经成为高校思想政治教育创新发展的必然趋势。但在价值前提、技术限度和具体操作层面也存在隐私保护与意识形态安全隐患、教育主体性迷失、教育关系数据化、专门人才匮乏等诸多潜在风险及现实难题。因此,必须辩证看待人工智能的技术动能与潜在风险,高扬教育价值理性,加强技术监管,锻造智慧型育人队伍,合理界定人工智能的融入边界和适用范围,将人之主体能动性与机器之智能优势强强结合,积极探寻教育与技术的共存共荣之路,自觉建构高校思想政治教育的智能形态。     

人工智能与教育深度融合发展:逻辑、困境与策略

人工智能与教育深度融合发展的目的在于通过高智能性的技术来不断提升教育的科学性和民主化。人工智能与教育深度融合发展的操作原理是通过技术、数据和算法的重组,推动教育走向智能化,具体表现为支持智能教育关键技术的高智能化(技术)、教育资源的整合与教育大数据的形成(数据)和教育供给的科学化(算法+服务)。就目前而言,人工智能与教育深度融合发展还存在技术基础不稳、教育数据缺陷、算法能力不足等现实问题。为此,要想实现人工智能与教育的深度融合发展,教育应尽早谋划,重新思考人工智能时代教育将如何存在,并从技术基础(改善技术的成熟度,重新思考技术世界中的教育)、数据驱动(加快教育数据资源的整合力度,提高教育数据单元质量)和算法服务(创新教育资源的有效供给方式)三个层面协同推进。     

人工智能介入司法裁判之热与冷思考

206系统的应用引起了人工智能运用于司法系统的热潮。人工智能存在算法程序的隐蔽性和数据的不完善性,司法具有亲历性以及价值衡量的特点,导致人工智能在司法裁判运用中需要倍加谨慎。应当在不损害司法的公正性以及权威性的前提下,引入人工智能介入司法领域,明确法律人工智能的适用领域、提高司法人员的专业素养、公开算法系统的运行程序,以促进人工智能与司法裁判的完美结合。     

演绎逻辑与逻辑真理

演绎逻辑及其价值屡屡遭到错解与误视。虽然前提蕴涵结论,但演绎逻辑仍然具有"创新"功能。在形式结构上,逻辑真理表现为重言式,但重言式不等于同语反复,更不应该用它们来反对演绎逻辑。     

教育领域技术原始创新的历史、逻辑与未来--兼论人工智能的教育意蕴

技术变革教育面临着历史和现实的双重困惑。技术变革教育的效果不彰很大程度上源于教育领域技术原始创新能力不足。切实推进教育领域技术原始创新需要从历史中汲取经验与智慧。本文深度分析了教学机器和LOGO语言两个范例,揭示了教育领域技术原始创新的两重境界:从基础科学到技术创新,科学技术的耦合发展。以此为基础,作者使用“巴斯德象限”概念框架,解读了人工智能时代教育领域技术原始创新的逻辑,提出人工智能既是学习的科学也是教育的技术,人工智能与教育实践的双向深度融合将不仅把教育领域的基础科学研究与技术原始创新推进到新高度,也必将有力促进人工智能自身的可持续发展。     

墨家逻辑与亚里士多德逻辑的形式化和非形式化问题

非形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化.形式化注重精确性、系统性,但也比较远离现实生活;而非形式化则紧密联系日常语言,但也有明显缺陷.当前逻辑学发展既要注重形式化研究,也要注重非形式化研究.     

人工智能与人的智能

人的能力可分为体能和智能,人的这两大能力都可以被工具替代、延伸和扩展,替代、延伸和扩展人的体力的工具可称为体能工具或人工体能~①,模拟、替代、延伸和扩展人的智力的工具可称为智能工具或人工智能。从人工体能到人工智能是工具发展的质的飞跃,它不断促进了人的解放和社会的进步。当今的人工智能只能模拟、替代、延伸和扩展人的部分智能,至于人的想象、情感、直觉、潜能、意会知识等个性化智能,人工智能只是试图涉足,还谈不上对它的模拟、替代、延伸和扩展。"人机大战"实质上是世界冠军同数百万世界围棋大师团队的对决。人工智能只是智能化的工具,不能完全替代人的智能~②,更不可能消灭人的智能,人工智能和人的智能在张力中相互促进,应该是人工智能和人的智能的发展前景。     

中国共产党现代化观科学建构的历史逻辑、理论逻辑和时代逻辑

中国共产党的现代化观是习近平新时代中国特色社会主义思想在实践与发展中形成的一个重要标识性概念和新的重大理论创新.中国共产党现代化观的科学建构是对中国共产党百年思考和探索中国现代化历程的理论抽象,科学回答了中国现代化的领导、基础、道路内容以及中国现代化和人类发展的关系等一系列重大问题,表明中国现代化是中国共产党领导下的现...     

生涯发展视域下的大学生核心素养教育:议题生成、实践逻辑与路径选择

我国教育领域实施的"核心素养教育"是针对大中小学生发展一体化的核心素养教育体系。然而,大学生核心素养教育在高等教育领域并未引起广泛重视,在体系构建、模式探索等方面仍面临诸多待解难题。核心素养教育与生涯发展教育在理论指向上有高度契合之处,从生涯发展视域开展核心素养教育有成熟的实践条件。生涯发展视域下大学生核心素养教育的实践逻辑可从四个方面展开:找准生涯发展视域下大学生核心素养教育的问题症结、明确生涯发展视域下大学生核心素养教育的目标导向、突破生涯发展视域下大学生核心素养教育面临的现实挑战、确立生涯发展视域下大学生核心素养教育路径选择的原则。大学生核心素养教育路径的探索,重点不应再聚焦于核心素养体系内容的标准化和核心素养教育模式的统一性,而应围绕差异化的需求与共同性培育之间的矛盾化解来确定实施原则,通过构建多样化的大学生发展核心素养体系和探索符合高校人才培养规律的核心素养教育模式来探寻实施路径。