Philosophy and theory of artificial intelligence 2017. ([2018])