Learning to play Pac-Man: An evolutionary, rule-based approach

Pac-Man is a well-known, real-time computer game that provides an interesting platform for research. We describe an initial approach to developing an artificial agent that replaces the human to play a simplified version of Pac-Man. The agent is specified as a simple finite state machine and ruleset. with parameters that control the probability of movement by the agent given the constraints of the maze at some instant of time. In contrast to previous approaches, the agent represents a dynamic strategy for playing Pac-Man, rather than a pre-programmed maze-solving method. The agent adaptively "learns" through the application of population-based incremental learning (PBIL) to adjust the agents' parameters. Experimental results are presented that give insight into some of the complexities of the game, as well as highlighting the limitations and difficulties of the representation of the agent.

A Z based approach to verifying security protocols

Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be directly expressed or verified in contemporary formal methods. Via a detailed example, we describe the phases needed to formalise and verify the correctness of a security protocol in the state-oriented Z formalism.

The information specialist in the clinical team: Building expertise in evidence-based healthcare

The Clinician Development Program (CDP) is an initiative of Queensland Health’s Quality Improvement and Enhancement Program. At the Royal Brisbane & Royal Women's Hospital Health Service Districts, evidence-base practice (EBP) is an important CDP area in which several projects were carried out in 2002. This paper describes one such project. A medical librarian was invited to accompany the clinical team on morning rounds in the Medical Assessment & Planning Unit (MAPU). The librarian conducted information skills training in the ward and helped clinicians to answer questions directly related to patient care. Questions not answered during the round were followed-up, usually within 48 hours, and responses emailed to the consultant who led the rounds. At the project’s conclusion the librarian was invited to continue as a member of the MAPU clinical team, thus acknowledging the valuable role an information specialist can play in incorporating research evidence into patient care. Clinical librarianship (CL) creates a space, albeit a contentious one, for the health librarian at the bedside. This paper describes an Australian CL project and attempts to demystify the role of an information specialist in EBP. It also highlights some of the challenges facing librarians and clinicians attempting to embed EBP in clinical settings.