Analyzing and predicting the dynamics of opinion formation in the context of social environments are problems that attracted much attention in literature. While grounded in social psychology, these problems are nowadays popular within the artificial intelligence community, where opinion dynamics are often studied via models in which individuals/agents hold opinions taken from a fixed set of alternatives, and where the goal is to find those configurations where the opinions expressed by the agents emerge as a kind of compromise between their innate opinions and the social pressure they receive from the environments. As a matter of facts, however, these studies are based on very high-level and sometimes simplistic formalizations of the social environments, where the mental state of each individual is typically encoded as a variable taking values from a Boolean domain. To overcome these limitations, the paper proposes a framework generalizing such by modeling the reasoning capabilities of agents in terms of weighted propositional logics. It is shown that the framework easily encodes different kinds of earlier approaches and fits more expressive scenarios populated by conformist and dissenter agents. Problems related to the existence and computation of stable configurations are studied, under different theoretical assumptions on the structural shape of the social interactions and on the class of logic formulas that are allowed. Remarkably, during its trip to identify some relevant tractability islands, the paper devises a novel technical machinery whose significance goes beyond the specific application to analyzing opinion formation and diffusion, since it significantly enlarges the class of Integer Linear Programs that were known to be tractable so far.

中文翻译：

---

具有基于逻辑的代理的离散偏好博弈：形式框架、复杂性和易处理性孤岛


分析和预测社会环境背景下舆论形成的动态是文献中备受关注的问题。虽然这些问题以社会心理学为基础，但如今在人工智能界很流行，其中意见动态通常通过模型来研究，在该模型中，个人/代理人持有从一组固定的替代方案中获取的意见，目标是找到那些配置代理人表达的意见是他们固有的意见和他们从环境中受到的社会压力之间的一种妥协。然而，事实上，这些研究是基于非常高水平、有时是简单化的社会环境形式化，其中每个人的心理状态通常被编码为从布尔域获取值的变量。为了克服这些限制，本文提出了一个框架，通过根据加权命题逻辑对代理的推理能力进行建模来概括这一点。结果表明，该框架可以轻松地编码不同类型的早期方法，并适合由顺从者和持不同政见者组成的更具表现力的场景。在关于社会互动的结构形式和允许的逻辑公式类别的不同理论假设下，研究与稳定配置的存在和计算相关的问题。值得注意的是，在识别一些相关的易处理岛屿的过程中，本文设计了一种新颖的技术机制，其意义超出了分析意见形成和传播的具体应用，因为它显着扩大了已知易处理的整数线性规划的类别，因此远的。