Epistemic GDL: A logic for representing and reasoning about imperfect information games

Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng

doi:10.1016/j.artint.2021.103453

Cited by 10 publications

(9 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One can find, in the scientific literature, approaches which primarily focus on theoretical models, describing games using mathematical models, like General Video Game Playing [1] or Epistemic GDL [5]. It is also worth mentioning the work presented in [3] (referenced in Table 3 as TWVGDL) which establishes the basis for a generic VGDL [6].…”

Section: Related Workmentioning

confidence: 99%

XML-Based Video Game Description Language

Quiñones

Fernández-Leiva

2020

IEEE Access

View full text Add to dashboard Cite

This paper presents the XML-based Video Game Description Language (XVGDL), a new language for specifying Video games which is based on the Extensible Markup Language (XML). The proposal is portable and extensible, and allows games to not only be defined at engine level but also includes specific features that can lead the game design process whilst simultaneously reducing the gap between game specification and its corresponding game implementation. XVGDL is as generic as possible, making it possible to describe different genres of games. This paper focuses on presenting the basis of the language. The paper describes the syntax as well as the components of XVGDL, and provides examples of their use. Defining games via XML structures provides all the advantages of the management of XML files and opens up interesting lines of research. Our proposal provides a number of novel features. So, XVGDL game definitions can be managed as any other XML file, which means that it can be automatically handled by any XML file management software. Another interesting feature is that XVGDL can specify game components (e.g., game Artificial), in-game processes (e.g., the procedural generation of maps) or in-game events (e.g., the checking of the conditions to end a game match) via the association with external (possibly non-XML) files. Moreover, XVGDL files can be easily validated as any XML file what means that validations against a particular Document Type Definition (DTD) or XML Schema Definition (XSD) are possible. In addition, the paper presents a first prototype implementation of a (text-based) interpreter that allows XVGDL game specifications as a playable game to be executed. This tool not only validates our proposal but also represents a first step towards smoothing the path to obtaining an executable version of a game from its game specification.INDEX TERMS Video game description language, extensible markup language, XML, game design, game tools.

show abstract

Section: Related Workmentioning

confidence: 99%

XML-Based Video Game Description Language

Quiñones

Fernández-Leiva

2020

IEEE Access

View full text Add to dashboard Cite

show abstract

“…Another way is online education using online materials. Jiang et al [7] designed a logical framework for thinking in imperfect information games. The possibility of using the language to express rules of an imperfect information game and to formalize the common features of the logical game was shown in the works of Ndungo and Majuma [9].…”

Section: Introductionmentioning

confidence: 99%

Logical reasoning in life situations and in mathematics

Matušek¹

2021

MERAA

View full text Add to dashboard Cite

Having a certain amount of knowledge from the area of Propositional Logic can refine logical reasoning in life situations and in mathematics. Judgment is an important activity where we obtain logical consequences arising from the assumptions made. The article provides examples of correct and incorrect judgments. It draws attention to the mistakes that students make in determining the correctness of their judgments. By using appropriate methods, the mentioned inaccuracies can be eliminated and thus the teaching process will be improved, and the students’ level of knowledge increased. We analyzed the knowledge of students at the Slovak University of Agriculture in Nitra in the years 2018 to 2019 from the area of propositional logic. The tasks in the tests were aimed at on the basic knowledge of propositional logic. The main hypothesis was that by introducing statements of logic into teaching we can improve logical reasoning not only in mathematics, but also in everyday life situations. In determining the main hypothesis of our research, we relied on mathematical knowledge related to definitions and sentences and teaching experience. We performed a pedagogical experiment in two different groups. After evaluating the test results, differences in knowledge were found between the two tested groups.

show abstract

“…Our contribution is twofold. We first extend ADL with knowledge operators from Epistemic GDL [12] and the action modality from the GDL variant proposed in [21]. This extension aims at providing the ground for the design of General Auction Players.…”

Section: Introductionmentioning

confidence: 99%

“…All these logics face decidability and tractability issues: their expressive power prevents them from being implemented realistically in an artificial agent. Jiang et al [12] propose an epistemic extension of GDL (EGDL) to represent and reason about imperfect information games. Their language allows us to represent the rules in the imperfect information setting.…”

Section: Introductionmentioning

confidence: 99%

Epistemic Reasoning About Rationality and Bids in Auctions

Mittelmann

Herzig

Perrussel

2021

Logics in Artificial Intelligence

Self Cite

View full text Add to dashboard Cite

In this paper, we investigate strategic reasoning in the context of auctions. More precisely, we establish an explicit link between bidding actions and bounded rationality. To do so, we extend the Auction Description Language with an epistemic operator and an action choice operator and use it to represent a classical auction where agents have imperfect information about other agents' valuations. We formalize bounded rationality concepts in iterative protocols and show how to use them to reason about the players' actions. Finally, we provide a model checking algorithm.

show abstract

Epistemic GDL: A logic for representing and reasoning about imperfect information games

Cited by 10 publications

References 26 publications

XML-Based Video Game Description Language

XML-Based Video Game Description Language

Logical reasoning in life situations and in mathematics

Epistemic Reasoning About Rationality and Bids in Auctions

Contact Info

Product

Resources

About