Preface |
|
vii | |
|
|
1 | (8) |
|
1.1 Artificial Intelligence |
|
|
1 | (1) |
|
|
2 | (2) |
|
|
4 | (1) |
|
|
4 | (5) |
|
1.4.1 Classical computation |
|
|
4 | (2) |
|
1.4.2 Quantum computation |
|
|
6 | (3) |
|
|
9 | (10) |
|
|
9 | (3) |
|
2.1.1 Cantor's diagonal argument |
|
|
11 | (1) |
|
2.1.2 Reductio ad absurdum |
|
|
11 | (1) |
|
|
12 | (2) |
|
|
13 | (1) |
|
|
13 | (1) |
|
2.3 Church--Turing Thesis |
|
|
14 | (1) |
|
2.3.1 Church--Turing--Deutsch principle |
|
|
15 | (1) |
|
|
15 | (4) |
|
|
15 | (1) |
|
|
16 | (1) |
|
2.4.3 Von Neumann architecture |
|
|
16 | (3) |
|
|
19 | (18) |
|
3.1 Knowledge Representation |
|
|
19 | (6) |
|
|
19 | (1) |
|
3.1.2 Logic-based operators |
|
|
20 | (3) |
|
|
23 | (1) |
|
3.1.4 Categorial representation |
|
|
23 | (1) |
|
3.1.5 Binary vector representation |
|
|
24 | (1) |
|
|
25 | (5) |
|
|
26 | (2) |
|
|
28 | (1) |
|
3.2.3 Conflict resolution |
|
|
28 | (1) |
|
3.2.4 Human problem-solving |
|
|
29 | (1) |
|
|
29 | (1) |
|
3.3 Sub-Symbolic Models of Problem-Solving |
|
|
30 | (7) |
|
|
31 | (1) |
|
|
32 | (1) |
|
|
32 | (3) |
|
3.3.4 Euclidian geometry of the world |
|
|
35 | (2) |
|
|
37 | (38) |
|
4.1 Information and Thermodynamics |
|
|
37 | (10) |
|
|
39 | (1) |
|
|
40 | (1) |
|
4.1.3 Maxwell paradox and information |
|
|
41 | (1) |
|
|
42 | (5) |
|
4.2 Hierarchical Structures |
|
|
47 | (3) |
|
4.2.1 Example of a taxonomy |
|
|
49 | (1) |
|
4.3 Information and Measurement |
|
|
50 | (7) |
|
4.3.1 Information measure I |
|
|
52 | (3) |
|
4.3.2 Nature of information measure |
|
|
55 | (1) |
|
4.3.3 Measurement of angle |
|
|
55 | (1) |
|
4.3.4 Information and contour |
|
|
56 | (1) |
|
4.4 Information and Memory |
|
|
57 | (10) |
|
4.5 Sparse code for Sub-symbols |
|
|
67 | (1) |
|
4.5.1 Sparsification based on unary sub-vectors |
|
|
68 | (1) |
|
4.6 Deduction Systems and Associative Memory |
|
|
68 | (7) |
|
4.6.1 Taxonomic knowledge organization |
|
|
74 | (1) |
|
|
75 | (4) |
|
5.1 Reversible Computation |
|
|
75 | (1) |
|
|
76 | (3) |
|
|
76 | (1) |
|
5.2.2 Reversible Boolean gates |
|
|
76 | (1) |
|
|
77 | (1) |
|
|
78 | (1) |
|
|
79 | (16) |
|
6.1 Kolmogorovs Probabilities |
|
|
79 | (11) |
|
6.1.1 Conditional probability |
|
|
80 | (1) |
|
|
81 | (1) |
|
|
82 | (2) |
|
6.1.4 Naeve Bayes and counting |
|
|
84 | (1) |
|
6.1.5 Counting and categorization |
|
|
85 | (1) |
|
|
86 | (4) |
|
|
90 | (1) |
|
|
91 | (4) |
|
7 Introduction to Quantum Physics |
|
|
95 | (24) |
|
|
95 | (2) |
|
7.1.1 Schrodinger's cat paradox |
|
|
96 | (1) |
|
7.1.2 Interpretations of quantum mechanics |
|
|
96 | (1) |
|
|
97 | (2) |
|
7.2.1 Stochastic Markov evolution and unitary evolution |
|
|
98 | (1) |
|
|
99 | (4) |
|
7.3.1 Spectral representation* |
|
|
101 | (2) |
|
7.4 Quantum Time Evolution |
|
|
103 | (2) |
|
|
105 | (3) |
|
|
108 | (1) |
|
|
109 | (5) |
|
|
110 | (1) |
|
7.7.2 Measuring a compound system |
|
|
111 | (1) |
|
7.7.3 Heisenberg's uncertainty principle* |
|
|
112 | (2) |
|
|
114 | (5) |
|
7.8.1 Deterministic chaos |
|
|
114 | (1) |
|
7.8.2 Kolmogorov complexity |
|
|
114 | (2) |
|
7.8.3 Humans and random numbers |
|
|
116 | (1) |
|
7.8.4 Randomness in quantum physics |
|
|
116 | (3) |
|
8 Computation with Qubits |
|
|
119 | (26) |
|
8.1 Computation with one Qubit |
|
|
119 | (2) |
|
8.2 Computation with m Qubit |
|
|
121 | (2) |
|
8.3 Matrix Representation of Serial and Parallel Operations |
|
|
123 | (2) |
|
|
125 | (2) |
|
8.5 Quantum Boolean Circuits |
|
|
127 | (3) |
|
|
130 | (2) |
|
8.7 Deutsch Jozsa Algorithm |
|
|
132 | (3) |
|
8.8 Amplitude Distribution |
|
|
135 | (4) |
|
|
136 | (1) |
|
|
137 | (2) |
|
|
139 | (6) |
|
|
145 | (28) |
|
|
145 | (2) |
|
9.2 Discrete Fourier Transform |
|
|
147 | (3) |
|
|
149 | (1) |
|
9.3 Quantum Fourier Transform |
|
|
150 | (3) |
|
|
153 | (1) |
|
|
154 | (5) |
|
9.5.1 QFT quantum circuit* |
|
|
155 | (4) |
|
|
159 | (2) |
|
9.7 The QFT Period Algorithm |
|
|
161 | (3) |
|
|
164 | (4) |
|
|
164 | (4) |
|
9.9 Kitaev's Phase Estimation Algorithm* |
|
|
168 | (3) |
|
|
170 | (1) |
|
|
171 | (2) |
|
|
173 | (26) |
|
10.1 Search and Quantum Oracle |
|
|
173 | (2) |
|
10.2 Lower Bound for Ω(√n) for Uf-based Search* |
|
|
175 | (5) |
|
|
176 | (2) |
|
|
178 | (1) |
|
|
179 | (1) |
|
10.3 Grover's Amplification |
|
|
180 | (14) |
|
10.3.1 Householder reflection |
|
|
180 | (1) |
|
10.3.2 Householder reflection and the mean value |
|
|
181 | (1) |
|
|
182 | (2) |
|
10.3.4 Iterative amplification |
|
|
184 | (7) |
|
10.3.5 Number of iterations |
|
|
191 | (1) |
|
|
192 | (2) |
|
10.4 Circuit Representation |
|
|
194 | (1) |
|
10.5 Speeding up the Traveling Salesman Problem |
|
|
195 | (1) |
|
10.6 The Generate-and-Test Method |
|
|
196 | (3) |
|
11 Quantum Problem-Solving |
|
|
199 | (24) |
|
11.1 Symbols and Quantum Reality |
|
|
199 | (1) |
|
11.2 Uninformed Tree Search |
|
|
200 | (3) |
|
|
203 | (5) |
|
11.3.1 Heuristic functions |
|
|
205 | (1) |
|
11.3.2 Invention of heuristic functions |
|
|
205 | (2) |
|
11.3.3 Quality of heuristic |
|
|
207 | (1) |
|
|
208 | (4) |
|
11.4.1 Principles of quantum tree search |
|
|
208 | (2) |
|
11.4.2 Iterative quantum tree search |
|
|
210 | (1) |
|
11.4.3 No constant branching factor |
|
|
211 | (1) |
|
11.5 Quantum Production System |
|
|
212 | (1) |
|
11.6 Tarrataca's Quantum Production System |
|
|
213 | (7) |
|
|
213 | (4) |
|
11.6.2 Extending for any n-puzzle |
|
|
217 | (1) |
|
11.6.3 Pure production system |
|
|
218 | (1) |
|
11.6.4 Unitary control strategy |
|
|
219 | (1) |
|
11.7 A General Model of a Quantum Computer |
|
|
220 | (3) |
|
11.7.1 Cognitive architecture |
|
|
220 | (1) |
|
|
221 | (2) |
|
|
223 | (12) |
|
|
223 | (3) |
|
|
226 | (6) |
|
|
231 | (1) |
|
|
232 | (1) |
|
|
233 | (2) |
|
|
235 | (12) |
|
|
235 | (5) |
|
|
235 | (1) |
|
|
235 | (2) |
|
13.1.3 Quantum walk on a graph |
|
|
237 | (1) |
|
13.1.4 Quantum walk on one dimensional lattice |
|
|
238 | (1) |
|
13.1.5 Quantum walk and search |
|
|
239 | (1) |
|
13.1.6 Quantum walk for formula evaluation |
|
|
239 | (1) |
|
13.2 Adiabatic Computation |
|
|
240 | (3) |
|
|
241 | (2) |
|
13.3 Quantum Neural Computation |
|
|
243 | (2) |
|
|
245 | (2) |
Bibliography |
|
247 | (12) |
Index |
|
259 | |