THE UNIVERSITY OF BIRMINGHAM CN-CR

SOME TUTORIAL/SEMINAR VIDEOS ON YOUTUBE
(Some with 'local' copies on this web site.)
(DRAFT: Liable to change)

Aaron Sloman
http://www.cs.bham.ac.uk/~axs/
School of Computer Science, University of Birmingham
(Philosopher in a Computer Science department)

Installed: 15 Aug 2018
Last updated: 6 Nov 2018

THE VIDEOS

https://www.youtube.com/watch?v=y2BcQHqqvQA
[57:13] Aaron Sloman
What's information? An answer from physics, biology, and philosophy
The Van Leer Jerusalem Institute, Jerusalem June 2016

https://www.youtube.com/watch?v=BNul52kFI74
[2hr 30.56m] Aaron Sloman
Meta-Morphogenesis - How a Planet can produce Minds, Mathematics and Music
Recording of tutorial at AGI conference Oxford 2013, produced by Adam Ford
Oxford Jan 2013
Also here, for some reason, with wrong date
http://www.scifuture.org/metamorphogenesis-how-a-planet-can-produce-minds-mathematics-and-music-aaron-sloman/

https://www.youtube.com/watch?v=iuH8dC7Snno
https://imperiya.by/video/feE8aW7Jmmr/Aaron-Sloman-Artificial-Intelligence-Psychology-Oxford-Interview.html
[57:33] Aaron Sloman interviewed by Adam Ford Oxford Jan 2013.
(Second version pirated???) Aaron Sloman - Artificial Intelligence - Psychology - Oxford Interview
Interviewed by Adam Ford, January 2013
Transcript by Dylan Holmes, edited by Aaron Sloman
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/transcript-agi-interview.html
Dylan's original transcript: http://aurellem.org/thoughts/html/sloman.html

https://www.youtube.com/watch?v=RXL7cF-5VyU
Duplicated here (lower resolution): essence-tutorial-RXL7cF-5VyU_43.webm
[2h 44:40]
Aaron Sloman
Evolved Construction-Kits for Building Minds (2nd ESSENCE Summer School)
the Second ESSENCE Summer School in Edinburgh in August 2015.
Related non-video Sloman web site with overview:
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/essence-kits-tut.html
(or .pdf)

ALL the main video presentations at the ESSENCE Summer School 2015
https://www.essence-network.com/wp-content/plugins/really-static/static/essence-events/summer-school/topics-and-speakers/

https://www.youtube.com/watch?v=ACaJlJcsvL8
[1hr03:21]
Aaron Sloman on the Turing Test - Did Eugene Goostman pass the Turing Test?
Interviewed by Adam Ford
Following news reports on the test at the Royal Society
http://turingtestsin2014.blogspot.com/2014/06/eugene-goostman-machine-convinced-3333.html

https://www.youtube.com/watch?v=sZeqILYDlUo
[1 03:25]
Aaron Sloman
"Evolution, robots and mathematics"
OxfordQuantumVideo
Published on May 1, 2012
Speaker: Aaron Sloman (University of Birmingham)
Title: Evolution, robots and mathematics
Event: Automatheo 2011 (April 2011, University of Oxford)

Abstract: Once there were no mathematics teachers. So where did mathematics, as an activity in which mathematical concepts are developed, mathematical conjectures formulated and mathematical proofs discovered, come from? An outline answer seems to be that biological evolution produced some organisms that, in addition to learning particular facts and empirically supported generalisations about their environment, had a further ability. They could reorganise what they had discovered into something like a deductive system that allowed conclusions to be drawn about situations that had never been experienced, including both conclusions about the gains from building new kinds of tools, weapons or shelters, and conclusions about serious dangers in other novel actions. A later evolutionary development of this sort in humans allowed children who had learnt ways of communicating verbally to reorganise what they had learnt into a*generative* system (based on syntactic rules), allowing them to produce or understand utterances they had never heard previously. That process occurs in children without teachers doing anything to make it happen, and I suggest that similar forms of reorganisation can extend knowledge originally acquired empirically about spatial structures and processes. This may also explain creative problem solving in some non-humans. What appears to be unique to humans is the ability to become aware of having this new knowledge and the consequent ability to communicate it to others, and then to discuss its limitations, and collaborate in improving and refining the knowledge. All this is highly speculative, though developmental psychology research by Jean Piaget and Annette Karmiloff-Smith (who labels the process of reorganisation "Representational Redescription") lends support to the conjectures. Examples that work with many adults will also be presented. However, work done so far in automated theorem proving or "intelligent" robotics has so far not produced machines capable of making discoveries of the sorts I'll present. This is a major reason why no robots produced so far by AI researchers even get near the intelligence of a human toddler. I'll sketch a possible research programme to remedy this.

VIDEOS ON COMPUTATIONAL THINKING, AI, POPLOG, POP11,
TYPES OF PROGRAMMING, LINUX, CONSCIOUSNESS

Presented by Aaron Sloman
https://www.youtube.com/playlist?list=PLYC-dSilAaYa6Mk1g6hBGUyqCwrIvyOWB

