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

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

Семантика языка предикатов первого порядка






Всякая формула имеет определенный смысл только тогда, когда существует какая-либо ее интерпретация на области . Указанная интерпретация зависит от предметной области знания, в которой используются предикаты.

Значение любой ПФ на области можно вычислить по таблице истинности, содержащей наборы значений компонентов ПФ и соответствующие им значения самой формулы.

Некоторые ПФ эквивалентны друг другу. Ниже представлена таблица 1.1 эквивалентных (построчно) ПФ. Эквивалентные ПФ совпадают независимо от их интерпретации.

Формы записи ПФ разнообразны. Обычно ПФ представляются как дизъюнкция литералов. Литерал - это атом или его отрицание. Формулу, представляющую собой дизъюнкцию литералов, называют предложением (дизъюнктором). В каждом литерале отсутствуют операции (включая кванторы) и область действия знака отрицания уменьшена до одной предикатной буквы (пример: Ø ()). Каждый квантор в пределах области действия по закону немых переменных можно связать со своей переменной. Пример:

(" )( ()Ú ($ ) ())=(" )( ()Ú ($ ) ()).

Квантор существования в ПФ можно исключить с помощью функций Сколема. Пример ПФ: (" )($ ) (, ) – “Для всех существует такое, что (, )”. Пусть имеется функция = (), отображающая каждый в (функция Сколема). Тогда вместо исходной ПФ получаем (" ) (, ()).

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

((" )(Ø ()Ú Ø (, )Ú ( (, )Ù ((" )((Ø (, (, )))Ú

Ú (, ))))))Ú ((" ) ())=(" )(" )(" )(Ø () Ú Ø (, ) Ú

Ú ( (, )Ù (Ø (, (, ))Ú (, )))Ú ()).

Матрицу в свою очередь с помощью законов ассоциативности и дистрибутивности операций Ú и Ù можно привести к коньюнктивной нормальной форме как коньюнкцию конечного множества дизъюнкций литералов. Например:

(" )(" )(" )((Ø ()Ú Ø (, ( (, ))Ù (Ø (

 
900, =0,

=900 +900 = 1800, =1,

2700, =2.

Пример: Î [3, 8] мм, Î [100, 183]0, =5.5 мм, =1600. Тогда согласно (10.1) для находим =5 (ПАРАМЕТР= среднее). Согласно (10.1) для находим =7 (ПАРАМЕТР= почти большое). Далее рассчитываем (), () по (10.3) и табл.10.3:

00. = =0; ()=0.5, ()=0.3;

10. = =1; ()=0.6, ()=0.4;

………………………………………………………

100. = =10; ()=0.5, ()=0.7.

Из 00-100 и (10.2) находим = среднее = 0.5/0+0.6/1+0.7/2+0.8/3+ +0.9/4+1/5+0.9/6+0.8/7+0.7/8+0.6/9+0.5/10, = почти большое = 0.3/0+ +0.4/1+0.5/2+0.6/3+0.7/4+0.8/5+0.9/6+1/7+0.9/8+0.8/9+0.7/10. В этом случае () = 0.55/0+0.63/1+0.7/2+0.77/3+0.84/4+0.89/5+0.95/6+1/7+ +0.95/8+0.89/9+0.84/10. Пересекая полученные множества, находим = Ç () = 0.5/0+0.6/1+0.7/2++0.77/3+0.84/4+0.89/5+ +0.9/6+0.8/7+0.7/8+0.6/9+0.5/10. По и табл. 10.5 определяем:

01. = =0, = =0; ()=0.5, (, )=0;

11. = =1, = =0; ()=0.6, (, )=0;

…………………………………………………………..

101. = =10, = =0; ()=0.5, (, )=1.

По 01-101 и (10.8) получаем () = (0.5Ù 0)Ú (0.6Ù 0)Ú (0.7Ù 0)Ú (0.77Ù 0)Ú Ú (0.84Ù 0)Ú (0.89Ù 0)Ú (0.9Ù 0)Ú (0.8Ù 0)Ú (0.7Ù 0)Ú (0.6Ù 0)Ú (0.5Ù 1) = 0.5. Аналогично определяем (), (), …. В итоге в соответствии с (10.4) имеем = 0.5/0+0.6/1+0.7/2+0.8/3+0.9/4+0.89/5+0.84/6+0.77/7+

 

 

 
ВВЕДЕНИЕ

 

Информационные системы (ИС) входят в число важнейших компонентов науки и производства. Они широко используются для обучения и решения конкретных задач в различных областях человеческой деятельности: в автоматизированных системах управления (АСУ) и научных исследований (АСНИ), системах автоматизации проектирования (САПР), информационно-поисковых системах (ИПС), системах управления базами данных (СУБД), экспертных системах (ЭС), системах поддержки принятия решения (СППР) и т.д.

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

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

Данные – это исходная частная информация об окружающем мире. ИС оперируют формализованными данными, которые позволяют автоматизировать сбор и хранение конкретной информации об объектах. Формализованные данные можно обработать по определенной программе. В результате обработки данных получают новые знания.

Знания могут быть декларативными и процедурными. Декларативные знания представляют собой утверждения, не содержащие процедур. Декларативные знания определяют пространство статического состояния объекта. Процедурные знания – это программы обработки данных (фактов) с целью получения новой информации.

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

 







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



Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...

Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

Реформы П.А.Столыпина Сегодня уже никто не сомневается в том, что экономическая политика П...

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

Особенности массовой коммуникации Развитие средств связи и информации привело к возникновению явления массовой коммуникации...

БИОХИМИЯ ТКАНЕЙ ЗУБА В составе зуба выделяют минерализованные и неминерализованные ткани...

Типология суицида. Феномен суицида (самоубийство или попытка самоубийства) чаще всего связывается с представлением о психологическом кризисе личности...

ОСНОВНЫЕ ТИПЫ МОЗГА ПОЗВОНОЧНЫХ Ихтиопсидный тип мозга характерен для низших позвоночных - рыб и амфибий...

Studopedia.info - Студопедия - 2014-2024 год . (0.014 сек.) русская версия | украинская версия