关键词： 一阶逻辑   自动定理证明   人工智能   单元结果归结   矛盾体分离规则  

摘要： 一阶逻辑自动定理证明是人工智能领域重要的研究内容。为提高单元结果归结演绎效率,提出了一种新的基于多元、动态、协同的单元结果演绎方法,称为矛盾体分离单元结果演绎方法,并详细地给出了其演绎定义、演绎方法、演绎的优势分析及算法实现;提出的演绎方法允许多个子句同时参与演绎,且允许多个非单元子句参与1次单元结果演绎,能较好地处理长子句;提出的演绎算法能使用策略选定较优的子句和动态设定变元合一的复杂度,并通过回溯机制优化搜索的演绎路径。以近2年国际一阶逻辑自动定理证明器竞赛例(分别为500个)和TPTP问题库中难度系数为1的问题作为测试对象,加入了矛盾体分离单元结果演绎算法的Eprover和原始Eprover相比分别多证明了10个定理,分别能证明Eprover无法证明的17个定理和13个定理,能证明出9个其他所有证明器都无法证明难度系数为1的定理。实验结果表明,提出的矛盾体分离单元结果演绎方法能有效提高一阶逻辑自动定理证明的效率。

关键词： 智慧养老   数据资源   协同治理   演化博弈   数据共享生态系统  

摘要： 协同治理是发挥养老数据资源价值、推动智慧养老深入发展的关键途径。为促进养老服务生态系统中数据的共建与共享,提升智慧养老领域数据要素深度融合程度,释放数据资源潜在价值,构建了就医这一高频服务场景下由养老机构、医疗机构、政府三类主体所构成的演化博弈模型,系统推演三方在博弈过程中的策略选择及其均衡点的稳定性,并进行了数值模拟分析。结果表明,主体的初始参与概率、政府激励和数据资源势差会正向影响数据共享生态系统演化,而数据共享建设成本、政府惩罚会延缓或抑制数据共享生态系统演化。为了更好地进行数据共享,各类主体应发挥主观能动性,从整个社会的角度共同构建良好的数据资源协同治理环境。

关键词： 鼓励创新   人工智能   冷思考   空间构成   泡沫化   恒大地产   无形的手   科研  

摘要： 在人类空间、物理社会和信息空间构成的三元数字李生社会中,智能计算中心作为关键基础将支撑起一个全新的人工智能驱动的“智慧社会”。在风起云涌的智算中心建设浪潮中,我们一方面需要用“有形的手”“无形的手”在量上相对温和地调控,坚决防止过热、极端泡沫化,避免“数据地产”重蹈类似恒大地产乱象覆辙;另一方面,需要通过合理的路径鼓励创新教育,集聚各界力量在质上鲜明引导及强力提升,联动上下游科研及产业力量,闯出一条有特色的智算中心新质生产力发展之路。

关键词： 电网监控   大数据   数据建模   信号分析   因果关系模型  

摘要： 随着我国电力事业的不断发展,电网规模急剧扩大,电网结构变得更加复杂,电网运行监控任务不断加大。本文提出一种面向电网监控运行大数据分析的因果关系建模方法——分析监控大数据的数据源及数据标签化处理过程,对电网运行数据、外部环境数据进行标签化处理,实现设备的数据聚类;利用标签化处理后的数据来建立因果关系库,采用决策树算法来构建因果关系模型,采用Apriori算法对模型进行动态更新,为电网运行监控数据的事件化分析奠定基础,提高了监控效率。

关键词： 危害公共安全   电信网络诈骗   违法犯罪   人工智能   信息技术   对抗程度   防伪技术   黑灰  

摘要： 近年来,随着信息技术的快速发展和黑灰产对抗程度的日益激烈,电信网络诈骗逐步呈现出专业性、组织性、隐蔽性等新型特点。伪造与诈骗是危害公共安全违法犯罪黑灰产业链的一对李生兄弟。深度伪造、网络诈骗等违法犯罪多发,“难发现、难打击、难根除”成为防伪造、反欺诈工作的痛点。当前,AI技术,尤其是大语言模型在识别和预防欺诈方面展现出巨大的潜力。但与此同时,生成式AI(如深度伪造技术)使得制造虚假视频、音频和文档变得更加容易和便宜。AI技术犹如一把双刃剑,在推动社会技术革新和发展的同时,又常被一些不法分子利用,损害消费者利益。如何发展防伪技术,确保人工智能良性发展,成为广大消费者关注的热点话题。

