Logic theorist is usually considered the first true AI program, although Arthur Samuel's checkers program is earlier.
^ Logic Theorist は世界初の真のAIプログラムとみなされているが、アーサー・サミュエルのチェッカーのプログラムの方が若干早い。