Trí tuệ và nhân tạo - Phần 2: Tri thức và lập luận

Thuật ngữ trí tuệ nhân tạo (artificial intelligence) được Jonh

McCarthy đưa ra trong hội thảo ở Dartmouth vào mùa hè 1956. Trong hội

thảo này có mặt các tên tuổi nỏi tiếng như Marvin Minsky, Claude Shannon,

Nathaniel Rochester, Arthur Samuel, Allen Newell và Herbert Simon. Trước

hội thảo này, từ năm 1952 Arthur Samuel đã viết chương trình chơi cờ.

Samuel đã bác bỏ tư tưởng cho rằng máy tính chỉ có thể làm được cái mà

người ta bảo nó làm, vì chương trình của Samuel có thể học để chơi tốt hơn

người viết ra nó. Đến hội thảo này, Allen Newell và Herbert Simon cũng đã

viết chương trình lập luận với tên gọi “the logic theorist”.