Budget-Constrained Coalition Strategies with Discounting

05/10/2021
by   Lia Bozzone, et al.
0

Discounting future costs and rewards is a common practice in accounting, game theory, and machine learning. In spite of this, existing logics for reasoning about strategies with cost and resource constraints do not account for discounting. The paper proposes a sound and complete logical system for reasoning about budget-constrained strategic abilities that incorporates discounting into its semantics.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/06/2013

Limitations of Skeptical Default Reasoning

Poole has shown that nonmonotonic logics do not handle the lottery parad...
09/23/2020

A Game Theoretical Semantics for Logics of Nonsense

Logics of non-sense allow a third truth value to express propositions th...
07/21/2014

Representing and Reasoning about Game Strategies

As a contribution to the challenge of building game-playing AI systems, ...
03/08/2020

Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them

Recently, we proposed a framework for verification of agents' abilities ...
02/04/2018

Tunneling Neural Perception and Logic Reasoning through Abductive Learning

Perception and reasoning are basic human abilities that are seamlessly c...
03/27/2013

Reasoning About Beliefs and Actions Under Computational Resource Constraints

Although many investigators affirm a desire to build reasoning systems t...
07/19/2022

Adaptive Learning for the Resource-Constrained Classification Problem

Resource-constrained classification tasks are common in real-world appli...