Developing Winning Strategies

1998 ◽  
Keyword(s):  
Winning Strategies

scholarly journals Verification and Strategy Synthesis for Coalition Announcement Logic

2021 ◽  
Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang
Keyword(s):  
Model Checking ◽  
Proof Of Concept ◽  
Model Checker ◽  
Complete Model ◽  
Concept Model ◽  
The Family ◽  
Winning Strategies ◽  
Epistemic Goals

AbstractCoalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

scholarly journals Comparison Of Achievement Sport Systems Between Indonesia And China

2021 ◽  
Vol 1 (02) ◽  
pp. 56-62
Author(s):  
Muhammad Reza Aziz Prasetya
Keyword(s):  
National Development ◽  
New Techniques ◽  
Reform Era ◽  
Complex Dimensions ◽  
Human Creativity ◽  
Winning Strategies ◽  
Qualitative Descriptive ◽  
Spiritual Potential ◽  
Descriptive Method

Sport as a model of human creativity is a form of physical activity that has very complex dimensions, which undergo a systematic process in the form of all activities or efforts that can encourage, arouse, develop and foster one's physical and spiritual potential. as individuals or members of society. in the form of games, competitions/contests, and intensive physical activities to obtain recreation, victory, and peak potential. Sport is currently a trend or lifestyle for some of the general public, even to the point of becoming a basic need in life. National development through the development of sports in Indonesia in this reform era has become a strategic vehicle, especially improving the quality of human resources, as well as the formation of the character and character of the nation, in this paper many factors play a role in success in the field of sports, one of which the author wants to examine the differences and similarities between the performance sports system that runs in Indonesia and China. This study aims to compare the development of achievement sports systems carried out in Indonesia and China in order to improve the quality and competence of sports. This study uses a qualitative descriptive method with data collection techniques through documentation studies. The results of this study conclude that the government's contribution is needed in preparing winning strategies, training facilities, increasing competition opportunities and increasing resources that can be assisted by a team of academics and researchers from universities to find new techniques in training to support the maximum use of sport science. Keywords: achievement sports system, Indonesia, China.

scholarly journals A Discrete Stratety Improvement Algorithm for Solving Parity Games

2000 ◽  
Vol 7 (48) ◽  
Author(s):  
Marcin Jurdzinski ◽  
Jens Vöge
Keyword(s):  
Linear Programming ◽  
Conceptual Understanding ◽  
Polynomial Time ◽  
Stochastic Games ◽  
Real Numbers ◽  
Improvement Algorithm ◽  
Winning Strategies ◽  
Parity Games ◽  
Present Algorithm ◽  
Standing Problem

A discrete strategy improvement algorithm is given for constructing<br />winning strategies in parity games, thereby providing<br />also a new solution of the model-checking problem for the modal<br />-calculus. Known strategy improvement algorithms, as proposed<br />for stochastic games by Homan and Karp in 1966, and for discounted payoff games and parity games by Puri in 1995, work with real numbers and require solving linear programming instances involving high precision arithmetic. In the present algorithm for parity games these difficulties are avoided by the use of discrete vertex valuations in which information about the relevance of vertices and certain distances is coded. An efficient implementation is given for a strategy improvement step. Another advantage of the present approach is that it provides a better conceptual understanding and easier analysis of strategy improvement algorithms for parity games. However, so far it is not known whether the present algorithm works in polynomial time. The long standing problem whether parity games can be solved in polynomial time remains open.

scholarly journals Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers

2020 ◽  
Author(s):  
Kaisheng Wu ◽  
Liangda Fang ◽  
Liping Xiong ◽  
Zhao-Rong Lai ◽  
Yong Qiao ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
Game Theory ◽  
Experimental Results ◽  
Combinatorial Games ◽  
Logical Framework ◽  
Automatic Synthesis ◽  
Integer Arithmetic ◽  
Smt Solvers ◽  
Winning Strategies

Strategy representation and reasoning has recently received much attention in artificial intelligence. Impartial combinatorial games (ICGs) are a type of elementary and fundamental games in game theory. One of the challenging problems of ICGs is to construct winning strategies, particularly, generalized winning strategies for possibly infinitely many instances of ICGs. In this paper, we investigate synthesizing generalized winning strategies for ICGs. To this end, we first propose a logical framework to formalize ICGs based on the linear integer arithmetic fragment of numeric part of PDDL. We then propose an approach to generating the winning formula that exactly captures the states in which the player can force to win. Furthermore, we compute winning strategies for ICGs based on the winning formula. Experimental results on several games demonstrate the effectiveness of our approach.

Sign in / Sign up

Export Citation Format

Share Document