поддержка
проекта:
разместите на своей странице нашу кнопку!И мы
разместим на нашей странице Вашу кнопку или ссылку. Заявку прислать на
e-mail
код нашей кнопки:
Моделирования рассуждений
Любой вид человеческой деятельности так или иначе связан с
рассуждением. В таком разделе науки, как искусственный интеллект, этот
термин используется в его общечеловеческом смысле, как понятие
естественного языка, нестрогое и неоднозначное. Но есть один вид
рассуждений, являющихся объектом изучения специальной науки - логики,
который определяется строго научно. Поскольку такие (логические)
рассуждения широко используются в интеллектуальных системах, рассмотрим
сначала их.
Пусть имеется некая формальная система F = < Т,Р,А,П >. Множество
Т может быть конечным или счетным. Его элементы имеют произвольную
природу. Это могут быть числа, символы, слова, предметы реального мира и
т. д. Все они называются базовыми элементами формальной системы и
попарно различимы между собой. Множество Т обладает разрешимостью, т. е.
о любом элементе из некоторого универсума всех возможных элементов
всегда можно однозначно сказать, является он базовым или нет.
Предположим, что формальная система описывает игру в шахматы. В этом
случае белые и черные фигуры, стоящие на определенных полях игрового
поля и образующие шахматную позицию, представляют собой множество
базовых элементов Т. Пары "фигура - игровое поле" различимы между собой.
Если же на некотором игровом поле находится не шахматная фигура, а
посторонний предмет, то это легко обнаруживается и такая "пара" не
учитывается в шахматной позиции.
Множество Р состоит из синтаксических правил, с помощью которых из
базовых элементов можно получить новые элементы формальной системы,
которые называются производными. Например, если пары "фигура - игровое
поле" являются базовыми элементами, то шахматные позиции - производные
элементы. Эти позиции образуются из базовых элементов по определенным
правилам, учитывающим пространственные отношения типа:
быть слева, быть на одной линии, находиться под ударом и т. п. Все
производные элементы, получаемые из базовых с помощью правил из
множества Р, считаются синтаксически правильными.
Множество А есть произвольное подмножество синтаксически правильных
элементов. Элементы множества А называются аксиомами. Они характеризуют
изначально заданные синтаксически правильные элементы формальной
системы. Применительно к шахматам из всех позиций шахматной игры имеется
лишь одна изначально заданная - это начальная позиция, она и является
аксиомой.
Наконец, множество П представляет собой совокупность правил вывода. Эти
правила позволяют из аксиом получать другие синтаксически правильные
элементы. Такие элементы называют выводимыми. В шахматной игре
выводимыми являются все позиции, которые могут быть получены из
начальной позиции (аксиомы) с помощью последовательности ходов,
состоящих из полуходов белых и черных. Сами правила, по которым
совершаются полуходы, и есть правила вывода.
Заданная таким образом формальная система обладает свойством
автоматически порождать из системы аксиом все выводимые из них элементы
формальной системы.
С понятием формальной системы связано важное понятие интерпретации. Для
интерпретации задается специальное множество Я, элементы которого
называются оценками. Это могут быть, например, значения истинности
(истинно, правдоподобно, сомнительно, ложно), оценки полезности
(абсолютно необходимо, полезно, бесполезно, вредно), оценки доверия
(абсолютное доверие, вера на 50%, невозможно поверить) и многие другие.
Формальная система обладает интерпретацией, если существуют такие
правила К, при которых любой синтаксически правильный элемент получает
однозначную оценку при условии, что все базовые элементы, из которых
состоит данный производный элемент, получили некоторую оценку из
множества Н. Правила К называются правилами интерпретации.
