Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Game description language and dynamic epistemic logic compared
Engesser T., Mattmüller R., Nebel B., Thielscher M.  IJCAI 2018 (Proceedings of the 27th International Joint Conference on Artificial Intelligence, Stockholm, Sweden, Jul 13-19, 2018)1795-1802.2018.Type:Proceedings
Date Reviewed: Feb 7 2019

Efficient modeling and reasoning are critical to pushing the frontiers in knowledge-based, dynamic multiagent systems. The authors note that while several languages have been proposed to carry out this goal, these languages are limited to specific application domains.

The paper is motivated by the premise that the ability to reformulate models across these languages is a step toward an expressive, unified language for efficiently modeling and reasoning over knowledge in dynamic multiagent scenarios. The authors note that the ability to translate models between languages will extend the benefits of individual languages to a general setting. These benefits include theoretical results as well as practical applications such as planning algorithms.

The authors propose a reformulation framework that enables descriptions in GDL-III [1], the description language used to model general game playing with imperfect information and introspection, and DEL [2], the language used in epistemic planning to be translated back and forth. To enable this translation, (1) the semantics and execution model of GDL-III is modified and (2) the DEL language is extended to elevate its expressive power to match the expressivity of GDL-III. The assumptions placed under (1) limit the type of game descriptions that may be specified using GDL-III. The authors’ treatment of the assumptions in (1)--and by extension, the translation between GDL-III and DEL--can be generalized by either (i) proposing a technique to automatically translate general GDL-III descriptions to the GDL-III descriptions with assumptions (1), or (ii) “differentiating” GDL-III rules [3]. The approach (ii) can potentially lift the semantic mismatch between GDL-III and DEL, as noted by the authors.

The proposed extension of DEL is important because (1) it establishes that the GDL-III language has higher expressive power than DEL and (2) it enables models to be more compactly described in DEL, with an exponential reduction in the size of the description in some scenarios.

The established theoretical results and applications for DEL may not apply to the extended version of the language. As a result, the authors’ proposal does not directly pave the way for transferring the theoretical properties or practical application across the languages. That said, it is a promising step toward encouraging the community to shift its focus to unifying the myriad of languages for modeling dynamic multiagent systems and extending their theoretical properties to broader settings.

Reviewer:  Abhijeet Mohapatra Review #: CR146422 (1905-0187)
1) Thielscher, M. GDL-III: a description language for epistemic general game playing. In Proceedings of the 26th International Joint Conference on Artificial Intelligence AAAI Press, 2017, 1276–1282 .
2) van Ditmarsch, H.; van der Hoek, W.; Kooi, B. Dynamic epistemic logic. Springer, Dordrecht, the Netherlands, 2007.
3) Orman, L. V. Differential relational calculus for integrity maintenance. IEEE Transactions on Knowledge and Data Engineering 10, 2(1998), 328–341.
Bookmark and Share
  Reviewer Selected
 
 
Games (I.2.1 ... )
 
 
General (I.6.0 )
 
Would you recommend this review?
yes
no
Other reviews under "Games": Date
How computers play chess
Levy D. (ed), Newborn M., Computer Science Press, Inc., New York, NY, 1991. Type: Book (9780716782391)
Oct 1 1991
Computer chess
Pachman L., Kühnmund V., Routledge&Kegan Paul Ltd., London, UK, 1986. Type: Book (9789780710097859)
Oct 1 1987
Sums of games born on Days 2 and 3
Moews D. Theoretical Computer Science 91(1): 119-128, 1991. Type: Article
Feb 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy