Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
Сентябрь 23 2017 15:57:44   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 21380
Примеры, синони... 20585
FAST (методика ... 17846
Просмотр готовы... 17626
Декартовы коорд... 14971
Просмотр готовы... 14416
Учимся удалять!... 13153
Работа с инстру... 10914
Что такое САПР 10383
Сейчас на сайте
Гостей: 1
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi
Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
Исчисление предикатов
Исчисление высказываний не позволяет описывать дедуктивные рассуждения всех типов, в частности силлогистические умозаключения. Оно слишком бедно выразительными средствами.
Его естественным развитием является исчисление предикатов. Как и исчисление высказываний, исчисление предикатов представляет собой формальную систему. Мы не будем описывать его в такой строгой форме (любители строгости могут найти подобные описания в литературе к данному разделу), а попытаемся оставаться на содержательном уровне описания.
Под предикатом будем понимать некоторую связь, заданную на наборе из констант или переменных, например утверждение « ? больше ? ». Если семантика ?  и ? не задана, то о предикате сказать особенно нечего. Пожалуй, только то, что он задает двуместное отношение, семантика которого такова, что оно является антирефлексивным (неверно, что « ? больше ? »), асимметричным и транзитивным. Но при задании семантики (т.е. областей определения переменных ? и ? ) о предикате можно будет сказать существенно больше. Если ? и ? – площади городов соответственно в СССР и Японии, то при задании списков городов и означивании переменных константами мы получим отношение между двумя высказываниями типа «Площадь Вологды больше площади Токио» или «Площадь Ленинграда больше площади Нары». После этого становится возможным говорить об истинности или ложности предиката. Для нашего примера первое означивание дает ложное значение предиката, а второе – истинное. Иногда для утверждения об истинности или ложности предиката можно обойтись и без означивания. Например, если областью определения х являются целые положительные числа, то предикат « х больше ?5» будет тождественно истинен.
В исчислении предикатов используются те же операции, что и в исчислении высказываний. С их помощью образуются предикатные формулы. Будем обозначать предикаты большими латинскими буквами. Примерами предикатных формул могут служить Р ( х , у )& Q ( a , b ) или

P ( ? )

P ( z , l ).
В исчислении предикатов используются два квантора: квантор общности и квантор существования . Первый обозначается как

, а запись

xP ( x ) эквивалентна утверждению «Для всех х из области его определения имеет место Р ( х )». Второй квантор обозначается как

, а запись

хР ( х ) эквивалентна утверждению «Найдется по крайней мере один х * в области определения х , такой, что истинен Р ( х *)». Переменные, находящиеся в сфере действия кванторов, называются связанными , остальные переменные – свободными .
Вспомним И.А. Крылова: «А вы, друзья, как ни садитесь, все ж в музыканты не годитесь!». Обозначим через Р( х , у ) предикат, который связывает между собой способ рассаживания участников квартета и качество исполняемой ими музыки. Предикат Р ( х , у ) становится истинным лишь тогда, когда найдено такое взаимное расположение зверей в квартете, что качество музыки позволяет назвать исполнителей музыкантами. При этих условиях цитате из басни «Квартет» соответствует формула

x

P( x , у ).
А вот Ф. Тютчев: «Бывают роковые дни лютейшего телесного недуга и страшных нравственных тревог…». Если Q ( u , v ) есть предикат, в котором переменная u определена на множестве дней, а переменная v на области настроений, связанных с «телесным недугом» и «страшными нравственными тревогами», то в исчислении предикатов началу стихотворения Тютчева будет соответствовать формула

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

и

, а также их отрицаний наводит на мысль о связи исчисления предикатов и силлогистики Аристотеля. Вспомним еще раз смысл кванторов, использованных в силлогистике: Asp – «Всякое s есть р »; Esp – «Ни одно s не есть р », Isp – «Некоторые s есть р » и Osp – «Некоторые s не есть р ». Представляется вполне справедливым заменить эти выражения силлогистики следующими четырьмя формулами исчисления предикатов:
На первый взгляд такая замена вполне законна. Но для того, чтобы убедиться в этом, необходимо показать, что в исчислении предикатов могут быть выведены все модусы силлогистики Аристотеля.
Система аксиом и правила вывода в исчислении предикатов могут быть заданы следующим образом. В качестве системы аксиом берется любая известная система аксиом исчисления высказываний и к ней добавляются специфические для исчисления предикатов аксиомы, например, такие:
Смысл их очевиден. Первая аксиома говорит о том, что если Р ( х ) истинен для любых х , то и для некоторого у из того же универсума истинность предиката должна сохраняться. Вторая аксиома говорит о том, что если найдется такое у , что Р ( у ) будет истинным, то верно, что существует х , для которого Р ( х ) истинно.
К правилам вывода, используемым в исчислении высказываний, в исчислении предикатов добавляются еще три правила.
1. Пусть F 1 и F 2 – две формулы исчисления предикатов. И пусть в F 1 переменная х не входит, а в F 2 входит в качестве свободной переменной. Пусть, наконец, формула F 1

F 2 является выводимой. Тогда выводима и формула F 1



xF 2 .
2. Если х содержится в качестве свободной переменной в F 1 и не содержится в таком виде в F 2 и если F 1

F 2 – выводимая формула, то

xF 1

F 2 также является выводимой.
3. Если F – выводимая формула и в F есть кванторы общности и существования, то любая из связанных ими переменных может быть заменена на другую связанную переменную одновременно во всех областях действий квантора и в самом кванторе. Полученная после этого формула также является выводимой.
Использование такой системы аксиом и такого множества правил вывода позволяет в исчислении предикатов из тождественно истинных формул получать тождественно истинные.
Вернемся теперь к попытке вложения силлогистических утверждений в исчисление предикатов. Исследование выводимости 24 модусов, верных в силлогистике Аристотеля, в исчислении предикатов привело к следующему результату. Если предполагать, что все классы сущностей непусты, т.е. рассуждения не касаются мыслимых сущностей (например, драконов или русалок), то приведенная выше замена силлогистических выражений выражениями логики предикатов будет полностью справедлива. Другими словами, при непустых классах сущностей все модусы силлогистики Аристотеля выводятся в исчислении предикатов.
Иная ситуация возникает при допущении пустых классов сущностей. В исчислении предикатов предикаты с пустыми областями для аргументов ведут себя совсем не так, как такие же предикаты с непустыми областями. В этих условиях оказываются невыводимыми все модусы силлогистики, в которых вывод носит частный характер, а обе посылки носят общий характер. Например, оказываются невыводимыми модусы AAI и ЕАО первой фигуры:
Хотелось бы обратить внимание читателей на только что полученный результат моделирования. Даже в области дедуктивных рассуждений, дающих всегда достоверные результаты, характер человеческих рассуждений может быть различным. И он не обязан совпадать (как это показывает случай с силлогистикой) с теми схемами рассуждений, которые демонстрирует исчисление предикатов.
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Как работает эхолот
Компьютерные файлы
8.1.1 Алгоритм
Глава 1. GARMIN QUEST
Аннотация
Вместо заключения
Почему САПР не "эл...
Дети, родители и ...
По законам джунглей
Цена до 350 долларов
ПРЕДИСЛОВИЕ
Внешний вид
7.8 КОМАНДНЫЙ ПРОЦ...
Может это сущность ?
5.10 CМЕНА ВЛАДЕЛЬ...
Глава 5. ЕИН
2.4.7.2 Обнаружени...
ДСМ-метод
10.4.1 Более детал...
Этапы реинжиниринг...
Схемы подключения
Идентификация связей
3.3. Группы ключе...
3.2 СТРУКТУРА ОБЛ...
1.6 ВЫВОДЫ
Разрешенные связи
8.3 ТАЙМЕР
9.2.1.1 Функция fo...
Глава 25. VESTA 350
8.1.4 Управление п...
2.1.3. Уровень 3 –...
5.16 UNLINК
Высокая точность
6.4.3 Переключение...
Картография — важн...
Использование согл...
10.3.7 Вход в систему
До 300 долларов
ОГЛАВЛЕНИЕ
Мат в 16 ходов, ил...
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009