Integrated Socio-technical Models for Conflict Resolution and Causal Reasoning

用于冲突解决和因果推理的综合社会技术模型

• 批准号: 433524788
• 负责人: Professor Dr. Werner Damm
• 金额: --
• 依托单位: Lehrstuhl für Informatik XXII: Software Engineering
• 依托单位国家: 德国
• 项目类别: Research Grants
• 资助国家: 德国
• 项目状态: 未结题
• 来源: https://gepris.dfg.de/gepris/projekt/433524788?language=en
• 关键词: Integrated; Socio; technical; Models; Conflict

Within the coordinated package proposal PAK 987/1 “Assuring Individual, Social, and Cultural Embeddedness of Autonomous Cyber-Physical Systems”, subproject 2 “Integrated Socio-technical Models for Conflict Resolution and Causal Reasoning” focuses on algorithmic means to detect, explain, resolve, and analyze the conflicts that arise when Human-Cyber-Physical Systems (HCPSes) interact with each other, with the physical world, and with humans in their vicinity. The project’s four work-packages (WPs) will develop a formal modelling framework expressive enough to cover the dynamics as well as legal and regulatory constraints and dynamically shifting personal preferences within HCPSes (within WP1), investigate algorithmic ways to find rational strategies avoiding conflict (WP2), develop means to rigorously explain and communicate local strategic decisions (WP3), and, if conflict could not be averted, means to analyze conflicts ex-post and reason over their causes (WP4). The modeling framework of WP1 will, beyond forming the formal basis for the algorithmic developments of the other work-packages, facilitate the communication and the model and method exchange among those work-packages and with the partner sub-projects (SPs) in the package proposal. From SP1 we will import models of human behavior and interaction, SP3 will provide elements of system designs, and SP4 will capture societal and legal requirements. WP2 will use game theory to describe the design space and model the interaction between agents and will develop an algorithmic game theory covering rational strategy design in heterogeneous multi-agent systems subject to partial observability and delayed feedback. The WP will thereby provide algorithmic means by which the agents can identify beneficial behavioral strategies permitting them to react to changes in their environment while respecting the pertinent legal and regulatory context and currently prevailing individual preferences. An extension of Justification Logic to heterogeneous multi-agent systems subject to regulatory constraints and dynamically changing individual preferences will be the scientific foundation for WP3. It will use it as a basis for the communication between agents and leverage its ability to provide provably correct online explanations of the reasons behind an agent’s choice, thereby helping foster behavioral alignment and trust across agents in general and the human-machine boundary in particular. Finally, WP4 will use the mathematical foundations of causality for ex-post reasoning over peculiar events. Operating ex-post and thereby being liberated from constraints applying to the design-time and run-time algorithms of WP2 and WP3, WP4 can detect and take account of unknown or unmodeled entities in- and outside the system boundaries, including knowledge not available at runtime, in order to reason over the actual causes of unexpected events, to attribute blame, and to guide improvements of the systems for the future.

在协调的包装提案中，PAK 987/1“分配了自动网络Ubproject 2”的个人，社会和文化嵌入，以解决冲突和因果推理的综合社会技术模型”，重点是算法手段来检测，解释，解释，解释，解释并分析当时的冲突。涵盖动态的法律限制和动态转移个人偏好（在1之内），调查算法的方法来寻找避免冲突的策略（WP2）IC决策（WP3），如果无法避免冲突，则建模框架，ER的建模框架。其他工作包的算法发展的正式基础，促进这些工作包的模型和方法交换，并与SP1的合作伙伴Sub-Propo SAL一起进口人类行为和互动的模型，SP3将提供系统设计和SP2将捕获社会和征词。法法上下文和目前的偏好。促进行为一致性和信任剂，尤其是人机边界。 - WP2和WP3的时间算法，包括在运行时不可用的知识，以推理出意外事件的实际原因，以归咎于责备以及指导系统的改进未来。