BSc Projects offered by Boris Konev in 2011

• BK 1R - Simplified Temporal Resolution for Propositional Linear Time Logic Propositional linear time logic (PLTL) allows one to express how propositions change their truth value in time. In particular, this logic can be used to express and verify dynamic properties of hardware and software systems, which makes the development of reasoning methods for this logic practically interesting. A. Degtyarev, M. Fisher, and B. Konev suggested a resolution-style calculus for PLTL This method, termed simplified temporal resolution, was, however, never implemented. The aim of this project is to implement the simplified calculus using efficient solvers for the Boolean satisfiability problem (SAT solvers), which currently became available. This project involves reading and understanding a research paper, developing the code which communicates with an external program written by somebody else, and performance measuring the resulting program against existing provers for this logic.
  
  
• BK 2R - Argumentation-based agent coalition for computer game Arguably, every successful AI technique was used in the computer game development. Argumentation framework is an AI paradigm in which agents provide arguments and counter-arguments supporting some decisions and actions, and the decision taken by the coalition is the result of the argument being resolved. The purpose of this project is to research into and implement argumentation-based AI for a coalition of AI agents for a computer game such as Robocode.
  
  
• BK 3P - Support for teaching AI techniques in Computer Games Ian Millington and John Funge book on AI for computer games introduces a number of techniques to support decision making and agent movement. The purpose of this project is to implement these techniques in Java and integrate them into a game environment, for example, into Robocode or into a new game environment based on jMonkeyEngine. The emphasis of the project should be on a clear design and implementation of code, on producing code of small size so that it could be used in lectures, and on providing ways to modify the agent behaviour. Having COMP222 taken is not required but will be considerably helpful in working on this project.
  
  
• BK 4P - Behaviour Trees-based Decision Making in Robocode Robocode is a programming game, where the goal is to develop a robot tank to battle other tanks. Robot battles are running in real-time and on-screen. The developer provides Java or .NET code that controls the robot, which specifies actions taken in response to events (such as 'hit by bullet' or 'when see an enemy').  The purpose of this project is to develop, design, and implement robot decision making based on behaviour trees and to provide a graphical user interface to modify the tree (and, hence, to change the agent behaviour).
  Having COMP222 taken is not required but will be considerably helpful in working on this project.
  
  
• BK 5P - Landscape Modelling There exist a number of programs capable to show "realistic" landscapes (in particular, computer games and landscape generators); however, they cannot usually depict a real place. The project consists of developing a tool generating a landscape view given a description of a particular landscape (that is, given a map with geodesic information supplied with a description of the surface and some details on it such as trees etc, for example, in the USGS Digital elevation Models format) and capable to depict movement through this landscape in real time. The program could also be extended with "extra" features such as fog and other weather conditions.
  
  
• BK 6P - Email Feedback Support System Electronic submission of assignments makes it harder for lecturers to provide student feedback since there is no paper document to write on and responding by email to everyone is time consuming. The purpose of this project is to develop a software system supporting generation of individualised assignment feedback. Given a class list (containing names and emails) the system should allow a lecturer to provide feedback to submissions and email the feedback to the student. A local copy should be kept. The system should be highly tunable allowing to both give free text feedback and chose from pre-defined (but tunable) options such as 'fully meet the criteria', 'partly meet the criteria', etc.
  
  
• BK 7D - Photograph on the Web and Access Rights Management Maintaining a collection of digital photographs becomes harder when the collection grows. Quite often people make their pictures available on the Web; however, it is not always desirable to let just anybody to see all the pictures, especially, private pictures. The aim of this project is to develop a web application capable of storing large collection of pictures. A collection owner should be able to brows, add, and delete pictures. Pictures may be annotated with some textual description and have attributes (such as venue, date, quality etc). In addition, the owner should be able to select some pictures from the collection and make the selected pictures available to users (e.g. in form of a link and/or username/password). A user can only brows the available pictures. The owner and users should authenticate themselves and it should not be allowed to a user to browse pictures outside of the selection made available to her/him.
  
  
• BK 8D - Visualisation of finite automata The purpose of this project is to produce visualise how a finite automaton works.