Keynote Speakers

Prof. J. Mark Bishop

Emeritus Professor of Cognitive Computing at Goldsmiths, University of London

Title: The colour of cognition: from abstract computation to the lived mind

Abstract: Ever since CPP Snow’s Rede Lecture of 1959, there has been a general perception amongst educated people of life lived in two cultures: “On the one hand the departments of the arts and humanities dealing with ‘the living and experiential’ in a world of meaningful cognition; information as semantics; communication through language; signs and interpretations and on the other hand the sciences and mathematics dealing with the non-living and mechanical in a world of artificial cognition; information as statistics; communication through signals; energy, forces and matter all governed by strict laws. In this light these two cultures live in enforced ontological separation; they do not share the same reality”.

Conversely, modern approaches to cognitive science, emphasising the body and its interactions with environment and society, offer new tools with which to bridge this ontological gap and in so doing open up a new, shared reality: a reality of neurons living in the brain; the brain living in the body; the body living in the world & society. This radical, holistic approach to cognition focuses on the development of four research themes in cognitive science – the so-called ‘4E’s; the ‘embodied, embedded, enactive and ecological’ – each of which has its own vibrant research programme; but which also come together to form a larger, coherent, trans-disciplinary whole.

In this talk I will present my evidence concerning Artificial Intelligence and [Turing Machine] Functionalism, which fatally undermines the idea of mind as mere computational mathesis, and contrast with modern cognitive science, wherein mind is coextensive with life.

Bio: Prof J. Mark Bishop is now an Emeritus Professor of Cognitive Computing at Goldsmiths, University of London where he has been a Director of the TCIDA (The Centre for Intelligent Data Analytics). In that context, he has led a group that has successfully developed commercial state-of-art analytic systems for fraud detection and business-to-business e-procurement. Over his career Mark’s research has spanned the theory and application of Artificial Intelligence and its underlying philosophy; in this context he is regularly invited to advise on policy at the UN (Geneva/Turin/Birmingham), the EC (Brussels) and the UK (Parliament/Whitehall). In 2010 Mark was elected to Chair the AISB. The AISB (the UK Society for Artificial Intelligence & the Simulation of Behaviour) is the world’s oldest society for the study of AI and Mark served a four-year term as Chair [2010-2014] during which he was co-opted onto the Organising Committee of ICRAC (International Committee for Robot Arms Control). He has served as associate Editor of seven academic journals in the field of AI and Cognitive Science and as a Business Consultant on both AI & AI/Data ethics. Mark enjoys a high media profile and is regularly asked for comment in both national and international media; most notably critiquing the doomsday predictions of Prof Stephen Hawking, Elon Musk et al. (concerning the threat posed by AI). In this context, an invited piece for the New Scientist magazine became the most downloaded article of the issue. In 2016 Mark was invited to discuss AI with Prof Murray Shanahan across an episode of Radio 4’s “Agree to Differ”.

Prof. David Harel

The William Sussman Professorial Chair
Dept. of Computer Science and Applied Mathematics
The Weizmann Institute of Science

Two Projects on Human Interaction with AI

Abstract: I will present two projects that attempt to shed new light on the role computers will be playing in the future.
The first we term “The Human-or-Machine Issue”. Turing’s imitation game addresses the question of whether a machine can be labeled intelligent. We explore a related, yet quite different, challenge: in everyday interactions with an agent, how will knowing whether the agent is human or machine affect that interaction? In contrast to Turing’s test, this is not a thought experiment, but is directly relevant to human behavior, human-machine interaction and also system development. I will argue that exploring the issue now is useful even if machines will end up not attempting to disguise themselves as humans.
In the second project, we propose a systematic programming methodology that consists of three main components: (1) a modular incremental specification approach (specifically, scenario-based programming); (2) apowerful, albeit error-prone, AI-based software development assistant; and (3) systematic iterative articulation of requirements and system properties, amid testing and verification. The preliminary results we have obtained show that one can indeed use an AI chatbot as an integral part of an interactive development method, during which one constantly verifies each new artifact contributed by the chatbot in the context of the evolving system.

Bio: David Harel has been at the Weizmann Institute since 1980, and is currently President of the Israel Academy of Sciences and Humanities. In the past, he worked in several areas of theoretical computer science, including computability theory, logics of programs, database theory, and automata theory. Over the years, he became involved in software and systems engineering, visual languages, graph layout, modeling and analysis of biological systems, odor synthesis and communication, and prosody analysis. He invented Statecharts, co-invented Live Sequence Charts, and was part of the team that designed Statemate, Rhapsody, the Play-Engine and PlayGo. Among his many awards are the ACM Karlstrom Outstanding Educator Award, the Israel Prize, the ACM Software System Award, the Emet Prize, the IEEE Harlan Mills Award, and six honorary degrees. He is a Fellow of ACM, IEEE, EATCS and AAAS, an international member of Academia Europaea, the US National Academy of Sciences, the US National Academy of Engineering, the American Academy of Arts and Sciences, and the Chinese Academy of Sciences, and is a Fellow of the Royal Society (FRS).

Katariina Kari

Lead Ontologist at Inter IKEA Systems B.V.

Title: TBA

Abstract: TBA

Bio: Katariina Kari (née Nyberg) is the lead ontologist at Inter IKEA Systems. Katariina holds a Master in Science and Master in Music specialising in semantic web and guiding humankind to the digital age. Katariina makes use of varied semantic web technologies to realise KGs across many domains, especially lifestyle and e-commerce.
Katariina also pro-bono helps Nu Cycle in creating compelling waste offset products for individuals and companies.