Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Формальные логические модели




Традиционно в представлении знаний выделяют формальные логические модели (или язык логики предикатов), основанные на классическом исчислении предикатов 1 порядка, когда предметная область или задача описывается в виде набора аксиом.

В основе логических моделей лежит понятие формальной теории, задаваемой четверкой [54, 64]:

S = < В, F, A, R>.

Здесь В - счетное множество базовых символов (алфавит) теории S. Конечные последовательности базовых символов называются выражениями теории S. F - подмножество выражений теории S, называемых формулами теории. Обычно имеется эффективная процедура построения выражений, являющихся формулами. Можно эту процедуру рассматривать как множество синтаксических правил, позволяющих строить из В синтаксически правильные выражения, т.е. формулы. А - выделенное множество формул, называемых аксиомами, теории S, т. е. множество априорно истинных формул; R - конечное множество отношений { r1, ..., rn } между формулами, называемых правилами вывода. Для каждого ri существует целое положительное число j такое, что для каждого множества, состоящего из j формул, и для каждой формулы f эффективно решается вопрос о том, находятся ли данные j формул в отношении ri с формулой f. Если отношение ri выполняется, то f называется непосредственным следствием данных fn формул по правилу ri. Следствием (выводом) формулы fn в теории S называется всякая последовательность f1, ... , fn формул такая, что для любого i формула fi есть либо аксиома теории S, либо непосредственное следствие каких-либо предыдущих формул по одному из правил вывода. Правила вывода позволяют расширять множество формул, которые считаются истинными в рамках данной теории. Формальная теория называется разрешимой, если существует единая эффективная процедура, позволяющая узнать для любой данной формулы, существует ли ее вывод в S. Формальная система S называется непротиворечивой, если не существует формулы А такой, что А и ØА выводимы в S.

Наиболее распространенной формальной системой, используемой для представления знаний, является исчисление предикатов. Алфавит исчисления предикатов состоит из следующего набора символов:

1) знаков пунктуации { ( , ) .};

2) пропозициональных связок{Ø, V, L, É};

3) знаков кванторов {", $};

4) символов переменных xk, k = 1,2,... ;

5) n-местных функциональных букв : fkn, k ³ 1, n ³ 0( fk0 называют константными буквами );

6) n-местных предикатных букв (символов): pkn, k ³ 1, n ³ 1.

В дальнейшем в примерах для упрощения будем вместо xk писать u, v, x, y, z, ...; вместо fk0 - a, b, c, d, ...; вместо fnk ( n ¹ 0) - f, g, h, ...; вместо pkn - P, Q, R, S, T, V, W,...

Из символов алфавита можно строить различные выражения. Выделяют термы, элементарные формулы (атомы) и правильно построенные формулы (или просто формулы). Всякий символ переменной или константной буквы есть терм. Если t1,...,tn (n ³ 1)- термы, то и fkn(t1, ..., tn) является термом.

