During which I discovered that AI is blue (at least on Google Image Search)


( Read more... )

I spent most of Wednesday at a Northern Powerhouse Mini-conference on the relationship between artificial intelligence and inclusive growth. The morning was spent on a certain amount of "what is AI?" but with a good deal of discussion of the pitfalls of algorithmic bias and so on ( Read more... )

We (meaning my research group) have recently become interested in "ethical autonomy". From our point-of-view our interest is quite prescribed. Having formalised the "rules of the air" and created autonomous programs that can be shown to obey them we then got faced with the issue of when you want a pilot to deliberately break the rules of the air ( Read more... )

I seem to have a long list of things I want to blog about, hopefully I'll actually manage to get down to it properly this week!!

Anyway to start another of my (obviously not remotely weekly) 100 papers in AI.

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 6Vivi Nastase and Michael Strube, ( Read more... )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 5

Adam Sadilek and Henry Kautz. Location-Based Reasoning about Complex Multi-Agent Behaviour. Journal of Artificial Intelligence Research 43 (2012) 87-133

DOI: doi:10.1613/jair.3421
Open Access?: Yes!

( People got to play Capture The Flag for Science!! )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 4

Giuseppe Della Penna, Daniele Magazzeni and Fabio Mercorio. Applied Intelligence 36:932-959

DOI: http://dx.doi.org/10.1007/z10489-011-0306-z
Open Access?: Sadly no.

( Hybrid Systems seem to make up a large part of my work these days )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 2

Jacob M. Howe and Andy King, A Pearl on SAT and SMT Solving in Prolog, Theoretical Computer Science Volume 435, 1 June 2012, Pages 43-55.
DOI: http://dx.doi.org/10.1016/j.bbr.2011.03.031
Open Access: Available from Kent School of Computing ( Read more... )

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 1.

Catholijn M. Jonker, Viara Popova, Alexei Sharpanskykh, Jan Treur, and Pınar Yolum. Formal Framework to Support Organizational Design. Knowledge-Based Systems 31:89-105, 2012.

DOI: http://dx.doi.org/10.1016/j.knosys.2012.02.011
Open Access?: ( Read more... )

The rules: Don't take too long to think about it. 15 games you've played that will always stick with you. List the first 15 you can recall in no more than fifteen minutes. Tag fifteen friends.

I got tagged on Facebook, as usual I'm not tagging, but feel free to consider yourself tagged if you so wish.

( 15 Games under the cut )

In which we show that using AI/Agent based approaches let's you write shorter code, which I will confess, isn't really news in the AI/Agent community but this has gone to a "Space" conference (albeit Artificial Intelligence, Robotics and Automation in Space).

Reviewers' Comments in their entirety:

This is a quite simple approach; not academically ( Read more... )