Automated Generation of New Concepts from General Game Playing
نویسندگان
چکیده
In this paper, we propose algorithms to extract explicit concepts from general games and these concepts are useful to understand semantics of games using General Game Playing as a research domain. General Game Playing is a research domain to invent game players which are able to play general games without any human intervention. There are many approaches to General Game Playing, for example, UCT, Neural Network, and Simulation-based approaches. Successful knowledge acquisition is reported in these approaches. However, generated knowledge is not explicit in conventional methods. We extract explicit concepts from heuristic functions obtained using a simulation based approach. Concepts to understand the semantics of Tic-tac-toe are generated by our approach. These concepts are also available to understand the semantics of Connect Four. We conclude that our approach is applicable to general games and is able to extract explicit concepts which are able to be understood by humans.
منابع مشابه
The Effects of Fifa 2015 Computer Games on Changes in Cognitive, Hormonal and Brain Waves Functions of Young Men Volunteers
Introduction: Computer games have attracted remarkable attentions in general publics with different cultures and their effects are subject of research by cognitive neuroscientists. In the present study, possible effects of the game Fifa 2015 on cognitive performance, hormonal levels, and electroencephalographic (EEG) signals were evaluated in young male volunteers. Methods: Thirty two subj...
متن کاملAutomated Negotiations for General Game Playing
In this paper we present a new algorithm for negotiations in non-zero-sum games. Although games have been studied extensively, most game playing algorithms have been developed under the assumption that players do not communicate. Many real-world problems, however, can be modeled as non-zero-sum games in which players may mutually benefit if they coordinate their actions, which requires negotiat...
متن کاملAutomated Verification of Epistemic Properties for General Game Playing
Automatically deriving properties of new games is one of the fundamental challenges for general game-playing systems, whose task is to learn to play any previously unknown game solely by being given the rules of that game. A recently developed method uses Answer Set Programming for verifying finitely-bounded temporal invariance properties against a given game description by structural induction...
متن کاملAutomated Theorem Proving for General Game Playing
A general game player is a system that understands the rules of an unknown game and learns to play this game well without human intervention. To succeed in this endeavor, systems need to be able to extract and prove game-specific knowledge from the mere game rules. We present a practical approach to this challenge with the help of Answer Set Programming. The key idea is to reduce the automated ...
متن کاملAutomated Theorem Proving for General Game Playing
A general game player is a system that understands the rules of an unknown game and learns to play this game well without human intervention. To succeed in this endeavor, systems need to be able to extract and prove game-specific knowledge from the mere game rules. We present a practical approach to this challenge with the help of Answer Set Programming. The key idea is to reduce the automated ...
متن کامل