Представление знаний в интеллектуальных системах
Методическое пособие - Компьютеры, программирование
Другие методички по предмету Компьютеры, программирование
? запись её логической формулой такова:
Отправитель (посылка: 8, мужчина: Жак_2)
Получатель(посылка: 8, женщина: Мари_4) Объект(посылка: 8, книга: 22) (6)
В таком представлении каждое значение аргумента типизировано, т.е. ему приписана некая метка типа. Определение типа должно задавать множество необходимых и достаточных условий, характеризующих тот факт, что рассматриваемый объект является объектом типа.
Можно определить метки типов, используя так называемый Аристотелев подход, - через род (genus) в различие (differentia). Тип определяется исходным типом род и высказыванием, называемым различие и отделяющим новый тип от исходного. Например, Посылка - событие (род), которое происходит, когда два человека, отправитель и получатель, обеспечивают перемещение предмета по почте (различие). Формально:
Тип Посылка (х) есть (род)
Конкр(х, событие)
(различие)
Определение типов можно формализовать с помощью ?-выражений. Пусть t -метка типа, ?xF - ?-выражение. Тогда тип t(x) есть F, где тело F этого ?-выражения является различием метки t, а t(x) - её родом. На следующем рисунке приведено определение типа ресторана с использованием концептуального графа.
30.Язык Prolog. Операторы. Синтаксис операторов
Напомним, что функциональный терм - это имя функции с аргументами в скобках. Само имя функции представляет собой нечисловой атом. Вообще же нечисловой атом - это функциональный терм без аргументов. Любой терм можно представить в виде дерева, корню которого приписано имя внешней функции, а ветвям соответствующие наборы аргументов. Например, терм f(x, g(y,z)) задаётся следующим деревом:
Такое представление является канонической формой: она не зависит от способа записи термов. Каноническую форму полезно бывает использовать в тех случаях, когда требуется уточнить представление термов (некоторые термы могут быть записаны многими способами). В частности, для термов с одним или двумя аргументами функциональное обозначение можно заменить именем операции, причём имя функции-операции записывается как унарный префиксный (или постфикный) оператор, либо как бинарный инфиксный оператор: ор1 с а ор2 b вместо ор1(с) ор2(а,b). При этом именам функций-операций (ор1 и ор2) надо придать статус операторов с приоритетом. Очевидно, что выражения а ор2 b и ор2(а,b) задают один и тот же объект:
Новые имена функций и предикатов можно записывать в виде операторов. Например, a+b*c и +(a*(b,c)) один и тот же терм; его дерево выглядит так:
Приоритет + ниже, чем у * (как обычно). Подчеркнём, что a + b * c - терм Пролога, а не числовой оператор, описывающий процедуру вычисления.
31.Прототипы. Схемы и схематические кластеры
Определить какой-то тип можно ещё путём демонстрации нескольких примеров индивидов некоего типа и утверждая, что всё, чем похожи индивиды, относится к обсуждаемому типу. Прототип - это конкретизация типа или, иначе, типовая конкретизация. Метод прототипов описывает скорее типичного индивида некоего класса, чем произвольного представителя этого класса с набором характерных свойств.
Прототип указывает свойства, истинные в типичном, но не обязательно в каждом отдельном случае. Он позволяет гибко определять класс объектов. Прототип содержит фиксированную часть (соответствующую тому общему, что есть у всех конкретизаций этого класса) и переменную часть (обязательную или нет, свою для каждой конкретизации).
Схемы и схематические кластеры
Концептуальный граф служит для представления знаний. Его можно также использовать для рассуждений и вычислений. Для этого введём понятие схемы, увязав его с правдоподобными и имеющими смысл рассуждениями. Схему можно определить, вводя последовательно ограничения на концептуальный граф.
В произвольном концептуальном графе не накладываются никакие ограничения на расстановку узлов.
Канонически графы имеют семантические ограничения, представляя нечто семантически корректное или понятное.
Схемы включают специфические знания об области рассуждений (экспертизы), представляя всё правдоподобное.
Понятие схемы подразумевает не только определение, но и способ применения. Для иллюстрации этого аспекта сначала сравним определение схемы и типа. Формальное определение схемы дадим потом. Каждый концепт имеет ровно одно определение его типа, дающее необходимые и достаточные условия принадлежности конкретизации определённому типу.
Каждому типу можно сопоставить несколько схем, каждая из которых будет представлять один из способов применения концепта данного типа. Это приводит к понятию множества схем как возможного источника информации, эквивалентной определению типа. А сам концепт можно определить множеством его формальных применений.
Для формального описания концепта было введено понятие кластера или набора схем. Каждая из них указывает способ применения данного концепта. Набор всех возможностей применения типа называется его схематическим кластером.
Каждую схему можно формализовать с помощью ?-выражений действуя так как при определении типа посредством рода и различия. Пусть ?xF - представляющее схему ? - выражение. Формальный параметр х будет представлять концепт того типа, который требуется определить, а тело F укажет один из способов применения этого типа. Здесь F - логическая формула или представляющий её канонический граф.
Опред?/p>