Game Description Logic with Integers: A GDL Numerical Extension - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

Game Description Logic with Integers: A GDL Numerical Extension

Laurent Perrussel

Résumé

Many problems can be viewed as games, where one or more agents try to ensure that certain objectives hold no matter the behavior from the environment and other agents. In recent years, a number of logical formalisms have been proposed for specifying games among which the Game Description Language (GDL) was established as the official language for General Game Playing. Although numbers are recurring in games, the description of games with numerical features in GDL requires the enumeration from all possible numeric values and the relation among them. Thereby, in this paper, we introduce the Game Description Logic with Integers (GDLZ) to describe games with numerical variables, numerical parameters, as well as to perform numerical comparisons. We compare our approach with GDL and show that when describing the same game, GDLZ is more compact.

Dates et versions

hal-03594786 , version 1 (02-03-2022)

Identifiants

Citer

Munyque Mittelmann, Laurent Perrussel. Game Description Logic with Integers: A GDL Numerical Extension. Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, 12012, Springer International Publishing, pp.191-210, 2020, Lecture Notes in Computer Science book series, 978-3-030-39950-4. ⟨10.1007/978-3-030-39951-1_12⟩. ⟨hal-03594786⟩
32 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More