Current work on multi-agent systems at King’s College London is extensive, though largely based in two research groups within the Department of Informatics: the Distributed Artificial Intelligence (DAI) thematic group and the Reasoning & Planning (RAP) thematic group. DAI combines AI expertise withpolitical and economic theories and data, to explore social and technological contexts of interacting intelligent entities. It develops computational models for analysing social, political and economic phenomena to improve the effectiveness and fairness of policies and regulations, and combines intelligent agent systems, software engineering, norms, trust and reputation, agent-based simulation, communication and provenance of data, knowledge engineering, crowd computing and semantic technologies, and algorithmic game theory and computational social choice, to address problems arising in autonomous systems, financial markets, privacy and security, urban living and health. RAP conducts research in symbolic models for reasoning involving argumentation, knowledge representation, planning, and other related areas, including development of logical models of argumentation-based reasoning and decision-making, and their usage for explainable AI and integration of machine and human reasoning, as well as combining planning and argumentation methodologies for strategic argumentation.

中文翻译：

---

社交人工智能的推理与交互

伦敦国王学院目前在多智能体系统方面的工作非常广泛，但主要基于信息学系的两个研究小组：分布式人工智能 (DAI) 专题小组和推理与规划 (RAP) 专题小组。DAI 将人工智能专业知识与政治和经济理论和数据相结合，探索交互智能实体的社会和技术背景。它开发用于分析社会、政治和经济现象的计算模型，以提高政策和法规的有效性和公平性，并结合智能代理系统、软件工程、规范、信任和声誉、基于代理的模拟、通信和数据来源、知识工程、人群计算和语义技术，和算法博弈论和计算社会选择，以解决自治系统、金融市场、隐私和安全、城市生活和健康中出现的问题。RAP 对涉及论证、知识表示、规划和其他相关领域的推理符号模型进行研究，包括开发基于论证的推理和决策的逻辑模型，并将它们用于可解释的人工智能以及机器和人类推理的集成，以及结合战略论证的规划和论证方法。