Loading presentation...

Present Remotely

Send the link below via email or IM


Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.


E4E Presentation

What did you think mate ?

vikesh vara

on 3 May 2010

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of E4E Presentation

The Problem... The parity game is a two player game on an arbitrary (finite) graph. Each node is owned by one of the two players and has an integer "node value". A token is placed on an arbitrary node, and on each round it is moved by the owner of that node to a neighbouring node. The aim of the first player is to devise a strategy such that during an infinite length game the smallest value that is seen an infinite number of times is even. The aim for the second player is to prevent this. Since the graph is finite, the questions about infinite play reduce to questions about the existence of cycles with the property that the smallest node value in the cycle is even. Such games are important in the area of "mu calculus" and are particularly interesting as their computational complexity is still unknown. The task of the project is to implement an application that can be used to play the game. The tool should be usable to help teach about the concepts and "strategies for creating strategies" through being able to actually play the game. It should be interactive and visually appealing. It should thus be capable of giving a much better and easier explanation of the game than the one above above. It should also be able to automatically play to some reasonable extent, e.g. by incorporating algorithms for the needed cycle detection. Naturally, the implementation should be modular and well-designed, e.g. so that it is practical to extend it to other versions of parity games. Even-For-Ever (E4E)
A Tool for Learning Parity Games by Playing

Success of the project... Teach about the concepts and "strategies for creating strategies" Automatically play to some reasonable extent Thank you for listening! Three
Game Play Modes Main Menu Interface The Game Interface The Level Selector Play the Game Tutorial and Rules Section Specially Designed Levels Game Difficulty Setting The AI Game Completion Visibly Attractive Easy to Navigate Sound and Animation Single Player Two Player Computer vs. Computer Incrementing Levels of Difficulty Hints and Development of Skills Must Win Game to Unlock Next Level Test Themselves Against Human Player Specially Designed Graphs Players can Learn from Each Other All the Graphs from Single and Two Player Understand and Watch how the AI Plays Itself Each AI can be set to Varying Difficulty Levels Help Player to Develop their own Strategies Can see the Graph they are going to Play Short Decsription and Hint about the Level Select Difficulty Level Choose One of Two Rule Mode Options Aim to Catch and Keep User Attention Easy to Play and User Friendly Design Live Updates Hints Undo Last Move 4 Times Restart Level Start With Developing Understanding Main Concepts Then Further Develop Strategic Thinking and 'Strategies for creating Strategies' Each Level Focusses on a Specific Skill Beginner Intermediate Expert Basic Understanding Step by Step Play Through Boundries of the Game Traversing Graph for Cycles What defines a Win and a Loss Three Difficulty Settings Identifies when a Winning Cycle has been Found Uses the AI Brute Force Traversal when Graph Loads Aids the Hints Section Enumerates all Possible Moves from a given Vertex Only Interactive Solution for Playing Parity Game First Application that Teaches Strategic Element of the Game "It is very satisfying to see how our hard work has paid off" Darren James Elsworth "Communication between the other members of the group has been excellent" Michael Oleszczynski "I feel that the end product has surpassed all initial expectations" Alexander Michael Harry Rea "This project has proved to be highly beneficial in developing a number of new skills, from both a technical and social point of view" Nikolaos Kililis "We have had our fair share of technical issues along the way, but have overcome difficulties together whilst probably most importantly having fun and enjoying ourselves along the way" Vikesh Vara Great Feedback Merging all our efforts towards the same goal
Full transcript