Model checking Z specifications using SAL

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.

Combining influence maps and cellular automata for reactive game agents

Agents make up an important part of game worlds, ranging from the characters and monsters that live in the world to the armies that the player controls. Despite their importance, agents in current games rarely display an awareness of their environment or react appropriately, which severely detracts from the believability of the game. Some games have included agents with a basic awareness of other agents, but they are still unaware of important game events or environmental conditions. This paper presents an agent design we have developed, which combines cellular automata for environmental modeling with influence maps for agent decision-making. The agents were implemented into a 3D game environment we have developed, the EmerGEnT system, and tuned through three experiments. The result is simple, flexible game agents that are able to respond to natural phenomena (e.g. rain or fire), while pursuing a goal.

Levinasian ethics and the representation of the other in international and cross-cultural management

In this paper, we seek to further the discussion, problematization and critique of west/east identity relations in ICM studies by considering the ethics of the relationship – an issue never far beneath the surface in discussions of Orientalism. In particular we seek to both examine and question the ethics of representation in relation to a critique of what has come to be known as international and cross-cultural management (ICM). To pursue such a discussion, we draw specifically on the ethical elaborations of Emmanuel Levinas as well as his chief interlocutors Jacques Derrida and Zygmunt Bauman. The value of this discussion, we propose, is that Levinas offers a philosophy that holds as its central concept the relationship between the self and Other as the primary ethical and pre-ontological relation. Levinas’ philosophy provides a means of extending the post-colonial critique of ICM, and ICM provides a context in which the Levinasian ethics can be brought to bear on a significant issue on contemporary business and management.