I'm looking for advice on pursuing research in AI that diverges from the mainstream machine learning. The research itself would mostly be around the theoretical level of AI rather than the application level. Topics that I am interested in:
* Exploring *constructive* outcomes of denying the Church-Turing thesis (AI version). Emphasis on constructive, because I am not too interested in the philosophical ponderings, but rather mapping out an alternative direction of building AI.
* Game theoretic formulation of AI.
* Non-classical logics.
I have BSc in Robotics with AI and MSc in Machine Learning. For the past couple of years I have been doing some of the background reading and have a rough sketch of the thesis itself too. However, it is a bit boring doing this alone without a supervisor, and the lack of an academic setting is not very motivating sometimes. The problem however, is how to find that, especially these days? Frankly, the spirit of my research seem to belong to the era of the 70s. Most of the guys from those days are either dead or retired...
Could anyone recommend universities, research groups, or individuals aligned with these topics? Anything that would help me to minimize the scope of the search would be useful.
Thanks!
* Advances in hardware have driven renewed interest in deep learning. In *2009*, Nvidia was involved in what was called the "big bang" of deep learning, "as deep-learning neural networks were trained with Nvidia graphics processing units (GPUs)".
* Johan Oskarsson, then a developer at Last.fm, reintroduced the term NoSQL in early *2009* when he organized an event to discuss "open-source distributed, non-relational databases".
* The [Bitcoin] currency began use in *2009*, when its implementation was released as open-source software.
* VR 2012?
Obviously all of these ideas existed before at various stages of development, but it makes one wonder where all of them would have been if the printer was started.