Математическая логика и искусственный интеллект

1.

Математическая логика и
искусственный интеллект
Першиков Илья
1295с11-2

2.

• История развития и предмет искусственного
интеллекта как науки
А. Ньюэлл
Г. Саймон
Джордж Бернард Шоу
В 1957 г. была создана первая программа для игры в шахматы NSS
(Newell, Shaw, Simon). Эти программы и созданная позже программа
"Универсальный решатель задач" были основаны на так называемом
эвристическом методе. (Эвристика — это правило, которое позволяет
сделать выбор при отсутствии точных теоретических оснований.
Эвристика — своего рода антипод алгоритма.)

3.

В конце 1960-х гг. стали
делаться первые попытки
применения разработанных
методов для решения задач
не в искусственных, а в
реальных проблемных
средах.
С середины 1970-х гг. начался
третий этап исследований
систем искусственного
интеллекта.

4.

• Представление знаний в системах
искусственного интеллекта
Теория представления знаний
— фундаментальнейший
раздел искусственного
интеллекта.
Традиционно выделяются две
группы методов
представлений знаний —
декларативные и
процедурные.

5.

• Экспертные
системы
Экспертные системы — один
из актуальнейших
прикладных разделов
искусственного интеллекта и
одно из значительных его
практических достижений.
Они используются в
многочисленных областях:
интерпретация, прогноз,
диагностика, мониторинг,
планирование,
проектирование, отладка,
ремонт, управление.

6.

• Язык ПРОЛОГ в системах
искусственного интеллекта
При помощи ПРОЛОГА были
построены экспертные системы
для многочисленных областей
науки и практики: решение
уравнений, медицина,
законодательство,
юриспруденция, архитектура,
автоматизация заводского
производства, проектирование
электронных схем, синтез
микропрограмм, анализ
финансового положения,
помощь в принятии решений.
Эрнест Нагель