Представление знаний в интеллектуальных системах
Методическое пособие - Компьютеры, программирование
Другие методички по предмету Компьютеры, программирование
тера - это элементарное высказывание или его отрицание. Литеры р и противоположны. Интерпретация определяет разбиение множества L литер на два подмножества Lи и Lл, каждое из которых содержит по одному элементу из каждой пары противоположных литер.
Формулы исчисления предикатов, как и формулы исчисления высказываний, могут быть интерпретированы, т.е. могут получить значение истинности. Однако формулы исчисления предикатов состоят не только из подформул, но также из термов. Следовательно, необходимо интерпретировать также термы. Терм интуитивно означает объект. Таким образом, интерпретация должна специфицировать множество объектов, называемое областью интерпретации.
Точнее, интерпретация I - это тройка (D, Ic, Iv) со следующими свойствами:
D - непустое множество, область интерпретации.
Ic - функция, которая сопоставляет каждой функциональной n-местной константе f некоторую функцию Ic(f) из Dn в D и которая сопоставляет каждой предикатной m-местной константе Р некоторую функцию Ic(Р) из Dm в {И, Л}.
Iv - функция, сопоставляющая каждой переменной некоторый элемент из D.
Теперь можно задать для интерпретации I = (D, Ic, Iv) такие правила, которые каждой формуле А ставят в соответствие некоторое значение истинности I(A), а каждому терму t сопоставляется элемент I(t) из D.
Если х - свободная переменная, то I(x)=def Iv(x).
Если f - функциональная n-местная константа, t1, ... ,tn - термы, то I(f(t1, ... ,tn)) =def= =(Ic(f))(I(t1), ... ,I(tn))
Если Р - предикатная m-местная константа, t1, ... ,tm - термы, то I(P(t1, ... ,tm)) =def= =(Ic(P))(I(t1), ... ,I(tm))
Если s и t термы, то I(s=t) есть И при I(s)=I(t), а иначе Л.
Если А и В - формулы, то А, (АВ), (АВ), (АВ) и (АВ) интерпретируются как в исчислении высказываний.
Осталось задать интерпретацию для двух типов квантифицированных формул. Введем сначала одно понятие. Если I - интерпретация c областью DI, x - переменная, d - элемент из DI, то Ix/d означает такую интерпретацию J, что DJ = DI, Jc = Ic, Jv(x) = d и Jv(y) = Iv(y) для всех свободных переменных у отличных от х.
Правила интерпретации будут такими:
Если А - формула и х - переменная, то I(хА) есть И при условии, что Ix/d (А) есть И для всех элементов d из D.
Если А - формула и х - переменная, то I(хА) есть И при условии, что Ix/d (А) есть И хотя бы для одного элемента d из D
Формула А исчисления предикатов называется истинной при интерпретации I, если I(A)=И.
Теперь видно, что запрещение перекрытия кванторов, действующих на одну и ту же переменную, не является существенным ограничением. В частности, интерпретируется как и интерпретируется как . Ясно также, почему требуется условие D; без него естественные импликации
не всегда были бы истинны.
Заметим также, что эти правила интерпретации соответствует интуитивным представлениям. В частности, формальное значение кванторов хорошо моделирует их естественное значение.
Как и формулы исчисления высказываний, формулы исчисления предикатов делятся на три класса: общезначимые формулы, которые истинны при всех интерпретациях, невыполнимые, которые ложны при всех интерпретациях, и нейтральные (или просто выполнимые), которые истинны только при некоторых интерпретациях. В противоположность тому, что имело место для исчисления высказываний, эти три класса не являются рекурсивными: не существует детерминированного алгоритма, который определял бы, к какому классу принадлежит произвольная формула исчисления предикатов.
Теперь, после того как мы вспомнили понятие интерпретации логической формулы, можно вернуться к вопросу семантики логики предикатов.
Прежде всего задаем семантическое значение для каждого базисного выражения. Затем вводим семантические правила вычисления семантических значений сложных логических формул по известным значениям семантических компонент. Иначе говоря, приписываем семантическое значение все более и более крупным составляющим логической формулы, так что в конце концов семантическое значение будет приписано и всей формуле. Этот процесс называется композиционным методом.
Предположим для определенности, что универсум рассуждения содержит лишь имена трех людей: Жак Дюпон, Мари Дюран, Джорж Буль - и название одной книги: Законы мышления. С каждым именем индивидуума, используемым в логических формулах, можно следующим образом связать одно из перечисленных имен, которое станет семантическим значением:
Имена индивидуумовСемантические значенияЖак_2Жак ДюпонМари_4Мари ДюранДжордж_5Джордж БульКнига_22Законы мышления
Левый столбец составлен из лингвистических сущностей, т.е. из лексических компонент особой синтаксической категории некоторого языка. Правый - из сущностей реального мира.
Подчеркнем, что следует приписывать уникальное семантическое значение каждому базисному выражению. Это устраняет лексические двусмысленности реального мира. Напротив, некоторые объекты реального мира могут вообще не получать индивидуального имени на языке или получать несколько имен. Итак, мы хотим определить функцию (в математическом смысле), отображающую имена объектного языка на сущности реального мира. Сами эти сущности выражены на так называемом метаязыке, роль которого играет здесь русский язык.
Фундаментальным понятием семантики является понятие истины реального мира. Более общее понятие - истина в модели. Здесь моделью является реальный мир. Состояние реального мира позволяет приписывать семантические значения истинно или ложно предикатам и функция