Abstract: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 game-theoretic models in which individuals/agents hold opinions taken from a fixed set of discrete 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 discrete preference games 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.

Logics for Moderate Belief-Disagreement Between Agents

On logic of belief-disagreement among agents

Dynamic epistemic logics for abstract argumentation

Argumentation-Based Non-Monotonic Reasoning of Agents

Problems of Inconsistency and Argumentation Logics

On Truth-Gaps, Bipolar Belief and the Assertability of Vague Propositions

How to Agree Without Understanding Each Other: Public Announcement Logic with Boolean Definitions

Reasoning About Belief, Evidence And Trust In A Multi-Agent Setting

A Logic of Knowledge Based on Abstract Arguments

A modal logic framework for multi-agent belief fusion

Diversity of Agents and Their Interaction.

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

Value-based Practical Reasoning: Modal Logic + Argumentation

Communication Modalities

Agent-Knowledge Logic for Alternative Epistemic Logic

Consensus and Disagreement of Heterogeneous Belief Systems in Influence Networks

An Argumentation-Based Flexible Agent with Dynamic Rules of Inference

Modeling belief, capability and promise for cognitive agents – a modal logic approach

Discrete Preference Games with Logic-Based Agents: Formal Framework, Complexity, and Islands of Tractability

A Logic for Paraconsistent Belief Revision based on Epistemic Entrenchment

Agent-BDI Logic