Collaborative Research: DASS: Agent Based Modeling at the Boundary of Law and Software

该项目研究基于代理的社交环境模型(ABM)如何改进负责任的软件系统的设计和管理。基于智能体的建模是一种社会科学研究方法，它涉及对复杂系统进行自下而上的建模，并通过运行仿真来计算确定其涌现特性。研究人员使用ABM对软件系统运行所处的社会和监管环境的要素进行建模。该项目的新颖性源于它的跨学科综合，将社会科学的ABM应用于软件规范和自动化测试，就像在计算机科学中所做的那样，以指导技术法规的制定和执行，这是一个法律问题。该项目的影响是为公共政策和教学提供信息，并为软件系统的自动测试提供开放源码软件工具包。软件、法规和社会相互作用，产生不可预测的、有时是不受欢迎的动态反馈效果。这个项目探索了ABM和科学模拟如何通过帮助监管者、领域专家、软件设计师和其他利益攸关方评估特定软件和监管系统的潜在社会影响，来解决法律要求和软件设计之间的差距。调查人员将ABM用于三个任务：(1)使用法规模型和软件运行的社会环境来创建软件规范，(2)使用对软件系统的社会影响的模拟来测试软件系统的合规性，以及(3)设计反映这些新工具的法规。该项目通过探索两个具体领域：在线广告系统对住房隔离的影响和传染病控制接触者追踪中隐私和准确性之间的权衡，开发了这些通用方法，以改进负责任的软件系统的设计，并通过探索两个特定领域来促进对软件设计的法律背景的理解。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This project studies how agent-based models (ABMs) of social contexts can improve the design and regulation of accountable software systems. Agent-based modeling is a social scientific research method that involves bottom-up modeling of complex systems and computationally determining their emergent properties by running simulations. The investigators use ABMs to model elements of the social and regulatory environment in which a software system operates. The project’s novelties are due to its interdisciplinary synthesis, applying ABMs from social sciences to software specification and automated testing, as done in computer science, to guide the crafting and enforcement of technology regulations, a legal concern. The project's impacts are informing public policy and teaching as well as providing an open-source software toolkit for the automated testing of software systems.Software, regulation, and society interact with unpredictable and sometimes undesirable dynamic feedback effects. This project explores how ABMs and scientific simulation can address the gap between legal requirements and software design by helping regulators, domain experts, software designers, and other stakeholders assess the potential societal implications of particular software and regulatory systems. The investigators use ABMs for three tasks: (1) creating software specifications using models of regulations and the social environment in which software operates, (2) testing software systems for compliance using simulations of their social impact, and (3) designing regulations that reflect these new tools. The project develops these general methods for improving the design of accountable software systems and advancing the understanding of the legal context of software design through the exploration of two specific domains: the effects of online advertising systems on housing segregation and the tradeoffs between privacy and accuracy in contact tracing for infectious-disease control.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.