Artificial general intelligence : 12th International Conference, AGI 2019, Shenzhen, China, august 6-9, 2019, proceedings.