Первые программы и модели: Logic Theorist и General Problem Solver
В истории развития искусственного интеллекта особое место занимают две программы, ставшие первыми значительными достижениями в этой области: Logic Theorist и General Problem Solver (GPS). Эти программы были созданы в середине XX века и заложили основу для дальнейших исследований и разработок в области искусственного интеллекта. Logic Theorist была разработана в 1956 году группой исследователей под руководством Алана Ньюэлла и Герберта Саймона. Программа предназначалась для автоматического доказательства теорем в логике высказываний...