New Framework Helps AI Systems Reason About Goals in Competitive Settings
Researchers have developed formal logic systems that enable artificial agents to reason strategically about their own goals and those of others in shared environments. The work could improve how AI systems negotiate, coordinate, and make decisions in real-world multi-agent scenarios like supply chains, autonomous vehicles, and marketplace platforms.
Originaltitel: Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and Perspectives
<p> This paper is an overview of some recent and ongoing developments of formal logical systems designed for reasoning about systems of rational agents who act in pursuit of their individual and collective goals, explicitly specified in the language as arguments of the strategic operators, in a socially interactive context of collective objectives and attitudes which guide and constrain the agents’ behavior.</p>