关键词： AIGC   人工智能   动画设计   ChatGPT   Midjourney  

摘要： 近年来,人工智能在动画创作领域备受关注,尤其是2023年以来出现的AIGC生成式人工智能技术,如ChatGPT和Midjourney等,为动画设计带来了新的可能性。传统的动画制作过程复杂且耗时,特别是在设计阶段需要大量时间和精力,而人工智能技术的进步为提高效率和准确性带来了新希望。例如,利用ChatGPT等自然语言处理技术可以用于剧本创作和生成分镜脚本,而以Midjourney为代表的图像生成技术则可用于快速制作角色设计图和场景气氛图等。本文将研究并验证AIGC技术在动画设计中的应用方法。

关键词： 教学研究人员   首都师范大学   智能教育   教学考试   一线教师   行政管理人员   创新实践   人工智能  

摘要： 本刊为首都师范大学人工智能教育研究院与教学考试杂志社联合推出,紧扣“人工智能教育”“教育信息化”主题,问题导向、需求导向,内容涉及智能教育相关理论研究、政策解读,面向未来社会的新形态课程与资源研发,“基于教学改革、融合信息技术的新型教与学模式”探索,利用人工智能、大数据等现代信息技术的评价改革以及未来校园建设等领域,为广大一线教师、教育教学研究人员、教育行政管理人员和相关企业研发人员提供可借鉴的学术研究成果,营造宽松的学术争鸣空间以及创新实践的学术交流平台。

关键词： 生态环境   大数据治理   价值   治理体系  

摘要： 生态环境大数据治理,是生态环境治理体系和治理能力现代化的重要组成部分,其价值主要体现在:有助于推进生态环境治理决策科学化、生态环境预警精准化、区域生态环境治理协同化。当前,从生态环境大数据治理的实践来看,虽然硬件建设取得了一定成效,但在大数据公开、大数据共享、大数据挖掘与分析技术、大数据安全方面存在一些迫切需要解决的问题。为解决这些问题,应深度挖掘生态环境大数据治理的重大价值,并加大生态环境大数据公开力度、健全生态环境大数据共享机制、提升生态环境大数据的挖掘与分析技术、完善生态环境大数据安全管理制度,以助力构建科学高效、现代智慧、决策有力、良性互动的生态环境大数据治理体系。

关键词： 数据要素×   文旅大数据   游客分析模型   数字旅游  

摘要： 随着新一轮科技革命和产业变革的深入发展,数据作为关键生产要素的价值日益凸显,发挥数据要素报酬递增、低成本复用等特点,能够优化资源配置,赋能实体经济,发展新质生产力,推动生产生活、经济发展和社会治理方式深刻变革,对推动高质量发展具有重要意义。文章首先总结在“数据要素×”要求下文旅大数据建设的背景和意义,然后以某市级文旅大数据为例,从背景意义、研究方法,建设成效等角度进行分析,通过案例分析法探索“数据要素×文化旅游”方向的落地路径,旨在为其他市县的大数据分析提供有益参考,为更好地发挥数据要素作用奠定坚实基础。

关键词： 中医药   数字贸易   数字医疗   数据安全  

摘要： 全球贸易方式和经济结构正步入数字化转型期,发展中医药服务贸易数字化是推动中医药产业服务“数字中国”和“贸易强国”战略的重要举措,有利于推动援外医疗和卫生健康外事工作高质量发展。通过辨析“中医药服务贸易数字化”与“中医药服务贸易”“中医药数字贸易”和“中医药数字服务贸易”等概念,理清内在关系;从交付方式、粒度和可试性3个基本特征将中医药服务贸易数字化分为内容型、工具型和交互型;分析了中医药服务贸易数字化的优势,总结了中医药服务贸易数字化存在的共性和个性挑战,据此提出发展中医药服务贸易数字化的对策建议。