HAL 9000
『2001年宇宙の旅』、『2010年』とも、ダグラス・レインが演じている。
HALはIBMを1文字ずつ前にずらして命名されたとする説(H←I、A←B、L←M / IBMより一歩先行くコンピュータを意味させている)が根強いが、監督のスタンリー・キューブリックや、共同脚本のアーサー・C・クラークはそれを否定している。小説『2010年宇宙の旅』では、チャンドラー博士自らIBM説を否定するくだりがある。
しかしクラークは後年になってからIBM社がこの説を迷惑がっているどころか半ば自慢しているらしいと聞き及び、『3001年終局への旅』のあとがきで「今後はこの説の間違いを正す試みを放棄する」と述べている。
小説では Heuristically programmed ALgorithmic computer (発見的な(ヒューリスティクス)プログラムをされたアルゴリズム的コンピュータ)の頭文字ということになっており、キューブリックも「アーサー・C・クラークと僕がコンピューターをHALと名づけたのは、HALの2つの学習様式である『発見的』(heuristic)と『アルゴリズム』(algorithmic)の頭文字を取ったからだ」と述べている。