1. Дайте определение понятию "искусственный интеллект". Охарактеризуйте основные теоретические проблемы искусственного интеллекта.

ИИ называется способность принимающей решение системы добиваться определённой степени успеха при решении широкого круга задач в широком многообразии сред.

В силу крайне недостаточной изученности естественного интеллекта и процессов, происходящих в мозгу человека, искусственные интеллектуальные системы в настоящее время моделируют только некоторые аспекты естественного мышления. Однако знания, накопленные к настоящему времени, уже позволяют создавать искусственные интеллектуальные системы, успешно имитирующие отдельные функции естественного интеллекта.

В связи с этим важно чётко представлять возможности современных интеллектуальных систем, основные признаки систем, по которым их можно назвать интеллектуальными, знать основные сферы приложения искусственного интеллекта.

К основным признакам интеллектуальной системы относят наличие базы знаний и системы логического вывода. В свою очередь основными теоретическими проблемами искусственного интеллекта являются проблема представления знаний и проблема логического вывода.

Всякая задача, для которой априорно неизвестен алгоритм решения, относится к искусственному интеллекту.

2.Охарактеризуйте понятие резолюции в общем виде.

Пусть имеются предложения вида и . Из этих предложений можно вывести предложение , которое логически следует из исходных предложений:

.

Вновь полученное предложение называется резольвентой. В общем случае из одной пары предложение можно получить несколько резольвент. Процесс получения резольвент называется резольвенцией или резолюцией.

Докажем, что если какая-либо интерпретация удовлетворяет исходным предложениям, то она удовлетворяет и резольвенте. Пусть какая-либо интерпретация I удовлетворяет исходным предложениям. Возможны два случая:

• интерпретация I удовлетворяет ;

• интерпретация I удовлетворяет .

В первом случае интерпретация I будет удовлетворять исходным предложениям, если она удовлетворяет R(z). Следовательно, в этом случае I удовлетворяет резольвенте. Во втором случае интерпретация I будет удовлетворять исходным предложениям, если она удовлетворяет P(x). Следовательно, и во втором случае I удовлетворяет резольвенте.

Если любая интерпретация, удовлетворяющая всем формулам (предложениям) множества Ф, удовлетворяет и формуле (предложению) F, т. е. F логически следует из Ф, то F называют следствием Ф. Совокупность правил, используемых при получении следствий – резольвент из заданных предложений, называют принципом резольвенции или принципом резолюции.

Принцип резолюции включает следующие два принципа:

- принцип силлогизма в исчислении высказываний, состоящий в том, что из и логически следует : ,т. е. пропозиционная форма является тавтологией;

- принцип отыскания частных случаев в исчислении предикатов, заключающийся в том, что формула F(t₁, … ,t_n), получающаяся из F(x_1...,x_n) при подстановке вместо x_i произвольных термов t_i является частным случаем F(x₁, … , x_n) и, следовательно .

Рассмотренный выше силлогизм («Все люди смертны», «Сократ – человек», «Сократ – смертен») можно, введя обозначения (Р – Сократ, Q – человек, R – смертен), представить в виде: .

Фактически принцип резолюции реализует цепочку (P  Q и Q R)  (  R), т. е. силлогизм и эквивалентен последовательному применению правил modus ponens и «специализация» к правилам P  Q и Q R. Действительно, из истинности P и P  Q следует истинность Q, а из истинности Q и QR следует истинность R, следовательно, истинно заключение   R.