How does fake news spread? Understanding pathways of disinformation spread through APIs
在社交媒体平台上传播虚假信息的途径是什么？本文通过收集、分类和定位大量关于社交媒体平台提供的应用程序编程接口（API）如何促进虚假信息传播的研究来解决这个问题。我们首先研究了官方社交媒体API的情况，然后对开源代码库GitHub和GitLab进行定量研究，以了解这些API的使用模式。通过检查代码库，我们将开发人员对API的使用分为官方和非官方，并进一步开发了一个四阶段框架，描述了在社交媒体平台上传播虚假信息的途径。我们进一步强调了框架中的各个阶段是如何在2016年美国总统选举期间启动的，然后为与访问API、算法内容、广告有关的问题提供政策建议，并建议快速响应以协调活动，开发协作和参与性方法，以及政府在监管社交媒体平台方面的管理。
2021-09-27 cs.CR cs.CY cs.HC
Safeguarding Marketing Research: The Generation, Identification, and Mitigation of AI-Fabricated Disinformation
Cornell University（康奈尔大学）；Samuel Curtis Johnson Graduate School of Management（塞缪尔·柯蒂斯·约翰逊管理研究生院）
本研究探讨了生成式AI捏造虚假UGC对营销研究的威胁，量化了其破坏性影响，评估了检测框架的不足，并提倡整合算法、人工监督与伦理监管的综合应对方案。
2024-03-17 cs.AI cs.CY
Disinformation Detection: An Evolving Challenge in the Age of LLMs
Arizona State University（亚利桑那州立大学）
本文围绕 LLM 被用于生成高说服力虚假信息的威胁，评估传统检测与 LLM 防御的有效性，并探索新型检测方法。
2023-09-25 cs.AI cs.CL cs.CY
Safer Digital Intimacy For Sex Workers And Beyond: A Technical Research Agenda
本文针对数字亲密关系中的安全与隐私风险，提出商业威胁模型及10个研究方向，旨在为性工作者等群体提供更安全的数字亲密体验。
2024-03-19 cs.CY
Collaborative Participatory Research with LLM Agents in South Asia: An Empirically-Grounded Methodological Initiative and Agenda from Field Evidence in Sri Lanka
本文基于斯里兰卡实地证据，提出一个多智能体系统框架，将LLM应用于多语言环境下的参与式发展研究，在提升效率与包容性的同时维护社区能动性与伦理，为全球南方研究提供新路径。
2024-11-13 cs.CY
Factors Influencing the Organizational Decision to Outsource IT Security: A Review and Research Agenda
IT安全外包是与第三方安全服务提供商签订合同，以执行组织的全部或部分IT安全功能的过程。很少有人知道的因素影响组织的决定外包这样一个关键的功能。我们对研究和实践文献的回顾确定了几个管理因素和法律因素。我们发现IT安全外包的研究还不成熟，重点领域没有解决行业实践面临的关键问题。因此，我们提出了一个研究议程，包括15个问题，以解决五个关键的差距，有关知识的IT安全外包，特别是有效性的结果，生活经验的做法，时间维度，多利益相关者的观点，以及对IT安全实践的影响，特别是敏捷性的事件响应。
2022-08-26 cs.CR cs.CY
African Democracy in the Era of Generative Disinformation: Challenges and Countermeasures against AI-Generated Propaganda
The Brookings Institution（布鲁金斯学会）
本文研究生成式AI虚假信息对非洲民主的影响，通过案例呈现非洲AI选举宣传现状，分析多方治理角色，提出素养提升、监管强化等应对策略。
2024-07-10 cs.AI cs.CY
Ethics of generative AI and manipulation: a design-oriented research agenda
本文指出生成式AI带来大规模自动化操纵风险且尚未被充分研究，提出了涵盖概念、实证与设计维度的研究议程，强调需对操纵进行适当概念化以确保技术负责任发展。
2025-02-01 cs.AI cs.CY
Responsible Urban Intelligence: Towards a Research Agenda
针对城市化挑战，提出负责任的城市智能（RUI）框架，定义责任三维度（透明度、公平性、生态友好性）及四阶段实施流程，并规划研究议程以平衡性能与公平。
2023-09-04 cs.CY
Removing Gamification: A Research Agenda
从交互系统中移除游戏化元素的效果一直是游戏化研究中的一个长期问题。早期的工作和基础理论提出了对积极影响的持久性和消极影响的出现的关注。然而，近十年过去了，迄今为止还没有任何工作就这些问题寻求共识。在这里，我提供了一个快速审查的艺术状态和什么是已知的影响，消除游戏化。我们发现了2012年至2020年间发表的8篇论文的小型语料库。研究结果表明，去除游戏化会产生积极和消极的影响。值得注意的是，报告不足、方法上的缺陷、措施有限以及对“负面”结果的肤浅解释妨碍了得出明确的结论。我提供了一个研究议程，以更好地理解游戏化删除的性质。最后，我呼吁开展实证和理论工作，阐明系统非游戏化后可能存在的影响。
2021-03-15 cs.CY cs.HC
Constitutional governance for societies of AI agents in the built environment: a research agenda
Cardiff University（卡迪夫大学）
本文针对建筑环境中人工智能代理社会的治理提出研究议程，围绕深度不确定性下改造的机制设计、建筑运营中代理的物理信息验证、冲击下城市基础设施的抗脆弱协调三个问题，借鉴多代理系统研究成果，阐述基础、识别问题并概述相关要求。
2026-07-28 cs.CY
A Rural Lens on a Research Agenda for Intelligent Infrastructure
如果不明确考虑农村社区的需求，智能基础设施国家议程是不完整的。虽然美国人口已经城市化，但美国的农业、渔业、林业、制造业和采矿业依赖于农村社区。大约20%的美国人口生活在农村地区，并向老年人倾斜。此外，近25%的退伍军人生活在美国农村。然而，当智能基础设施被想象出来时，它往往是以隐含或明确的城市偏见来实现的。在这份简报中，我们描述了农村社区的独特机会，并提供了智能基础设施研究的包容性愿景。在本文中，我们主张采取一系列协调一致的行动，以确保美国农村地区在这场数字革命中不会落后。这些技术平台和应用，在适当政策的支持下，将解决交通、能源、农业、公共安全和健康方面的关键问题。我们相信，美国农村地区并不是一系列的需求，而是一系列令人兴奋的创新可能性，不仅有利于那里的居民，而且有利于更广泛的美国经济
2017-05-04 cs.CY
The Effects of Smartphones on Well-Being: Theoretical Integration and Research Agenda
随着智能手机越来越多地融入人们的生活，一个新兴的研究领域已经出现在他们的福祉影响。我们提出，不同的研究和明显矛盾的发现可以在三个基本假设下整合，假设智能手机通过（1）取代其他活动（位移假设）影响幸福感，（2）干扰并发活动（干扰假设），（3）提供访问信息和活动，否则将无法获得（互补假设）。使用这个框架，我们强调方法问题，并超越净效应，以研究手机如何以及何时促进与伤害幸福。我们研究心理和上下文的调解人和主持人的影响，从而概述了未来的研究议程。
2020-05-18 cs.CY cs.HC cs.IT
Approaches to Identify Vulnerabilities to Misinformation: A Research Agenda
鉴于网上错误信息的普遍存在和我们认知能力的不足，互联网用户经常成为这些信息的受害者。由于一些研究调查了使人们容易相信或分享错误信息的心理因素，一些正在进行的研究进一步将这些发现付诸实践，客观地确定何时以及哪些用户容易受到错误信息的影响。在这份立场文件中，我们强调了两个正在进行的研究途径，以确定脆弱的用户：检测认知偏见和探索错误信息传播者。我们还讨论了这些客观方法的潜在影响：发现更多弱势用户群体并促使干预措施更有效地解决正确的用户群体问题。最后，我们指出了两个未充分研究的背景下，错误信息脆弱性研究的机会，为未来的研究。
2022-10-21 cs.CY cs.HC
A National Research Agenda for Intelligent Infrastructure: 2021 Update
联邦政府对智能基础设施的战略性持续投资将提高安全性和弹性，提高效率和公民服务，并在全国范围内扩大就业机会和就业增长。构成智能基础设施的技术还可以为解决我们今天面临的一些最棘手的挑战提供关键，包括应对未来的流行病和自然灾害，实现可持续性和能源效率目标，以及促进社会正义。有效地实现这些技术将需要在相关的计算研究方面进行投资，这不仅限于基本的建筑项目，而且与之相协调。2017年，计算社区联盟（CCC）发布了一系列智能基础设施白皮书，2020年，CCC发布了一系列相关主题的配套白皮书。在这里，我们简要回顾了这些早期的作品，然后强调了四个国家日益突出的主题，其中智能基础设施也可以发挥促进作用，这是由COVID-19大流行和社会正义运动的经验所推动的。最后，我们提出了必要的研究投资建议。
2021-01-05 cs.CY
AI incidents and 'networked trouble': The case for a research agenda
本文主张建立研究议程，聚焦AI事件及其在网络中的构建，以“网络化麻烦”概念揭示公众参与AI设计与部署的重要机制。
2024-01-07 cs.AI cs.CY
Rethinking the filter bubble? Developing a research agenda for the protective filter bubble
本文针对现有研究多聚焦过滤气泡负面效应的现状，梳理相关文献，提出需关注其对边缘群体等的保护价值，给出保护性过滤气泡的未来研究方向。
2025-11-17 cs.CY cs.HC cs.IR
Online Behavioral Advertising: A Literature Review and Research Agenda
本文定义了在线行为广告（OBA），通过整合广告商与消费者控制因素构建框架解释消费者反应，梳理相关理论并提出了未来研究议程。
2025-10-29 cs.CY
FinTech for Social Good: A Research Agenda from NLP Perspective
AIST（产业技术综合研究所）；National Taiwan University（台湾大学）
使我们的研究成果对社会和环境产生积极影响是我们社区最近一直在追求的目标之一。虽然金融科技（FinTech）是热门的应用领域之一，但我们注意到，没有讨论NLP如何在金融科技中为社会利益提供帮助。当提到金融科技对社会有益时，人们谈论的是金融包容性和绿色金融。然而，NLP在这些方面的作用只得到有限的讨论。为了填补这一空白，本文分享了我们如何在金融科技中使用NLP为社会公益服务的想法。我们希望读者能够在我们分享的基础上重新思考金融与NLP的关系，并进一步加入我们，提高个人投资者的金融素养，改善对影响力投资的支持。
2022-11-13 cs.CL cs.CY
AI, insurance, discrimination and unfair differentiation. An overview and research agenda
本文综述AI驱动的数据密集型承保与基于行为的保险，探讨其在提升风险评估精准度的同时可能引发的歧视与不公平差别对待，并提出研究议程。
2025-03-12 cs.CY
Earth Observation and the New African Rural Datascapes: Defining an Agenda for Critical Research
地球观测数据的日益可用性可能会改变非洲农村景观的使用和治理，对生活在这些景观中的人们的生计和福祉产生重大影响。近年来，针对非洲农业系统利益攸关方的环境展望数据应用开发迅速增加。但是，仍然有相对较少的关键学术质疑如何在不同的社会政治背景下访问，介绍，传播和使用EO数据，或者这是否会增加或减少贫困和边缘化人群的福祉。我们强调了现有的EO发展研究中被忽视的三个领域：（i）“理想”的未来景观，为EO数据的部署提供信息;（ii）更大的EO发展网络中的权力关系如何塑造成本和收益的分配;以及（iii）这些更大规模的政治动态如何与当地规模的不平等相互作用，以影响边缘化人群的弹性。然后，我们提出了一个关键的EO发展研究的框架，借鉴了最近的思维在关键数据研究，ICT 4D和政治生态学。
2021-08-23 cs.CY
Deepfakes and Higher Education: A Research Agenda and Scoping Review of Synthetic Media
James Cook University Singapore（詹姆斯库克大学新加坡分校）；British University Vietnam（越南英国大学）
本文探讨深度伪造对高等教育的影响，提出研究议程，分析其潜在风险与益处，并建议跨文化研究方法。
2024-04-24 cs.AI cs.CY
Profiling Internet Users' Participation in Social Change Agendas: An application of Q methodology
新的以计算机为媒介的通信渠道是面向行动的，能够提供信息和对话-有节制和无节制的对话-这可以促进将一系列社会利益攸关者、舆论领袖和变革推动者聚集在一起，他们有能力影响社会行动。然而，现有的在线研究在解释互联网用户在线参与社会变革议程的意愿方面受到限制。它们主要依赖基本的人口描述，如年龄、教育、收入和获得技术的机会，而忽视了可能解释在线参与和社会变化的社会、心理和态度变量。作者提出了一个Q方法的研究方法，更好地评估互联网用户参与在线社会变革议程。
2001-10-02 cs.CY
Beyond the Monolithic Interface: A Research Agenda for Plural Conversational AI
Hugging Face；University of Connecticut（康涅狄格大学）；University of Cambridge（剑桥大学）
本研究针对单一对话式AI界面的三种危害，提出多角色界面干预措施，呼吁建立弥合技术多元对齐与实证研究差距的研究议程。
2026-10-12 cs.CY cs.HC
Forecasting AI Progress: A Research Agenda
Auburn University（奥本大学）；Freie Universität Berlin（柏林自由大学）；Universidad Politécnica de Madrid（马德里理工大学）；University of Oxford（牛津大学）；University of Haifa（海法大学）
预测人工智能的进展对于减少不确定性至关重要，以便适当规划人工智能安全和人工智能治理的研究工作。虽然这通常被认为是一个重要的主题，但在这方面开展的工作很少，也没有发表的文件对这一领域进行客观的概述。此外，该领域非常多样化，关于其方向没有公开的共识。本文描述了一个预测人工智能进展的研究议程的发展，该议程利用德尔菲技术来收集和汇总专家对优先考虑哪些问题和方法的意见。德尔菲法的结果，其余的文件遵循这些结果的结构，简要回顾相关文献，并建议今后的工作，为每个主题。专家们表示，应该考虑各种各样的方法来预测人工智能的进展。此外，专家们还确定了一些突出的问题，这些问题对于预测人工智能的进展来说既普遍又完全独特。一些最优先的主题包括验证（部分未解决的）预测，如何使预测行动指导和不同的性能指标的质量。虽然统计方法似乎更有前途，但人们也认识到，补充判断技术可能非常有益。
2020-08-04 cs.AI cs.CY
The Rise of the Smart Compound: Privately Governed Urban Intelligence and Its Research Agenda
本文介绍新兴的智能社区现象，探讨其机遇风险及数据治理差异，考虑到私人开发商构建的智能社区发展快但学术关注少，最后提出研究问题，引导相关人员关注这一现象。
2026-07-14 cs.CY
Are Work Zones and Connected Automated Vehicles Ready for a Harmonious Coexistence? A Scoping Review and Research Agenda
最近互联和自动驾驶汽车（CAV）的出现有望改变交通系统。CAV技术正在迅速发展，预计将迅速渗透市场。另一方面，由于施工和维护活动的增加，工作区（WZ）已成为公路系统上的常见区域。因此，在不久的将来，CAV和WZ将共存，这使得它们的相互作用不可避免。WZ使所有车辆暴露在道路环境中突然而复杂的几何变化中，这可能会挑战许多CAV导航能力。然而，WZ也会造成空间收缩，导致不利的交通影响，这合理地要求从高效的CAV功能中受益。CAV应该能够可靠地穿越WZ几何形状，WZ应该受益于CAV智能功能。本文综述了在WZ部署CAV系统的最新技术水平和关键概念、机遇和挑战。审查的主题包括交通性能和行为、技术和基础设施以及监管考虑。18架CAV机动性、安全性和环境概念和功能分布在WZ区域，WZ区域又细分为5个部分：上游、进场区、排队区、WZ活动区和终端区。此外，审查和讨论的其他主题包括WZ功能的检测，智能交通控制设备，连接WZ的各种技术，跨境协调，责任，保险和隐私。该文件还提供了一个研究议程，列出了由专家评级和投入支持的研究需求。本文旨在提供一个鸟瞰图，但有必要的细节，可以使研究人员，从业人员和运输机构受益。
2021-11-17 cs.CY
Research Agenda in Intelligent Infrastructure to Enhance Disaster Management, Community Resilience and Public Safety
现代社会可以被理解为四个相互依赖的系统的交叉点：（1）地理，气候和天气的自然环境;（2）城市，工程系统和物质基础设施的建筑环境;（3）人口，社区和社会经济活动的社会环境;以及（4）覆盖其他三个领域的信息生态系统，并提供理解、交互和管理自然、建筑和人类环境之间关系的方法。随着国家及其社区变得更加紧密、网络化和技术先进，出现了新的挑战和机遇，需要重新思考当前的公共安全和应急管理方法。应对当前和未来的挑战需要同样复杂的研究，技术开发和战略规划计划。智能基础设施的设计和集成-包括嵌入式传感器、物联网（IoT）、先进的无线信息技术、实时数据捕获和分析以及基于机器学习的决策支持-具有极大增强公共安全、应急管理、灾难恢复和整体社区恢复能力的潜力，同时解决对公共安全和安保的新威胁。最终，这一研究和发展计划的目标是拯救生命，减少风险和灾害影响，允许有效利用物质和社会资源，并保护整个地区的生活质量和经济稳定。
2017-05-04 cs.CY
QCRI's COVID-19 Disinformation Detector: A System to Fight the COVID-19 Infodemic in Social Media
Qatar Computing Research Institute（卡塔尔计算研究所）；HBKU（哈马德·本·哈利法大学）；Vellore Institute of Technology（韦洛尔理工学院）
自COVID-19疫情爆发以来，对抗持续的COVID-19信息流行已被世界卫生组织宣布为最重要的重点领域之一。虽然被消费和传播的信息包括宣传假治疗、谣言和阴谋论，以传播仇外心理和恐慌，但同时也有信息（例如，包含建议，促进治愈），可以帮助不同的利益相关者，如决策者。社交媒体平台使信息流行病成为可能，人们一直在努力策划这些平台上的内容，分析和揭穿它们。虽然大多数研究工作考虑一个或两个方面（例如，检测这些信息的真实性），在这项研究中，我们专注于一个多方面的方法，包括一个API，\url{https://app.swaggerhub.com/apis/yifan2019/Tanbih/0.8.0/}和一个演示系统，\url{https://covid19.tanbih.org}，我们免费和公开提供。我们相信这将有助于研究人员和不同的利益相关者。提供API服务和演示的屏幕播放。\url{https://youtu.be/zhbcSvxEKMk}
2022-03-08 cs.AI cs.CL cs.CY
All One Needs to Know about Metaverse: A Complete Survey on Technological Singularity, Virtual Ecosystem, and Research Agenda
自互联网在1990年代普及以来，网络空间不断发展。我们已经创建了各种计算机介导的虚拟环境，包括社交网络、视频会议、虚拟3D世界（例如，VR聊天）、增强现实应用（例如，Pokemon Go）和不可替代的代币游戏（例如，高地）。这样的虚拟环境，虽然是非永久性的，也是没有连接的，但已经为我们带来了不同程度的数字化转型。“虚拟实境”一词是为了进一步促进我们物质生活各个方面的数字化转型而创造的。在虚拟实境的核心是一个沉浸式互联网的愿景，作为一个巨大的，统一的，持久的，共享的领域。虽然虚拟世界看起来很未来，但在延展实境、5G和人工智能等新兴技术的催化下，我们网络空间的数字“大爆炸”并不遥远。这份调查报告首次尝试提供一个全面的框架，在最先进的技术和虚拟实境生态系统的维度下研究最新的虚拟实境发展，并说明了数字“大爆炸”的可能性。首先，技术是推动从当前互联网向虚拟实境过渡的推动力。因此，我们严格审查了八项使能技术-延展实境，用户交互（人机交互），人工智能，区块链，计算机视觉，物联网和机器人技术，边缘和云计算，以及未来移动网络。在应用方面，虚拟实境生态系统允许人类用户在一个自我维持、持久和共享的领域中生活和玩耍。因此，我们讨论了六个以用户为中心的因素-化身，内容创作，虚拟经济，社会可接受性，安全和隐私，信任和责任。最后，我们提出了一个具体的研究议程的发展。
2021-11-03 cs.CY
From Adversarial Poetry to Adversarial Tales: An Interpretability Research Agenda
DEXAI – Icaro Lab（DEXAI–Icaro实验室）；Sapienza University of Rome（罗马大学）；Sant’Anna School of Advanced Studies（圣安娜高级研究学校）；VU Amsterdam（阿姆斯特丹伏里商学院）
本文提出对抗性故事技术，通过结构分解攻击大型语言模型，揭示其在文化编码框架下的脆弱性，并提出研究如何叙述线索影响模型表示的可解释性议程。
2026-01-16 cs.AI cs.CL cs.CY
Artificial Intelligence and Accounting Research: A Framework and Agenda
School of Accounting and Finance, University of Waterloo（滑铁卢大学会计与金融学院）；College of Business, California State University Long Beach（加州州立大学长滩分校商学院）
本文提出一个框架，分析人工智能如何改变会计研究，探讨AI与会计研究的交叉领域，以及如何通过战略定位和合作提升研究竞争力。
2025-11-20 cs.AI cs.CY econ.GN
The Economics of AI Training Data: A Research Agenda
Open Data Labs（开放数据实验室）
本文探讨人工智能训练数据的经济学问题，提出数据经济学作为新领域，分析数据属性、市场碎片化及定价机制，并提出四个核心研究问题。
2026-08-04 cs.CY econ.GN q-fin.EC
The Landscape of Generative AI in Information Systems: A Synthesis of Secondary Reviews and Research Agendas
Department of Software Engineering（软件工程系）；Gdańsk University of Technology（格但尼克技术大学）；J.E. Cairnes School of Business and Economics（J.E. Cairnes商学院）；University of Galway（Galway大学）；Lero, the Research Ireland Centre for Software（爱尔兰软件研究中心）；University of Coimbra（科英布拉大学）；Nicolaus Copernicus University in Toruń（托伦尼古拉·哥白尼大学）；University of Szczecin（斯兹埃钦大学）；University of Silesia in Katowice（卡托维茨萨里亚大学）；Wroclaw University of Science and Technology（沃拉日大学）；Tampere University（塔尔皮耶大学）；University of Oslo（奥斯陆大学）；University of Oulu（奥卢大学）
本文通过综合二次研究和研究议程，揭示生成式AI在信息系统中的挑战与机遇，提出以混合人机团队和适应性治理为核心的研究方向，推动技术与社会的协同进化。
2026-09-04 cs.AI cs.CY
A National Research Agenda for Intelligent Infrastructure
我们的基础设施触及我们每个同胞的日常生活，其能力、完整性和可持续性对我们国家的整体竞争力和繁荣至关重要。不幸的是，美国基础设施的现状并不好：美国土木工程师协会关于美国基础设施的最新报告将其列为D+ -需要3.9万亿美元的新投资。这种可怕的局面限制了我们的经济增长，威胁到我们的生活质量，并使我们的全球领导地位处于危险之中。ASCE报告提出了解决我们基础设施问题需要采取的三项行动：1）系统的投资和规划; 2）地方和联邦政府民选官员的大胆领导; 3）规划我们基础设施的可持续性和弹性。虽然我们当前的基础设施需求至关重要，但简单地复制更多我们今天拥有的东西是短视的。这样做，我们错过了创建智能基础设施的机会，而智能基础设施将为提高安全性和弹性、提高效率和公民服务以及更广泛的经济机会和就业增长奠定基础。事实上，我们面临的挑战是积极参与正在衰落的现有国家基础设施系统，不仅要修复它，而且要加强它;创建一个具有国际竞争力的网络物理系统，为公民提供更好的服务提供直接机会，并作为21世纪高科技经济及以后的平台。
2017-05-04 cs.CY
Toward Operationalizing Pipeline-aware ML Fairness: A Research Agenda for Developing Practical Guidelines and Tools
Barnard College, Columbia University（哥伦比亚大学巴纳德学院）；Georgia Institute of Technology（佐治亚理工学院）；Carnegie Mellon University（卡内基梅隆大学）；Stanford University（斯坦福大学）
本文梳理公平机器学习文献中贯穿ML流水线的不公平检测、衡量与缓解研究，指出实践操作化缺口，并提出制定指南与工具的研究议程。
2023-09-29 cs.AI cs.CY cs.LG
Accelerating Science: A Computing Research Agenda
Pennsylvania State University（宾夕法尼亚州立大学）；University of California at Berkeley（加州大学伯克利分校）；Lawrence Berkeley National Laboratory（劳伦斯伯克利国家实验室）
“大数据”的出现不仅为加速科学进步，而且为实现新的发现模式提供了前所未有的机会。许多学科的科学进步越来越多地得益于我们通过计算透镜检查自然现象的能力，即，使用算法或信息处理抽象的基础过程;和我们的能力，以获取，共享，整合和分析不同类型的数据。然而，在我们获取、存储和处理数据的能力与我们有效利用数据推进发现的能力之间存在巨大差距。尽管数据管理和分析的常规方面成功地实现了自动化，但科学过程的大多数要素目前都需要相当多的人力专业知识和努力。加速科学以跟上数据采集和数据处理的速度，要求开发算法或信息处理抽象，加上用于建模和模拟自然过程的正式方法和工具，以及科学家认知工具的重大创新，即，利用和扩展人类智力范围的计算工具，并在科学发现的广泛任务中与人类合作（例如，以闭环方式识别、优先化制定问题，设计、优先化和执行设计用于回答所选问题的实验，得出推论和评估结果，以及制定新问题）。这就要求协调一致的研究议程，旨在：发展，分析，整合，共享，和模拟的算法或信息处理抽象的自然过程，再加上正式的方法和工具，他们的分析和模拟;创新的认知工具，增强和扩展人类的智力和合作伙伴与人类在科学的各个方面。
2016-04-06 cs.AI cs.CY cs.DC
New Opportunities for Integrated Formal Methods
University of York（约克大学）
形式化方法为研究软件工程基础提供了方法，并且在改进当前可靠性保证实践方面具有很高的潜力。在这篇文章中，我们总结了已知的正式方法的优点和缺点。从机器人和自主系统（RAS）的保证的角度来看，我们强调了集成的正式方法的新机会，并确定了采用这种方法的威胁。基于这些机会和威胁，我们制定了一个议程的基础和实证研究的综合正式的方法，并成功地转移验证的研究RAS保证。此外，我们概述了我们对这一议程的有益成果的期望。
2019-11-05 cs.CY cs.RO cs.SE