Not in logical or chronological order!

1 https://www.youtube.com/watch?v=QXAFz3L2Qpo
[21:46] Aaron Sloman
"What is computational thinking? Who needs it? Why? How can it be learnt?"
Invited Speaker session by Aaron Sloman, at the 2012 conference of the Association for Learning Technology (ALT). Session given in Manchester, UK, on Tuesday 11 September 2012 at 11.30

2 https://www.youtube.com/watch?v=y1syZ-Sl8ZY
[16:38]
Demo of linux, Pop11 and Espeak, looping (pop-espeak1.ogv )

3 https://www.youtube.com/watch?v=j0oaK59SSM0
[31:52]
Tutorial: a grammar to generate haikus, spoken by 'espeak'

4 https://www.youtube.com/watch?v=9TAQoRpvLFE
[23:42]
Modelling number competences

5 https://www.youtube.com/watch?v=jsCINKXK6ek
[25:36]
A demo of pop11 2-D graphics commands with faces and random walks

6 https://www.youtube.com/watch?v=xfGv9xfqDxU
[7:51]
Pop11 Basics: introduction to interactive programming, including lists

7 https://www.youtube.com/watch?v=M-NPoGCb0q8
[55:25]
Using pop11 to create a microworld for student programs to operate on riverworld

8 https://www.youtube.com/watch?v=Athf7cFbk3E
[9:29]
Very Rapid High Level Overview of Some Features of Xved/Ved the Poplog editor

9 https://www.youtube.com/watch?v=vXpjnqzTZIU
[35:15]
Using function keys on keyboard with the Poplog editor Ved/XVed (vedfunctionkeys)

10 https://www.youtube.com/watch?v=h8zv_un5k3k [Error corrected in next video]
[47:43]
Using the Poplog/Pop11 editor Ved with minimal keyboard keys (vedkeys)

11 https://www.youtube.com/watch?v=giEhHIN8z6I
[9:01]
Using Numeric Keyboard to Compile a Range (load-marked-range -- correcting previous video)

12 https://www.youtube.com/watch?v=WeYsG8TkNIY
[1:02:04]
Introduction to Pop11 basics (pop-basics - revised)

13 https://www.youtube.com/watch?v=PglYnQr85S8
[41:01]
Installing and Testing Poplog on Linux

14 https://www.youtube.com/watch?v=RvpK7RgWmoE
[56:07]
A tutorial comparing pattern-matching and other paradigms

15 https://www.youtube.com/watch?v=RrT9DUyg88M
[40:10]
Using the river-crossing microworld to learn programming and AI -- first steps

16 https://www.youtube.com/watch?v=qKPfy9IufG4
[3:39]
Unconscious seeing Video referred to in this test for unconscious qualia!
UNCONSCIOUS SEEING LATER REMEMBERED
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/unconscious-seeing.html

17 https://www.youtube.com/watch?v=0IS2rsgaw60
[2:22]
Hibernate/Resume (thaw) demo in Fedora 18 on Dell Latitude E6410

18 https://www.youtube.com/watch?v=0ZbB_-ip9VU
[3:53]
A Pop-11 program demonstrating a proof of Pythagoras theorem
A Video demonstration of a program showing a proof of Pythagoras' Theorem. to demonstrate pop11's graphics, and how some graphical proofs can work.)
[NOTE]
Unfortunately during the commentary I referred to the four equivalent triangles that had been created as four *squares*. I hope that slip will not hamper anyone's understanding of the proof after this acknowledgement.

http://www.cs.bham.ac.uk/research/projects/poplog/cas-ai/video-tutorials.html
Video Tutorials on Youtube
Introduction to Artificial Intelligence Programming in a powerful AI language, Pop11.
(Symbolic AI Programming for Beginners.)

Contents:
Installing and Testing Poplog on Linux
Demo of linux, Pop11 and Espeak, looping
A grammar to generate haikus, spoken by 'espeak'
Modelling number competences
A demo of pop11 2-D graphics commands with faces and random walks
A tutorial comparing pattern-matching and other paradigms
Pop11 Basics: introduction to interactive programming, including lists
(For Teachers): Using pop11 to create a microworld for student programs to operate on
Using the river-crossing microworld to learn programming and AI -- first steps
(river-teach.ogv)
Introduction to Pop11 basics

TUTORIALS ON THE EDITOR VED/XVED (Added 30 Mar 2014 to demonstrate pop11's graphics, and how some graphical proofs can work.)

Very Rapid High Level Overview of Some Features of Xved/Ved the Poplog editor
Using the Poplog/Pop11 editor Ved with minimal keyboard keys
Using the Poplog/Pop11 editor Ved with keyboard function keys -- top middle and right.
Using Numeric Keyboard to Compile a Range (load-marked-range: Correcting previous error)

This
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/youtube.html

A partial index of discussion notes in this directory is in
http://www.cs.bham.ac.uk/research/projects/cogaff/misc/AREADME.html

Maintained by Aaron Sloman
School of Computer Science
The University of Birmingham