Научная литература
booksshare.net -> Добавить материал -> Психология -> Сальвенди Г. -> "Человеческий фактор. Том 3. Часть 1" -> 43

Человеческий фактор. Том 3. Часть 1 - Сальвенди Г.

Сальвенди Г. Человеческий фактор. Том 3. Часть 1 — М.: Мир, 1991. — 487 c.
ISBN 5-03-001815-8
Скачать (прямая ссылка): chelovecheskiyfactort3ch11991.djvu
Предыдущая << 1 .. 37 38 39 40 41 42 < 43 > 44 45 46 47 48 49 .. 198 >> Следующая

г) помечается узел CURRENT как SOLVED, если все узлы, соединенные с ним только что помеченной дугой, имеют метку SOLVED;
д) если узел CURRENT помечен как SOLVED или если стоимость, приписанная этому узлу, только что изменена, то его новое состояние должно быть распространено в обратном: направлении, т. е. вверх по графу. Поэтому к 5 добавляются все предки CURRENT.
Теперь можно видеть, что в отличие от двух списков OPEN и CLOSED, которые использовались в алгоритме А*, в алгоритме АО* фигурирует единственная структура G, представляющая собой ту часть графа поиска, которая к настоящему времени сформирована в явном виде. Каждый узел в графе указывает как вниз на своих ближайших преемников, так и вверх на своих ближайших предков. Каждому узлу в графе соответствует значение h — оценка стоимости пути из этого узла до множества узлов решения. Значение g (стоимость перехода и$ начального узла в текущий узел) не сохраняется, как в алгоритме Л*, a ft служит в качестве оценки степени близости узла к решению. Необходима также величина FUTILITY. Если оцененная стоимость решения становится больше FUTILITY, то поиск прекращается. Значение FUTILITY должно быть выбрано так, чтобы оно соответствовало некоторому порогу стоимости решения, при превышении которого решение считалось бы слишком дорогим для практического использования, даже если оно могло быть найдено.
Алгоритм поиска преимущественно в ширину можно получить из алгоритма АО*, присваивая значение h== 0.
2.4. Использование логики предикатов
Во многих прикладных продукционных системах информация, заносимая в базу данных, описывается с помощью высказываний, которые довольно трудно представить в виде простых.
106 Глава 2
структур типа массивов или множеств чисел (либо такое представление будет неестественным). Некоторые задачи, связанные с решением проблем, требуют наличия возможности представлять и находить необходимые высказывания, а также манипулировать множествами высказываний. Для записи самых разнообразных высказываний можно использовать язык логики или, точнее, исчисление предикатов первого порядка. Логический формализм представляет особый интерес потому, что он обеспечивает мощные средства вывода новых знаний из старых— путем математической дедукции. В рамках этого формализма можно заключить, что новое высказывание является истинным, доказывая, что оно вытекает из высказываний, истинность которых уже известна. Таким образом, идею доказательства в том виде, в котором она разработана в математике и используется как мощный инструмент демонстрации справедливости суждений, вытекающих из заведомо истинных суждений, можно распространить на дедукцию как на способ получения ответов на вопросы и метод решения проблем.
Тем читателям, которые не знакомы с логикой высказываний и исчислением предикатов, теперь, возможно, потребуется обратиться к хорошему вводному курсу по логике, прежде чем продолжить изучение материала настоящей главы. Более полное и формальное представление материала, обсуждаемого в данном разделе, можно найти в книге Чена и Ли [2].
Сначала мы рассмотрим использование логики высказываний для представления знаний. Эта логика вызывает интерес потому, что с ней легко работать, и потому, что для нее уже разработана процедура поиска решения. Факты реального мира могут быть легко представлены в виде логических высказываний, записываемых в виде правильно построенных формул логики высказываний, как показано ниже:
Идет дождь — ДОЖДЛИВО
На улице солнце'—СОЛНЕЧНО
На улице туман ?—ТУМАННО
Если идет дождь, то погода не солнечная — ДОЖДЛИВО-^-СОЛНЕЧНО.
Используя эти высказывания, можно, например, методом дедукции заключить, что погода не солнечная, если идет дождь. Однако очень быстро мы обнаруживаем, что логике высказываний присущи определенные недостатки. Предположим, что необходимо представить очевидный факт, формулируемый в виде предложения
Джон — мужчина.
Можно записать:
Искусственный интеллект
107
ДЖОН МУЖЧИНА.
Однако, если потребуется представить еще и высказывание
Джек — мужчина,
то придется написать что-нибудь вроде
ДЖЕК МУЖЧИНА,
а это уже севсем другое высказывание, и мы не сможем прийти ни к какому заключению относительно того, в чем состоит сходство между Джоном и Джеком. Гораздо лучшим способом представления этих фактов был бы следующий:
МУЖЧИНА (ДЖОН), МУЖЧИНА (ДЖЕК),
поскольку теперь структура представления отражает структуру самого знания. Еще большая трудность возникает при попытке представить высказывание Все люди смертны, поскольку теперь нельзя обойтись без применения кванторов (в противновм случае придется записывать отдельные высказывания о смертности для всех перечисляемых людей).
Итак, по всей видимости, для представления знаний нам придется воспользоваться не логикой высказываний, а логикой предикатов, которая позволяет представлять вещи, непредставимые с помощью первой. В логике предикатов факты реального мира представлены в виде утверждений, записываемых в виде правильно построенных формул. Однако основная причина, почему вообще выбрана логика, заключается в том, что, если для представления знаний используются логические утверждения, появляется возможность использовать эти знания в процессе рассуждений. В настоящем разделе мы кратко рассмотрим язык и методы логики предикатов.
Предыдущая << 1 .. 37 38 39 40 41 42 < 43 > 44 45 46 47 48 49 .. 198 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed