purplecat: A painting of Alan Turing (General:AI)
New paper on the use of dialogue for explaining logical reasoning by computers in Dialogue Explanations for Rule-Based AI Systems. There's some fairly dense maths in there establishing properties of the system - for instance if the user and computer disagree about some fact then the system will find at least once such disagreement. To achieve this it makes a number of (patently false) simplifying assumptions about what a user might be reasoning or thinking (but you can't establish anything mathematically if you go with "who knows what the user is thinking or doing" so we fell back on "assuming the user is thinking and doing something sensible, then...").

Anyway, leaving the dense and frankly not very interesting maths aside, there is also a small example of a system implemented by my PhD student which should let you see what it does.
purplecat: An open book with a quill pen and a lamp. (General:Academia)
I was going over my early LJ posts and regretting that I don't post about science much any more. Science blogging requires a fair bit of mental energy to put everything together in a coherent, yet understandable, way.

Anyway, here is a paper in which I, another Computer Scientist and a legal scholar discuss what kind of explanations offered by autonomous and AI systems might be of interest to lawyers. This includes both explanations that might be offered to lawyers after some event, but also what lawyers might want to know about explanations offered to users during some interaction that let to an event. It's fairly preliminary work aimed at mapping the space more than offering specific conclusions or calls to action.
purplecat: A painting of Alan Turing (General:AI)

Academic Poster by Helen Smith from the UKRI TAs Node in Functionality and the University of Bristol.  It documents her thesis journey through literature review to looking separately at the legal and ethical aspects of the use of AI in clinical decision-making.  There are QR codes and references for key publications: Artificial intelligence use in clinical decision making: allocating ethical and legal responsibility, PhD thesis, 2022.  Clinical AI: opacity, accountability, responsibility and liability, AI & Society 2020.  Artificial intelligence in clinical decision-making: Rethinking liability, Medical Law International 2020.  Exploring Remedies for Defective Artificial Intelligence Aids in Clinical Decision Making in post-Brexit England and Wales, Medical Law International, 2022.  Clinicians and AI use: where is the professional guidance? Journal of Medical Ethics, 2023.  AI in healthcare: promise, serial and professional responsibility.  Journal of Medical Ethics Blog 2023.  Artificial intelligence in clinical decision-making: rethinking personal moral responsibility.  Bioethics 2023.  There is a little captioned image of two robots one saying 'It's your fault' and the other saying `No, it's your fault.'

The workshop last week included a poster session and, as is the way of these things, one can't always get to speak to all the poster presenters one would like to. This one had included handy references and QR codes so I just snapped the poster and moved on - now need to decide which papers to add to the large virtual "to read" pile.
purplecat: The Tardis against a sunset (or possibly sunrise) (Doctor Who)
I asked chatGPT to write a sonnet about Doctor Who.

In space and time, a traveler bold and bright,
With sonic screwdriver in his hand,
He roams the universe in search of right,
In TARDIS, ship that's larger than it seems, he's grand.

From Gallifrey, his home planet, he's fled,
To save the world from evil's grasp so tight,
With wit and charm, he battles in his stead,
And always finds a way to win the fight.

His regenerations, many faces donned,
Yet still, the same, a hero through and through,
With kindness, humor, and compassion honed,
He shows us all what we could be, and do.

So here's to him, the Doctor Who we love,
A timeless hero, sent from up above.


Admittedly I then had to ask it what a sonnet was and then what it meant by "strict rhyme scheme" but this does conform to its definition. Obviously deathless poetry this is not, but still it's better than I was expecting even though I knew the thing was impressive.
purplecat: A painting of Alan Turing (General:AI)
During which I discovered that AI is blue (at least on Google Image Search)


Alan Turing Pepper Robot Humanoid Robot head. Drawing that is supposed to illustrate the Chinese Room thought experiment. Prototype Driverless Car Cover of the IEEE Ethically Aligned Design document.
Snagging is free. Credit is appreciated. Comments are loved.


Texture in the second by bigbang_mint and in the fifth by erniemay.
purplecat: Hand Drawn picture of a Toy Cat (General:Computing)
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.

