NDLI: Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions

Content Provider	ACM Digital Library
Author	Marchioni, Enrico Wooldridge, Michael
Copyright Year	2015
Abstract	Boolean games provide a simple, compact, and theoretically attractive abstract model for studying multiagent interactions in settings where players will act strategically in an attempt to achieve individual goals. A standard critique of Boolean games, however, is that the strictly dichotomous nature of the preference relations induced by Boolean goals inevitably trivialises the nature of such strategic interactions: a player is assumed to be indifferent between all outcomes that satisfy her goal, and indifferent between all outcomes that do not satisfy her goal. While various proposals have been made to overcome this limitation, many of these proposals require the inclusion of nonlogical structures into games to capture nondichotomous preferences. In this article, we introduce Łukasiewicz games, which overcome this limitation by allowing goals to be specified using Łukasiewicz logics. By expressing goals as formulae of Łukasiewicz logics, we can express a much richer class of utility functions for players than is possible using classical Boolean logic: we can express every continuous piecewise linear polynomial function with rational coefficients over [0, $1]^{n}$ as well as their finite-valued restrictions over {0, $1/\textit{k},$ …, $(\textit{k}$ ™ $1)/\textit{k},$ $1}^{n}.$ We thus obtain a representation of nondichotomous preference structures within a purely logical framework. After introducing the formal framework of Łukasiewicz games, we present a number of detailed worked examples to illustrate the framework, and then investigate some of their theoretical properties. In particular, we present a logical characterisation of the existence of Nash equilibria in finite and infinite Łukasiewicz games. We conclude by briefly discussing issues of computational complexity.
Starting Page	1
Ending Page	44
Page Count	44
File Format	PDF
ISSN	15293785
e-ISSN	1557945X
DOI	10.1145/2783436
Volume Number	16
Issue Number	4
Journal	ACM Transactions on Computational Logic (TOCL)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-09-15
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Łukasiewicz logics Logic Games Knowledge representation Multiagent systems
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Logic Computational Mathematics Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Sequent and hypersequent calculi for abelian and łukasiewicz logics

Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains

Tableau-based decision procedures for logics of strategic ability in multiagent systems

LTL over description logic axioms

Description logics of minimal knowledge and negation as failure

Knowledge in multiagent systems: initial configurations and broadcast

Giles’s Game and the Proof Theory of Łukasiewicz Logic

Reasoning About Substructures and Games

Hypothesis-based semantics of logic programs in multivalued logics

Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions

Similar Documents

Sequent and hypersequent calculi for abelian and łukasiewicz logics

Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains

Tableau-based decision procedures for logics of strategic ability in multiagent systems

LTL over description logic axioms

Description logics of minimal knowledge and negation as failure

Knowledge in multiagent systems: initial configurations and broadcast

Giles’s Game and the Proof Theory of Łukasiewicz Logic

Reasoning About Substructures and Games

Hypothesis-based semantics of logic programs in multivalued logics

Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions