Введение в искусственный интеллект

Математическая логика

• В 1963-1970 гг. к решению задач стали подключать методы математической логики.
• На основе метода резолюций, позволившего автоматически доказывать теоремы при наличии набора исходных аксиом, в 1973 г. был создан язык Пролог.

Экспертные системы

• В середине 70-х гг. на смену поискам универсального алгоритма мышления пришла идея моделировать конкретные знания специалистов-экспертов.
• В США появились первые коммерческие системы, основанные на знаниях, или экспертные системы.
• Созданы MYCIN, DENDRAL – классические системы для медицины и химии.
• Объявлено несколько глобальных программ – ESPIRIT, DARPA, японский проект машин 5-го поколения.