В задачах искусственного интеллекта.

При создании СИИ используются главным образом три раздела математики: ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ, ПРЕДИКАТЫ и НЕЧЕТКИЕ МНОЖЕСТВА. С помощью исчисления выск5азываний и теории предикатов обычные предложения на русском языке можно записать в компактной математической форме. Теория нечетких множеств позволяет решать задачи, когда мы не можем провести точное решение.

2.1. Логика высказываний.

В предыдущей главе показано, что рассуждения агента (поиск решений задачи) сводится к определению правил перехода в соответствии с выбранной стратегией. Каждый шаг состоит в проверке агентом истинности левой части правила (факта нахождения среды в состоянии b_i и допустимости действия с_j) и, в случае ее истинности, признании факта перехода из состояния b_i в состояние b_k в результате действия с_j. Естественно, нам хотелось бы иметь математический аппарат, на основе которого можно осуществлять постановку и поиск решения задачи формально, используя наилучшую стратегию поиска. Логика высказываний – это первый шаг к созданию такого аппарата.

Осуществить постановку задачи формально – значит, имея некий формальный язык, выразить на нем все знания о среде, необходимые для решения задачи. Формальный язык в соответствии с современными представлениями требует рассмотрения двух его неотъемлемых частей: синтаксиса и семантики. Синтаксис языка описывает допустимые в языке предложения, состоящие из цепочек (последовательностей) символов, принадлежащих определенному множеству, называемому алфавитом. Синтаксис языка позволяет отличать предложения, принадлежащие языку, от предложений, ему не принадлежащих. Семантика языка определяет смысл этих предложений, сопоставляя символы языка с объектами реального мира, а предложения-отношения между объектами. Без семантики предложения языка являются ничего не значащими для агента цепочками символов. Семантика логики высказываний позволяет подразделять все множество допустимых предложений на истинные и ложные. Истинные – это те предложения, которые соответствуют имеющим место фактам или отношениям, а ложные – не имеющим. Решать задачу формально – значит иметь множество правил и стратегию их использования, которые позволяют осуществить вывод одних синтаксически правильных истинных предложений из других синтаксически правильных истинных или предполагаемых истинными.

Исчисление высказываний (другие названия – алгебра логики, двоичная алгебра, алгебра Буля) рассматривает операции над переменными, которые могут принимать только два значения: 0 и 1. Алгебра логики позволяет формализовать (записывать в виде формул) логические рассуждения. В этих рассуждениях оперируют понятиями истина и ложь. Понятие истина при этом обозначается 1, ложь – 0.

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

	Таблица 2.1.
Значения аргумента X	Функции
Y=0	Y=X	Y=`X=–X	Y=1

Первая и последняя функции являются константами, вторая – повторяет x, а вот третья, значения которой противоположны значениям х, широко используется в алгебре логики и называется отрицанием х , или инверсией, или просто функцией НЕ х. Других, кроме перечисленных функций одной переменной в алгебре логики не существует.

Функций двух переменных имеется 16, некоторые, наиболее часто используемые, приведены в таблице истинности 2.2.

Первая из этих функций называется логическим сложением или ДИЗЪЮНКЦИЕЙ или просто функцией ИЛИ. Часто её обозначают знаком +.

Вторая функция – логическое умножение или конъюнкция или функция И. Её часто обозначают знаком умножения – точкой.

Третья, четвертая и пятая функции называются, соответственно импликацией, сложением по модулю 2 и эквивалентностью.

Импликация обращается в нуль, только если значение второго элемента меньше значения первого.

Функция эквивалентности равна 1 при совпадении значений обоих аргументов, а функция сложения по модулю 2 при их несовпадении.

Существуют логические функции трех, четырех и т.д. аргументов. Например,

y=x1Úx2Ú x3, y=(x1Ùx2)Ú x3, y=(x_1®x₂)Ù(((x₂ x₁)Ù ₃)~ ₃).

Первое выражение можно прочесть так: если x₁ или x₂ или x₃ истинно (равно 1), то и y истинно (равно1).

Интерпретация второго выражения: если истинны x₁ и x₂ , или истинно x₃, то y истинно.

Третье выражение можно прочесть так: Y истинно, если x1³x2при одновременном несовпадении x₃ (отрицание x₃) c логическим произведением: x₁ не совпадает с x₂ на не x_3.