هال ۹۰۰۰ به عنوان یک کاراکتر کامپیوتری با هوش مصنوعی فوق العاده است که در سال ۱۹۶۸ توسط آرتور .سی کلارک رمان نویس بریتانیایی خلق شد و اولین بار در فیلم یک ادیسه فضایی ۲۰۰۱ (2001: A Space Odyssey) به کارگردانی استندلی کوبریک فقید به عنوان شخصیت منفی داستان به تصویر درآمد.
اسم HAL9000 کوتاه شده Heuristically Programmed Algorithmic computer است، که ترجمه فارسی اون میشه کامپیوتری که با الگوریتم هیوریستیک برنامه ریزی شده.
الگوریتم جستجوی کاشف، هیوریستیک یا ابتکاری، یه روشی برای حل مسائلی است که راه‌های کلاسیک حل آن‌ها بسیار کند هستن یا راه‌حل تقریبی برای مسائلی است که راه‌های کلاسیک نمی‌توانند برای آن‌ها جواب دقیقی پیدا کنند. بیشتر مسائل پیچیده نیازمند ارزیابی تعداد انبوهی از حالت‌های ممکن برای تعیین یک جواب دقیق هستن. زمان لازم برای یافتن یک جواب دقیق اغلب بیشتر از یک طول عمر است. هیوریستیک‌ها با استفاده از روش‌هایی نیازمند ارزیابی‌های کمتر و ارائه جوابی‌هایی در محدودیت‌های زمانی قابل قبول دارای نقش مهمی تو حل اینجور مسائل دارن.
فیلم داستان فضاپیمایی را روایت میکند که ماموریت انتقال بشر به نقاط دوردست کیهان را دارد . در این سفر بیشتر فضانوردان به خواب مصنوعی فرورفته دو نفر دیگر وظیفه کنترل سفینه و مراقبت از بقیه افراد را دارند و هال ۹۰۰۰ به عنوان یه رایانه کمکی ایفای نقش میکند که در خلال فیلم بیننده متوجه میشود ماموریت اصلی فضاپیما چیز دیگری بوده و در واقع به هال محول شده و اوست که کنترل اصلی تمامی فضاپیما و ماموریت را در دست دارد نقطه اوج فیلم و رمان از این قسمت به بعد است که ترجیح میدم اسپویل نکنم خودتون اگر دوست دارید ببینید یا بخونید.
بعد از اکران طرفدار های فیلم متوجه شدن این اسم درواقع روی یکی از مدل های کامپوتر های شرکت IBM نیز بوده ولی در ادامه ماجرا کلارک کپی بودن این اسم رو رد کرد.
در آخر میشه گفت هال ۹۰۰۰ به نماد ماهیت غیر انسانی که غالبا اهداف ضد بشریت داره تبدیل شد، به طوری که در آثاری سینمایی بسیار دیگری هم، شباهت هایی، هم از نظر ظاهر هم شخصیت پردازی به هال ۹۰۰۰ را مشاهده میکنیم :
