CMNA 9, IJCAI'09, & Travelling

Media_httpwwwstrangea_dzvxr
I will be at CMNA 9 on the 13th of July and given the nice mixture of theory and application at previous CMNA workshops, I thought that this XKCD strip would fit nciely. This year's CMNA will be held during IJCAI in Pasadena, California which means that I have some intercontinental travel coming up. First though I will be spending a week at Brooklyn College in N.Y. visiting Simon Parsons and finding out about their argumentation, intelligent agent, and  C.S. Education research. Luckily this will coincide with the Bridges to Computing summer school which should give me some food for thought on how other institutions attract and retain C.S. students. Hopegully this will be a busy, exciting, and productive east coast stopover on the way to California.
Posted
 

Dundee Students @ Yahoo! HackDay

We (meaning Andy) have run a successful Yahoo! HackDay at Dundee for the last couple of years. This year some of our students went down to the Yahoo! OpenHack event in Londidium to present their own hack: IntelliSearch, for which they won Best Mozilla Hack. Anyhow, two of the three students who developed IntelliSearch, Laurence & Chris, have been working in their spare time, on a multiplayer online game called Zandrok. Anyhow, yesterday I met with Chris to discuss his fourth year project which will use software agents in relation to Zandrok. More information will be forthcoming once we iron out what exactly we plan to achieve, but it should be an exciting project. In the meantime, here is the IntelliSeach presentation:

Posted
 

Strategy Versus Tactics

Media_httpwwwstrangea_vagbj
I found a really interesting comment over on Charlie's blog about the effect of technological change on the exercise of control. This comment in turn lead me to The Rules of the Game by Andrew Gordon, a work on naval history which tells the story of the 1916 battle of Jutland. The comment that interested me talked about how the introduction of steam powered ships into the Royal Navy, and therefore the increased control over those ships which were no longer slaves to the wind and many other factors, meant that where previously responsibility and authority for any given ship lay with the captains of individual vessels, this role was increasingly taken on by the admiral of the fleet who could precisely order the position and speed of ships under his command. This lead to less initiative on the part of individual vessels and had a deleterious effect on the competence of crews and independence of thought of their captains. The upshot was increased centralised but essentially illusory control over the fleet to the detriment of the military effectiveness of the fleet. To some degree this is an issue of strategy, as devised by the admiral, versus tactics, of individual captains trying to achieve goals within that strategy. If too much of the tactical role is assumed by the admiral on top of the strategic role, then the control structure of the fleet is brittle. This is fine if the initiative of individual captains is not impacted because they can resume control should the middle not hold. However, should individual initiative be lost then this can leave the fleet without even decentralised control should the communications and instructions from the admiral be lost. Clearly there is balance that need to be found between centralised control, steering the overall fleet in a desirable direction, and the initiative and intelligent behaviour of individual entities within the fleet. There are distinct parallels between this scenario and the kinds of problems that I am interested in tackling using multiagent systems. Much of computing has traditionally focussed on very centralised control over the elements of a system. Whilst I am sure there is some form of turing-type equivalence between centralised and decentralised solutions to problems, I am also sure that certain problems can be more easily, or more robustly, tackled using decentralised techniques of which software systems comprised of multiple, autonomous intelligent agents.
Posted
 

The Arguing Agents Competition (AAC)

My MSc student Minh Nhat Pham recently submitted his thesis which developed an initial infrastructure for the nascent Arguing Agents Competition (AAC). To give people an idea of what the AAC entails I have posted a screencast of the software demonstration from his MSc presentation.
Posted
 

A Visit from Rafael

Rafael Bordini will be visiting us in SoC next week. He will be giving a seminar entitled "A Verifiable Approach to Programming Multi-Agent Systems" and hopefully will spend the rest of the day chatting with ARG about possible avenues for joint work. The absract for his talk is as follows; "This talk will provide an overview of a particular approach to programming multi-agent systems and how we aim to do formal verification of systems programmed according to that approach. The talk covers some features of Jason, a Java-based interpreter for a variant of a logic-based agent-oriented programming language called AgentSpeak, and mentions various ongoing research strands related to it. The talk also gives a brief account of recent research aimed at developing a library of common features of agent programming languages so as to facilitate the use model-checking techniques for the verification of multi-agent systems written in such languages." I have met Rafael a couple of times and he is a thoroughly nice chap so I am quite looking forward to his visit. Anybody who can make it to the Wolfson Research Theatre on 27th February @ 12:30 should come along because they are in for a treat.
Posted