Если pkn - предикатная буква, а t1, ..., tn - термы, то pkn (t1, ..., tn) - элементарная формула (атом). Атом является правильно построенной формулой. Если А и В - правильно построенные формулы (п.п.ф.), то ØA, A V B, A L B, A É Bесть правильно построенные формулы. Если А - п.п.ф и х - переменная в А, то ("x)A и ($x)A -правильно построенные формулы. Выражение является п.п.ф., только если оно получено с соблюдением перечисленных выше правил.

В выражениях ("x)(A)и ($x)(A) A называются областью действия квантора всеобщности (общности) и квантора существования соответственно. При этом переменная х называется связанной, если она находится в области действия квантора, примененного к этой переменной. Переменная свободна, если она не связана. Примером формулы является следующее выражение : "x ( Q(x, y) É R(x) ). В этой формуле переменная х связана, а переменная yсвободна. Формула называется замкнутой, если она не содержит свободных переменных.

Чтобы придать формуле содержание, ее интерпретируют как утверждение, касающееся рассматриваемой предметной области. Под интерпретацией понимают всякую систему, состоящую из непустого множества D, называемого областью интерпретации, и какого-либо соответствия, относящего каждой предикатной букве pkn некоторое n-местное отношение в D, а каждой функциональной букве fkn некоторую n-местную функцию, отображающую Dn ® D, и каждой константной букве fk0 некоторый элемент из D. При заданной интерпретации переменные мыслятся пробегающими область D этой интерпретации. При заданной интерпретации всякой элементарной формуле приписывается значение "истинно" (И) или "ложно" (Л). Приписывание значения элементарной формуле pkn(t1, ..., tn) осуществляется по следующему правилу: если термы предикатной буквы соответствуют элементам из D, удовлетворяющим отношению, определяемому данной интерпретацией, то значением элементарной формулы будет истина, в противном случае - ложь.

Значение неэлементарной формулы можно вычислить рекуррентно, исходя из значений составляющих ее формул. При этом, если А и В - формулы, то значения формул ØA, ALB, AVB, BÉA определяются по таблице истинности, представленной в табл. 3.1 :

 

 

Таблица 3.1.

A B ØA AVB ALB AÉB
И Л И Л И И Л Л Л И Л И И И И Л И Л Л Л И И Л И

 

Отметим, что формула ("x)(A) обозначает утверждение: "для любого значения х из области D значение формулы А истинно (выполнено)", а формула ($x)(A) обозначает утверждение: "существует такое значение х из области D, что значение формулы А истинно (выполнено)". Приведенные выше утверждения могут быть как истинны, так и ложны. В случае конечных областей значения истинность таких формул можно установить с помощью таблиц истинности. Очевидно, что некоторые формулы могут быть истинными или ложными в зависимости от выбранной интерпретации.

Формула А называется выполнимой тогда и только тогда, когда существует интерпретация I такая, что А принимает значение И в I. Если формула А принимает значение И в интерпретации I, то говорят, что I удовлетворяет формуле А. Если некоторая формула А принимает значение И при всех интерпретациях, то ее называют общезначимой. Так, например, формула P(a) É (P(a) V P(b)) истинна при любой интерпретации (это можно установить по таблице истинности ), и, следовательно, эта формула общезначима. Формула называется невыполнимой, если при всех интерпретациях она принимает значение Л.

Формула А логически следует из формул B1, ... Bn тогда и только тогда, когда всякая интерпретация I, удовлетворяющая B1 L ... L Bn удовлетворяет также и А. Формулы B1, ... Bn называют посылками, а A - заключением логического следования и обозначают B1, ... BnA.

Справедлива теорема (теорема дедукции): "Пусть даны формулы B1,...,Bn и формула A. Формула А является логическим следствием B1, ... Bn тогда и только тогда, когда формула B1 L ... L Bn É A общезначима, т.е. ╞ (B1 L ... L Bn) É A".

Задачей доказательства теоремы называют выяснение вопроса логического следования некоторой формулы А из заданного множества формул B1, ... Bn, что равносильно доказательству общезначимости формулы B1 L ... L Bn É A или невыполнимости формулы B1 L ... L Bn L ØA.

Для исчисления предикатов первого порядка не существует общего метода установления общезначимости любых формул, т. е. исчисление предикатов первого порядка является неразрешимым. Однако, если некоторая формула исчисления предикатов общезначима, то существует процедура для проверки ее общезначимости, т.е. исчисление предикатов можно назвать полуразрешимым. Упомянутые выше метод резолюции и обратный метод являются наиболее известными методами доказательства теорем.

Приведем пример записи некоторого факта в виде формулы исчисления предикатов:

ДАТЬ ( МИХАИЛ, ВЛАДИМИРУ, КНИГУ )

($х)(ЭЛЕМЕНТ ( x, СОБЫТИЕ - ДАТЬ ) L ИСТОЧНИК ( x, МИХАИЛ ) L

L АДРЕСАТ ( x, ВЛАДИМИР ) L ОБЪЕКТ ( x, КНИГА ) ).

Здесь приведены различные способы записи одного факта: "Михаил дал книгу Владимиру".

иметь (Саша, книга) «Саша имеет книгу»

иметь (Саша, книги) → иметь (Саша, книга) «Если Саша имеет книги, то он имеет книгу»

(∀x) [человек (x) → иметь (x, книга)] «Каждый человек имеет книгу»

(∀x) [свободен (x) → (∃y) (на (y,x))] «Если кубик x свободен, то нет такого кубика y, который находится на кубике x»

 

Основным достоинством использования исчисления предикатов в качестве модели представления знаний является наличие единообразной формальной процедуры доказательства теорем. Однако высокая степень единообразия влечет за собой и основной недостаток данного подхода - сложность использования при доказательстве эвристик, отражающих специфику конкретной проблемной области. Указанный недостаток является особенно важным при построении ЭС, вычислительная мощность которых в основном определяется знаниями, характеризующими специфику проблемной области. К другим недостаткам формальных систем следует отнести их монотонность, отсутствие средств для структурирования используемых элементов и недопустимость противоречий.


Поможем в написании учебной работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой





Дата добавления: 2015-10-19; просмотров: 1031. Нарушение авторских прав; Мы поможем в написании вашей работы!

Studopedia.info - Студопедия - 2014-2022 год . (0.023 сек.) русская версия | украинская версия
Поможем в написании
> Курсовые, контрольные, дипломные и другие работы со скидкой до 25%
3 569 лучших специалисов, готовы оказать помощь 24/7