In the afternoon we had a presentation from Simon Reid, Sector Lead for Manufacturing for LCR 4.0 (Liverpool City Regions Industry 4.0 thing) which included ciivsoft as a case study for the good work LCR4.0 has been doing in the AI space. Ciivsoft is an automated recruiting tool which, among other things, builds "personality profiles" for you from people's applications and scours their social media presence for further information. No risk for algorithmic bias there then. One of our senior retired Computer Science professors immediately piped up once the talk had ended to ask why the ethics of this was so side-lined. The question was not answered. Indeed it was barely acknowledged. In fact the conversation moved on to how to encourage more young kids in the Liverpool region to be "the next Mark Zuckerberg"

While I agree with the sentiment here. There is a desperate need to stimulate aspiration in certain Liverpool City Region areas, but Zuckerberg seemed like a particularly tone deaf example to select when there had just been so much talk about the potential problems arising from the deployment of AI (and Big Data and social media) and how the region might seek to harness the potential of these technologies without entrenching its existing problems.
purplecat: Hand Drawn picture of a Toy Cat (agents)
I was going to start this post with the words "It is very strange…" but I suspect in the modern age it isn't strange at all, it merely hasn't happened to me before.

At any rate, when I woke up this morning it was to find I had been tweeted (or, at least, mentioned in a tweet)1 by a complete stranger. This alerted me to the fact I had an article in a magazine - Space Safety Magazine in fact2.

To be fair, I did know there was going to be an article in Space Safety Magazine. I even wrote it. I just wasn't really aware that it was imminently due to appear.

Here it is - it appears to be publicly available and is aimed at a more or less general audience: Safe Autonomous Space Software.

1. I'm sorry, I really haven't grasped twitter. I think I was just mentioned, but maybe he was tweeting at me.

2. No, this is really a thing, and presumably not just invented for the opportunity to appear as a guest publication on Have I Got News For You.
purplecat: Hand Drawn picture of a Toy Cat (ai)
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 because there is some compelling ethical reason to do so (one of the examples we look at is when another aircraft is failing to obey the rules of the air, potentially maliciously, by moving left to avoid a collision instead of moving right. If the autonomous pilot continues to move right then eventually the two planes will collide where a human pilot would have deduced the other aircraft was breaking the rules and eventually would have moved left instead, thus breaking the rules of the air but nevertheless taking the ethical course of action).

Since ethical autonomy is obviously part of a much wider set of concerns my boss got involved in organising a seminar on Legal, Ethical, and Social Autonomous Systems as part of a cross-disciplinary venture with the departments of Law, Psychology and Philosophy.

It was an interesting day. From my point of view the most useful part was meeting Kirsten Eder from Bristol. I knew quite a bit about her but we'd not met before. She's primarily a verification person and her talk looked at the potential certification processes for autonomous systems and pointed me in the direction of Runtime Verification which I suspect I shall have to tangle with at some point in the next few years.

There was a moment when one of the philosophers asserted that sex-bots were obviously unethical and I had to bite my tongue. I took the spur of the moment decision that arguing about the ethics of what would, presumably, be glorified vibrators with a philosopher while my boss was in the room was possibly not something I wanted to get involved in.

The most interesting ethical problem raised was that of anthropomorphic or otherwise lifelike robots. EPSRC have, it transpires, a set of roboticist principles which include the principle: "Robots are manufactured artefacts: the illusion of emotions and intent should not be used to exploit vulnerable users." The problem here is that there is genuine therapeutic interest in the use of robots that mimic pets to act as companions for the elderly, especially those with Alzheimers. While this is partially to compensate for the lack of money/people to provide genuine companionship, it's not at all clear-cut that the alternative should be rejected out of hand. Alan Winfield, who raised the issue and helped write EPSRC's set of principles, confessed that he was genuinely conflicted about the ethics here . In the later discussion we also strayed into whether the language of beliefs, desires and intentions used to describe cognitive agent programs, also carried with it the risk that people would over-anthropomorphise the program.
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 6

Vivi Nastase and Michael Strube, Transforming Wikipedia into a Large Scale Multilingual Concept Network, Artificial Intelligence (2012) (In Press)

DOI: 10.1016/j.artint.2012.06.008
Open Access?: Not that I can find.

Discussion )
purplecat: Hand Drawn picture of a Toy Cat (Default)
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!! )
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 )
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 Publication Index: http://www.cs.kent.ac.uk/pubs/2012/3136/index.html

I'm not sure quite how the terminology of a programming pearl arose. It denotes a neat, elegant or otherwise illuminating solution to some programming problem. In this case the programming pearl shows how a solver for a certain sort of logic can be programmed up in only 22 lines of of the Prolog Programming language.

Details under the Cut )
purplecat: Hand Drawn picture of a Toy Cat (agents)
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?: Sadly no.

I was half hoping to start these posts with a terribly exciting AI paper but sadly nothing terribly exciting caught my eye in the various Tables of Contents last week. However this is very much a bread-and-butter AI paper and so in some ways I'm not so sorry to be starting out with it, since it gives a good impression of what a lot of AI types do when they are not trying to develop machines that will take over the world and wipe-out humanity.

More Under the Cut )

So there you go, not terribly exciting, but a fairly typical current paper in artificial intelligence.

100 Papers

Apr. 19th, 2012 02:55 pm
purplecat: Hand Drawn picture of a Toy Cat (Default)
Because you all so want to read more thoughts by me...

This has been doing the rounds: a challenge to make 100 posts on the subject of your choice (no time limit).




{Take the 100 Things challenge!}


Actually, I've been thinking recently about ways to keep myself more abreast of the literature in my field which I tend to read somewhat sporadically. So the idea of some kind of one woman journal club doesn't immediately seem like a bad one. I'm going to attempt to blog about 100 current academic papers in my field (artificial intelligence, automated reasoning and agent programming) and, if possible, not make them sound too impenetrable. Given there's no time limit on this, I'm thinking I should aim for about one post per week, which should keep this going for two years by which point frankly either it will have become a habit or will have long fallen by the wayside.

15 Games

Oct. 14th, 2010 08:57 pm
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 )

This entry was originally posted at https://purplecat.dreamwidth.org/22116.html.

15 Games

Oct. 14th, 2010 08:57 pm
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 )
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 sophisticated.
Interesting: related to efficient coding of control algorithms by means of BDI..


It's always nice to know the peer review process is rigourous and robust.

This entry was originally posted at https://purplecat.dreamwidth.org/3136.html.
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 sophisticated.
Interesting: related to efficient coding of control algorithms by means of BDI..


It's always nice to know the peer review process is rigourous and robust.
purplecat: Hand Drawn picture of a Toy Cat (Default)
I have heard from the reviewers about the revised version of your
submission to JAR. Based on their comments,
I am happy to inform you that your submission is accepted provided the
following comments in the report can be addressed. Please prepare a
final version and send it to me along with a letter explaining how you
have handled the comments in the report. I will then decide and forward
the final manuscript to the publisher of JAR.


I have been trying to get this paper published in this particular journal since before G was born. I'm not sure quite when I started referring to it as the "Albatross Paper". My boss will be pleased as well. He's not one of the authors, but he'd like to help me improve my publication record and so clearly feels that telling me at regular intervals to get on with rewriting/resubmitting/chasing the progress of the thing is a duty. I'm sure it's a duty he'll be glad to be relieved of.

At this stage the research reported in the paper (an adaption of an automated reasoning technique called Rippling to a more expressive logic) is rapidly reaching the status of historic interest only. But it has irritated me somewhat to see the people currently using the technique, grappling with same problems I did a decade ago, without being able to do more than refer them to a technical report for solutions.

This entry was originally posted at https://purplecat.dreamwidth.org/937.html.

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

May 2025

S M T W T F S
    1 2 3
4 56789 10
111213 141516 17
18192021222324
25262728293031

Syndicate

RSS Atom

Tags

Style Credit

Expand Cut Tags

No cut tags
OSZAR »