Abstract
Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A typical usage of the big O notation is asymptotical and refers to the largest input value since its contribution grows the fastest and makes other inputs irrelevant.
- 2.
Caveat: it only performs faster than other algorithms for numbers with over \(2^{4096}\) digits, i.e. bits, which is seldom practical even for big-data purposes.
- 3.
Presuppose we have a computable function (that solves the halting problem). That function runs a subroutine which detects whether our function will halt, and if that subroutine returns true, it should loop forever. If the function fulfils the condition of halting and returns true, then it will loop forever and never halt. However, if it returns false and does not halt, it will not loop forever, so it will immediately halt. These two contradictions then bring down the presupposition that it was a computable function.
- 4.
That is, material things like brains, and hence computers, cannot have mental states.
- 5.
The subjective experiences are usually known in philosophy as qualia.
- 6.
Suppose that we were able to succeed in constructing a computer that seems to understand Chinese. The computer takes Chinese characters as input, follows the programmed instructions and produces other Chinese symbols as an output. Suppose that it does it so competently that it passes the Turing test and convinces a human who speaks Chinese that the program is a human Chinese speaker. Searle then asks the question does the machine really understand Chinese, or it is merely simulating that ability.
- 7.
That is, the decision version tests whether the given route is the shortest route or not.
- 8.
Feature extraction consists of finding the most informative and yet compact set of properties or characteristics for a given problem.
- 9.
Classification is giving a discrete class/category label. Our mapping function needs to be as accurate as possible so that whenever there is a new input data x, we can predict the output variable y, for example, for a picture of a cat, we can put it in a category cat and not dog. In supervised machine learning, where we are training on one (usually larger) dataset and then checking our performance on another dataset, there is also regression, where the output variable is numerical or continuous, for example, “the price of this bike is $1500”.
- 10.
Multilayer networks. For example, in computer vision, in face detection, the first layer in a neural network may find regions or edges, the second may find eyes, nose and mouth, the third will make a face contour, etc.
- 11.
Overfitting is when a model corresponds too closely to a particular dataset, which usually means it will fail on more general examples since it contains too many specific parameters. For example, if we were to train a model that can recognize animal and human faces, using pictures of cats, which we described thoroughly to form our relevant attributes, our model could look for pointy ears as a relevant property, and work on cats but not on other animals nor humans (maybe it would work on Vulcans and Elves).
- 12.
Gradient descent is an optimization algorithm for finding the minimum of a function.
- 13.
These are two-layer neural networks that are trained to reconstruct the context. If you remove a word, it can predict what the words next to it could be, and finally, as a result, words that share common contexts are close together in the vector space.
- 14.
Two diagrams, where one has a common attribute that is lacking in the other, see [8].
References
Ahn LV, Blum M, Hopper N, Langford J (2003) Using hard AI problems for security. In: EUROCRYPT, CAPTCHA
Arora S, Barak B (2009) Computational complexity: a modern approach. Cambridge University Press, Cambridge
Blum A, Rivest R (1992) Training a 3-node neural network is NP-complete. Neural Netw 5(1):117–127
Chalmers D (1995) Facing up to the problem of consciousness. J Conscious Stud 2(3):200–219
Conneau A, Schwenk H, LeCun Y (2017) Very deep convolutional networks for text classification. In: Proceedings of the 15th Conference of the European chapter of the Association for computational linguistics: vol I, Long papers. Association for Computational Linguistics, Valencia, Spain, pp 1107–1116
Dennett D (1991) Consciousness explained. Little, Brown and Co., Boston
Fernando C et al (2017) Pathnet: evolution channels gradient descent in super neural networks. arXiv:1701.08734
Foundalis H, Phaeco: a cognitive architecture inspired by Bongard’s problems. PhD thesis
Girshick R (2015) Fast R-CNN. In: Proceedings of the 2015 IEEE International conference on computer vision (ICCV), ICCV ’15. IEEE Computer Society, Washington, DC, USA, pp 1440–1448
Gu C et al (2009) Recognition using regions. In: 2009 IEEE Conference on computer vision and pattern recognition
Harvey D, van der Hoeven J (2019) Integer multiplication in time O(n log n). hal-02070778, https://hal.archives-ouvertes.fr/hal-02070778
Jackson F (1982) Epiphenomenal qualia. Philos Q 32:127–136
Judd S (1988) Learning in neural networks. In: Proceedings of the First annual workshop on computational learning theory, COLT ’88. Morgan Kaufmann Publishers Inc, Cambridge, MA, USA, pp 2–8
Karatsuba AA (1995) The complexity of computations. Proc Steklov Inst Math 211:169–183
Khan S et al (2018) A guide to convolutional neural networks for computer vision. Morgan & Claypool
Livni R, Shalev Shwartz S, Shamir O (2014) On the computational efficiency of training neural networks. In: Proceedings of the 27th International conference on neural information processing systems - vol 1, NIPS ’14. MIT Press, Cambridge, MA, USA, pp 855–863
MacGregor J, Ormerod T (1996) Human performance on the traveling salesman problem. Percept Psychophys 58(4):527–539
Mallery JC (1988) Thinking about foreign policy: finding an appropriate role for artificially intelligent computers. Paper presented on the 1988 annual meeting of the International Studies Association
Milan A, Rezatofighi SH, Garg R, Dick A, Reid I (2017) Learning in neural networks. In: Proceedings of the First annual workshop on computational learning theory, AAAI ’17. Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, pp 1453–1459
Schönhage A, Strassen V (1971) Schnelle Multiplikation großer Zahlen. Computing 7:281–292
Searle J (1980) Minds, brains and programs. Behav Brain Sci 3(3):417–457
Shahaf D, Amir E (2007) Towards a theory of AI completeness. In: Commonsense 2007, 8th International symposium on logical formalizations of commonsense reasoning
Shapiro SC (ed) (1992) Artificial intelligence. In: Encyclopedia of artifical intelligence, 2nd edn. Wiley, New York, pp 54–57
Trazzi M, Yampolskiy R (2018) Building safer AGI by introducing artificial stupidity. arXiv:1808.03644
Tshitoyan V et al (2019) Unsupervised word embeddings capture latent knowledge from materials science literature. Nature 571:7
Weston J et al (2015) Towards AI-complete question answering: a set of prerequisite toy tasks. arXiv:1502.05698
Yampolskiy R, AI-complete, AI-hard, or AI-easy: classification of problems in artificial intelligence. In: The 23rd Midwest artificial intelligence and cognitive science conference, Cincinnati, OH, USA
Yampolskiy R, Turing test as a defining feature of AI-completeness. In: Yang X-S (ed) Artificial intelligence, evolutionary computing and metaheuristics
Ye G et al (2018) Yet another text captcha solver: a generative adversarial network based approach. In: Proceedings of the 2018 ACM SIGSAC conference on computer and communications security, CCS ’18. ACM, New York, NY, USA, pp 332–348
Yi SKM, Steyvers M, Lee M, Dry M (2012) The wisdom of the crowd in combinatorial problems. Cogn Sci 36:452–470
Young T, Hazarika D, Poria S, Cambria E (2018) Recent trends in deep learning based natural language processing. IEEE Comput Intell Mag 13(3):55–75
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Šekrst, K. (2020). AI-Completeness: Using Deep Learning to Eliminate the Human Factor. In: Skansi, S. (eds) Guide to Deep Learning Basics. Springer, Cham. https://doi.org/10.1007/978-3-030-37591-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-37591-1_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-37590-4
Online ISBN: 978-3-030-37591-1
eBook Packages: Computer ScienceComputer Science (R0)