Behavior-Based Robotics: Labbook 2016

December 20, 2016

Read the Rise of robo-octopus in New Scientist. The online version also has short video.
At the Informatica Olympiade they use for the kids the following interactive python course: http://cscircles.cemc.uwaterloo.ca

Read the chapter 5 of Starting Out with Python, about functions, including their multi-argument return.

Read the chapter 3 and 4 of Starting Out with Python, about tests and loops. The range-function is powerfull, but can easily lead to errors.

CMU has a Mindstorm education page. There highest level of lessons are for high-schools.
Lego itself has educational material until middle-school.
The ROS compatibility of the EV3 is still under development; there are no packages available yet for the EV3.
For the Basic Probability course of the Master of Logic, they use Think Python as freely available resource.

Starting to read the Cognitive Robot chapter (pp. 869) of Handbook of Knowledge Representation. Should also read the Situation Calculus chapter (Chapter 16 - pp. 649). Situation calculus is a logical language for reasoning about change. More precisely, it is a first-order language, sometime enriched with some second-order features. It represents situations and actions as first-order objects that can be quantified over. The second-order features can be found in the fluents-order features can be found in the fluents.
Situation Calculus implementation are described in "F. Lin. Compiling causal theories to successor state axioms and STRIPS-like systems. Journal of Artificial Intelligence Research, 19:279314, 2003." and "R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001".
Situation Calculus in Prolog was used for a real Khepera II robot in Mexico.
As alterative they recommended M. Thielscher. Reasoning Robots: The Art and Science of Programming Robotic Agents. Springer, 2005 (based on Fluent Calculus - which is an extension of situation calculus based on predicate logic). The FLUX system is Prolog based. The fluxagent.org website no longer exists.