Представление знаний в интеллектуальных системах
Методическое пособие - Компьютеры, программирование
Другие методички по предмету Компьютеры, программирование
1.Синтаксис логики предикатов. Примеры. Преобразование унарных предикатов в бинарные. Примеры
Синтаксис логики предикатов. Примеры
ПРЕДИКАТ - языковое выражение, обозначающее к.-л. свойство или отношение. П., указывающий на свойство отдельного предмета (напр., зеленый, теплый) Предикатом называется функция, которая возвращает логическое значение. С помощью предикатов часто определяют критерии сортировки или поиска.
,,()(..).">Логика предикатов - раздел математической логики , изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями).
Логика предикатов была разработана дли наиболее простого преобразования принципов логического мышления в записываемую форму. В логике предикатов вы, прежде всего, исключаете из своих предложений все несущественные слова. Затем вы преобразуете эти предложения, ставя в них на первое место отношение, а после него - сгруппированные объекты. В дальнейшем объекты становятся аргументами, между которыми устанавливается это отношение. В качестве примера в таблице 1 представлены предложения, преобразованные в соответствии с синтаксисом логики предикатов.
Логика предикатов, называемая также логикой первого порядка, допускает четыре типа выражений:
Константы. Они служат именами индивидуумов: объектов, людей или событий.
Переменные. Обозначают имена совокупностей, таких как человек, книга, посылка, событие.
Предикатные имена. Они задают правила соединения констант и переменных, например, правила грамматики, процедуры, математические операции. Для предикатных имен используются символы наподобие следующих: Фраза, Посылать, Писать, Плюс, Разделить. Предикатное имя иначе называется предикатной константой.
Функциональные имена представляют такие же правила, как и предикаты. Чтобы не спутать с предикатными именами, функциональные имена пишут одними строчными буквами: фраза, посылать, писать, плюс, разделить. Их называют также функциональными константами.
Синтаксис логики предикатов (пример)
По-русски: Жак посылает книгу Мари,
Логически: Посылка (Жак_2, Мари_4, Книга_22).
Преобразование унарных предикатов в бинарные. Примеры
С помощью предикатов часто определяют критерии сортировки или поиска. В зависимости от способа применения предикаты делятся на унарные и бинарные. Учтите, что не любая унарная или бинарная функция, возвращающая логическую величину, является действительным предикатом.
Унарные предикаты
Унарный предикат проверяет некоторое свойство одного аргумента. Типичный пример - функция, используемая в качестве критерия поиска первого простого числа.
Бинарные предикаты обычно сравнивают некоторое свойство двух аргументов. Например, чтобы отсортировать элементы по нестандартному критерию, программист передает алгоритму простую предикатную функцию. Это может понадобиться, если, например, элементы не могут корректно работать с оператором или сортировка должна выполняться по нестандартному критерию.
Унарные и бинарные предикаты имеют соответственно один и два аргумента. Фраза Сократ есть человек представима унарным предикатом Человек (Сократ), а Жак любит Мари - бинарным Любит (Жак_2, Мари_4). Любой унарный предикат можно преобразовать в бинарный следующим образом. Унарный предикат состоит из предикатного имени и значения своего единственного аргумента. Следовательно, его формат такой: Предикатное_имя (значение_аргумента). Значение аргумента есть конкретизация предикатного имени или переменной. Например, Человек (Сократ) указывает, что имя собственное Сократ - конкретизация имени совокупности человек, а Человек (х) указывает, что х - человек (не что-либо иное). Фразу Сократ - человек можно представить бинарным предикатом Конкр (Сократ, человек).
2.Основные стратегии решения задач. Предварительные понятия и примеры
Основные стратегии решения задач
Общая схема для представления задач называется пространством состояний. Пространство состояний - это граф, вершины которого соответствуют ситуациям, встречающимся в задаче ("проблемные ситуации"), а решение задачи сводится к поиску пути в этом графе. Процесс решения задачи включает в себя поиск в графе, при этом, как правило, возникает проблема, как обрабатывать альтернативные пути поиска. Две основные стратегии перебора альтернатив, а именно поиск в глубину и поиск в ширину.
Предварительные понятия и примеры
Задача состоит в выработке плана переупорядочивания кубиков, поставленных друг на друга, как показано на рисунке. На каждом шагу разрешается переставлять только один кубик. Кубик можно взять только тогда, когда его верхняя поверхность свободна. Кубик можно поставить либо на стол, либо на другой кубик. ?/p>