Bridging the Gap between Formal Argumentation and Actual Human Reasoning

Later this week Dr Alice Toniolo will be an invited speaker at “Bridging the Gap between Formal Argumentation and Actual Human Reasoning” taking place at the Institute for Philosophy II, Ruhr-Universität Bochum. Her talk will focus on argumentation-based support for human sensemaking of conflicting information. See abstract below for more information.

Abstract: Models of argumentation have increasingly been employed in human decision-making systems to facilitate good reasoning. Sensemaking of conflicting and incomplete information is one application where argumentation-based tools have the potential to help users reduce the cognitive load in identifying hypotheses about a situation. To improve the effectiveness of systems that employ computational models of argumentation, however, there is a real need to evaluate their use in human decision support. In this talk, we seek to better understand the link between human reasoning, argumentation schemes and preferred extensions in supporting sensemaking of conflicting information. An application will be presented in the context of intelligence analysis which employs argumentation schemes to construct hypotheses about the world and counteract cognitive biases. Preferred extensions are linked to different possible world explanations and help analysts reduce the cognitive effort in identifying what is coherent in a situation. However, using argumentation-based tools to support reasoning about the world opens questions on how people engage with and understand these approaches. A set of experiments with human participants is presented to investigate the use of argumentation schemes and preferred extensions in identifying plausible explanations. Initial results show that argumentation schemes are a reliable method to structure inferences and draw plausible conclusions from incomplete information with potential for supporting the identification of biases. On the other hand, preferred extensions can be seen as capturing different possible world explanations affecting the degree of believability of a conclusion. Results from the experiments show that the degree of believability of a conclusion may be associated with the number of preferred extensions in which the conclusion is credulously accepted with similar heuristics as those employed in understanding probabilities.

Young Software Engineer of the Year 2018 Awards

Congratulations to Keno Schwalb, a runner-up at last night’s Young Software Engineer of the Year Awards. His final year project IDS test comparison of intrusion detection systems using malware samples was shortlisted earlier in September.

The Young Software Engineer of the Year accolades are awarded to the best undergraduate software projects from students studying computer science and software engineering in Scotland.

The awards were announced at the closing event of ScotSoft, Scotland’s leading tech conference at the Edinburgh International Conference Centre.

Previous finalists and prize winners have included, Gala Malbasic, Simone Ivan Conte, Sam Elliott,Thomas Grimes, Alistair Scott, Craig Paul, Angus MacDonald, Ben Catherall, Graeme Bell and Ian Miguel. The number of finalists is further testament to the quality of talented students graduating from the School of Computer Science at St Andrews.

Dasip 2018 Keynote: Professor Simon Dobson

Head of School Simon Dobson will deliver a keynote at Dasip, the Conference on Design and Architectures for Signal and Image Processing in October in Porto. Dasip provides an international forum for innovation and developments in the field of embedded signal processing systems. Simon’s keynote will focus on making the transition from sensors to sensor systems software.

Abstract: Signal processing underpins everything we do with sensors. The physical limits of sensors, and the effects of their exposure to their environment, in turn constrain their accuracy, and therefore affect the trust we can place in sensor-driven systems. But this is a long pipeline, and it’s by no means clear how to trace from low-level errors and inaccuracies to their high-level consequences. In this talk I will try to tease-out some of the desiderata we might look for in such a pipeline, with a view to understanding how we can go about building sensor systems that deserve our trust.

MSc and Honours receptions 2018

After a busy week of orientation, advising and module talks, MSc and Honours students are pictured socialising during their welcome receptions on Tuesday and Thursday evening last week. The popular and lively events highlight the friendly student community within the School and provide a chance to chat to staff and students before a semester of hard work begins.

Images courtesy of Xu Zhu and Sylvia Laesecke

Computer Science orientation and welcome 2018

After advising and induction events, staff and students are pictured enjoying a welcome reception and orientation activities, coordinated by Alice Toniolo. The annual gaming session proved as popular as ever and offered retro classic digital games and traditional board games. The gaming session was closely followed by a well attended welcome reception for First Year students.

Images courtesy of Lisa Dow and Andrew Wong

Google@St Andrews

Next Wednesday, October 3rd between 2 and 4pm, Google will be hosting an event at St Andrews. Come along to the Purdie building (Lecture Theatre A) to learn the ins and outs of technical roles at Google. You’ll learn about software and site reliability engineering, product management, and engineering at Google in general. You’ll also get insights into the technical interviewing process, and learn about the internships and scholarships available to students.

When: Oct 3rd, 2018 2-4pm

Where: Purdie Lecture Theatre A

Register: https://goo.gl/qjaHgE

Register by Oct 1st for the chance to be invited to an technical interview workshop 6-8pm on Oct 3rd.

Event details

  • When: 3rd October 2018 14:00 - 16:00
  • Where: Purdie Bldg

An Academic’s Observations from a Sabbatical at Google

Professor Adam Barker is featured in this month’s Communications of the ACM Magazine (CACM) discussing his recent Visiting Faculty appointment at Google. The Viewpoints article summarises his experiences working in software engineering on the Borgmaster team, and some of the core lessons which can be brought back to academia.

Borg is Google’s cluster management framework, which runs hundreds of thousands of jobs, across a number of clusters each with up to tens of thousands of machines.

National University of Singapore

Professor Aaron Quigley has been appointed a Visiting Senior Research Fellow in the Smart Systems Institute in the National University of Singapore. As part of his next sabbatical Aaron will spend 6 months in the Creating Unique Technology for Everyone (CUTE) centre in Singapore [Video]. He will be collaborating with researchers there on next generation interfaces, discreet computing and new forms of interaction. The research and lessons learnt will help advance the field of HCI and will be incorporated in future teaching and research here in St Andrews.

Science and Innovation mission to Japan

Sue Kinoshita, Minister Counsellor economic affairs and Professor Quigley

This week Professor Quigley joined a mission to Japan with other academics from the University of Oxford, Edinburgh, UCL and Manchester. The week long event was organised by the UK’s Science and Innovation team in Japan, part of the Foreign and Commonwealth Office. Over five days the delegation visited and presented at seven companies along with three seminars and workshops. Across nine presentations Professor Quigley presented to hundreds of people and introduced some of the Human Computer Interaction research in SACHI, along with research from the AI research group. This mission has the goal to strengthen research collaboration and innovation partnership between the UK and Japan.

During his talks, Aaron provided examples from our engineering doctorate program, our MSc program, work on research interns, PhD students and academics from across Computer Science.

 

Sethu Vijayakumar, Edinburgh University, Sue Kinoshita, Minister Counsellor economic affairs, Professor Aaron Quigley, Seiichi Asano, Senior science Officer and Joesph Robertson, Science & Innovation Officer.

Griff Jones, First Secretary, science innovation & global challenges, Sethu Vijayakumar, Edinburgh University, Sue Kinoshita, Minister Counsellor economic affairs, Professor Aaron Quigley, Seiichi Asano, Senior science Officer and Joesph Robertson, Science & Innovation Officer.